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

2022-09-26	Ralf Jung	fix the title oops	commit \| commitdiff \| tree
2022-09-26	Ralf Jung	add cargo-careful blog post	commit \| commitdiff \| tree
2022-09-14	Ralf Jung	tweak the update	commit \| commitdiff \| tree
2022-09-14	Ralf Jung	add update on the current state on ptr2int transmutation	commit \| commitdiff \| tree
2022-08-16	Ralf Jung	fix link	commit \| commitdiff \| tree
2022-08-16	Ralf Jung	announce my ETH position :-))	commit \| commitdiff \| tree
2022-08-13	Ralf Jung	wording	commit \| commitdiff \| tree
2022-08-13	Ralf Jung	nod to Rust readers	commit \| commitdiff \| tree
2022-08-08	Ralf Jung	a note on the name	commit \| commitdiff \| tree
2022-08-08	Ralf Jung	the Cool Bear can be on this blog :)	commit \| commitdiff \| tree
2022-08-08	Ralf Jung	shout out more people	commit \| commitdiff \| tree
2022-08-08	Ralf Jung	cool bear makes their own choices	commit \| commitdiff \| tree
2022-08-08	Ralf Jung	credit where credit is due	commit \| commitdiff \| tree
2022-08-08	Ralf Jung	add link to reddit	commit \| commitdiff \| tree
2022-08-08	Ralf Jung	minirust post	commit \| commitdiff \| tree
2022-07-04	Ralf Jung	specify a bit more which shims we can reasonably support	commit \| commitdiff \| tree
2022-07-03	Ralf Jung	typo	commit \| commitdiff \| tree
2022-07-03	Ralf Jung	I am no longer on the job market	commit \| commitdiff \| tree
2022-07-03	Ralf Jung	research page moved to new location	commit \| commitdiff \| tree
2022-07-02	Ralf Jung	add link to reddit (and a tweak)	commit \| commitdiff \| tree
2022-07-02	Ralf Jung	add Miri update blog post	commit \| commitdiff \| tree
2022-06-19	Ralf Jung	more https	commit \| commitdiff \| tree
2022-05-25	Ralf Jung	note on integer-pointer transmutation	commit \| commitdiff \| tree
2022-05-13	Ralf Jung	remove Jabber ID from website	commit \| commitdiff \| tree
2022-05-03	Ralf Jung	make it clear that this is an RSS feed	commit \| commitdiff \| tree
2022-04-13	Ralf Jung	update PNVI-ae-udi paper URL	commit \| commitdiff \| tree
2022-04-13	Ralf Jung	fix a typo	commit \| commitdiff \| tree
2022-04-12	Ralf Jung	tweak wording	commit \| commitdiff \| tree
2022-04-12	Ralf Jung	tweaks	commit \| commitdiff \| tree
2022-04-12	Ralf Jung	credit where credit is due	commit \| commitdiff \| tree
2022-04-11	Ralf Jung	more on 'udi' and angelic non-determinism; make some...	commit \| commitdiff \| tree
2022-04-11	Ralf Jung	add some comments to code snippets	commit \| commitdiff \| tree
2022-04-11	Ralf Jung	fix code snippet	commit \| commitdiff \| tree
2022-04-11	Ralf Jung	link to new LLVM bugtracker	commit \| commitdiff \| tree
2022-04-11	Ralf Jung	more precision around restrict	commit \| commitdiff \| tree
2022-04-11	Ralf Jung	clarify assumption	commit \| commitdiff \| tree
2022-04-11	Ralf Jung	apply some feedback	commit \| commitdiff \| tree
2022-04-11	Ralf Jung	add reddit link	commit \| commitdiff \| tree
2022-04-11	Ralf Jung	add exposure blog post	commit \| commitdiff \| tree
2022-04-10	Ralf Jung	this seems to be a better approximation of my room...	commit \| commitdiff \| tree
2022-03-10	Ralf Jung	dont singe those poor integers	commit \| commitdiff \| tree
2022-01-20	Ralf Jung	Simuliris paper award	commit \| commitdiff \| tree
2021-12-20	Ralf Jung	add Simuliris paper	commit \| commitdiff \| tree
2021-11-25	Ralf Jung	link to reddit for ub-good-idea	commit \| commitdiff \| tree
2021-11-25	Ralf Jung	blog post on why we cannot do without UB	commit \| commitdiff \| tree
2021-11-19	Ralf Jung	tweak landing page	commit \| commitdiff \| tree
2021-11-19	Ralf Jung	add empty robots.txt (for fewer 404s)	commit \| commitdiff \| tree
2021-11-18	Ralf Jung	publish UB blog post	commit \| commitdiff \| tree
2021-11-15	Ralf Jung	update CV and research statement	commit \| commitdiff \| tree
2021-11-12	Ralf Jung	add draft of UB post	commit \| commitdiff \| tree
2021-11-08	Ralf Jung	update CV and research statement	commit \| commitdiff \| tree
2021-10-27	Ralf Jung	mention Derek	commit \| commitdiff \| tree
2021-10-26	Ralf Jung	add Eduard Martin Preis	commit \| commitdiff \| tree
2021-10-26	Ralf Jung	give some room number	commit \| commitdiff \| tree
2021-10-07	Ralf Jung	update research website	commit \| commitdiff \| tree
2021-09-16	Ralf Jung	be less redundant about the year of my thesis	commit \| commitdiff \| tree
2021-09-16	Ralf Jung	add SIGPLAN award	commit \| commitdiff \| tree
2021-09-16	Ralf Jung	get rid of MPI-SWS imprint	commit \| commitdiff \| tree
2021-09-16	Ralf Jung	fix ralfj.de redirects	commit \| commitdiff \| tree
2021-09-16	Ralf Jung	remove old redirect file	commit \| commitdiff \| tree
2021-09-16	Ralf Jung	update my afiliation	commit \| commitdiff \| tree
2021-09-16	Ralf Jung	move research website to my server	commit \| commitdiff \| tree
2021-08-25	Ralf Jung	link to OSDI website	commit \| commitdiff \| tree
2021-07-14	Ralf Jung	the ACM news is out :)	commit \| commitdiff \| tree
2021-07-11	Ralf Jung	add GhostCell paper	commit \| commitdiff \| tree
2021-06-10	Ralf Jung	fix some typos	commit \| commitdiff \| tree
2021-06-10	Ralf Jung	add ghostcell podcast episode	commit \| commitdiff \| tree
2021-05-26	Ralf Jung	add GoJournal paper	commit \| commitdiff \| tree
2021-05-02	Ralf Jung	add Otto Hahn medal	commit \| commitdiff \| tree
2021-04-02	Ralf Jung	license some blog posts under CC BY-SA 4.0	commit \| commitdiff \| tree
2021-03-23	Ralf Jung	add CACM article to website	commit \| commitdiff \| tree
2021-03-23	Ralf Jung	add CACM article to blog	commit \| commitdiff \| tree
2021-03-18	Ralf Jung	fix a typo	commit \| commitdiff \| tree
2021-03-16	Ralf Jung	win -> receive	commit \| commitdiff \| tree
2021-03-11	Ralf Jung	add ETAPS award :)	commit \| commitdiff \| tree
2021-03-06	Ralf Jung	fix text	commit \| commitdiff \| tree
2021-03-06	Ralf Jung	uninit blog post: update example so it still works...	commit \| commitdiff \| tree
2021-01-25	Ralf Jung	uninit post: add forward link to provenance post	commit \| commitdiff \| tree
2021-01-15	Ralf Jung	fix typo	commit \| commitdiff \| tree
2020-12-15	Ralf Jung	fix typo and add post to research category	commit \| commitdiff \| tree
2020-12-14	Ralf Jung	better wording	commit \| commitdiff \| tree
2020-12-14	Ralf Jung	fix int->uintptr_t fallout	commit \| commitdiff \| tree
2020-12-14	Ralf Jung	replace int by uintptr_t	commit \| commitdiff \| tree
2020-12-14	Ralf Jung	add forum link	commit \| commitdiff \| tree
2020-12-14	Ralf Jung	final tweaks and publish Pointers are Complicated II	commit \| commitdiff \| tree
2020-12-10	Ralf Jung	minor tweaks	commit \| commitdiff \| tree
2020-12-09	Ralf Jung	less 'we'	commit \| commitdiff \| tree
2020-12-08	Ralf Jung	(hopefully) final tweaks	commit \| commitdiff \| tree
2020-12-08	Ralf Jung	update screen render of thesis	commit \| commitdiff \| tree
2020-12-07	Ralf Jung	give it a different spin	commit \| commitdiff \| tree
2020-12-07	Ralf Jung	first complete draft	commit \| commitdiff \| tree
2020-12-06	Ralf Jung	provenance-matters: explain what went wrong	commit \| commitdiff \| tree
2020-12-02	Ralf Jung	start writing provenance-optimization blog post	commit \| commitdiff \| tree
2020-11-26	Ralf Jung	add 'theses' section to publication list	commit \| commitdiff \| tree
2020-11-19	Ralf Jung	mention MIT	commit \| commitdiff \| tree
2020-09-29	Ralf Jung	better wording	commit \| commitdiff \| tree
2020-09-29	Ralf Jung	pointers are complicated: clarify that this post is...	commit \| commitdiff \| tree
2020-09-28	Ralf Jung	add Reddit link	commit \| commitdiff \| tree
2020-09-28	Ralf Jung	show a bit elss text on the index	commit \| commitdiff \| tree
2020-09-28	Ralf Jung	add Miri blog post	commit \| commitdiff \| tree
next

sources for my website

RSS Atom