]> git.ralfj.de Git - web.git/summary
 
descriptionsources for my website
ownerRalf Jung
last changeSat, 4 Apr 2026 13:15:26 +0000 (15:15 +0200)
shortlog
2026-04-04 Ralf Jungremove post-doc position ad master
2026-03-20 Ralf Junglink to OOPSLA paper on inline-asm
2026-03-14 Ralf Jungexplicitly mention subnormal flushing
2026-03-13 Ralf Jungtypo/wording
2026-03-13 Ralf Jungalso point about adding new primitives
2026-03-13 Ralf Junglink to reddit thread
2026-03-13 Ralf Jungadd inline asm blog post
2026-02-04 Ralf Jungpublications: add video links
2026-02-04 Ralf Jungadd link to Miri talk
2025-12-26 Ralf Jungplace expression blog post: add note on deref expressions
2025-12-23 Ralf Jungfix typo
2025-12-23 Ralf Jungextend footnote on other tools
2025-12-23 Ralf Jungmiri bog post: minor tweaks
2025-12-22 Ralf Jungmention AVX-512 support
2025-12-22 Ralf Jungtweak title, and add reddit link
2025-12-22 Ralf Jungadd Miri update blog post
...
heads
2 months ago master
3 years ago test