git.ralfj.de Git - web.git/summary

]> git.ralfj.de Git - web.git/summary

2026-07-14	Ralf Jung	add Completeness paper master	commit \| commitdiff \| tree \| snapshot
2026-07-02	Ralf Jung	provenacne blog post: clarification	commit \| commitdiff \| tree \| snapshot
2026-04-04	Ralf Jung	remove post-doc position ad	commit \| commitdiff \| tree \| snapshot
2026-03-20	Ralf Jung	link to OOPSLA paper on inline-asm	commit \| commitdiff \| tree \| snapshot
2026-03-14	Ralf Jung	explicitly mention subnormal flushing	commit \| commitdiff \| tree \| snapshot
2026-03-13	Ralf Jung	typo/wording	commit \| commitdiff \| tree \| snapshot
2026-03-13	Ralf Jung	also point about adding new primitives	commit \| commitdiff \| tree \| snapshot
2026-03-13	Ralf Jung	link to reddit thread	commit \| commitdiff \| tree \| snapshot
2026-03-13	Ralf Jung	add inline asm blog post	commit \| commitdiff \| tree \| snapshot
2026-02-04	Ralf Jung	publications: add video links	commit \| commitdiff \| tree \| snapshot
2026-02-04	Ralf Jung	add link to Miri talk	commit \| commitdiff \| tree \| snapshot
2025-12-26	Ralf Jung	place expression blog post: add note on deref expressions	commit \| commitdiff \| tree \| snapshot
2025-12-23	Ralf Jung	fix typo	commit \| commitdiff \| tree \| snapshot
2025-12-23	Ralf Jung	extend footnote on other tools	commit \| commitdiff \| tree \| snapshot
2025-12-23	Ralf Jung	miri bog post: minor tweaks	commit \| commitdiff \| tree \| snapshot
2025-12-22	Ralf Jung	mention AVX-512 support	commit \| commitdiff \| tree \| snapshot
...

3 weeks ago	master	shortlog \| log \| tree
3 years ago	test	shortlog \| log \| tree

sources for my website