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

2024-07-02	Ralf Jung	add RefinedRust paper	commit \| commitdiff \| tree
2024-07-02	Ralf Jung	Pointers Are Complicated: fix typo	commit \| commitdiff \| tree
2024-05-29	Ralf Jung	update CV, remove old research statement	commit \| commitdiff \| tree
2024-05-22	Ralf Jung	Tree Borrows post: fix link	commit \| commitdiff \| tree
2024-04-15	Ralf Jung	link to sloonz's script	commit \| commitdiff \| tree
2024-04-15	Ralf Jung	wording	commit \| commitdiff \| tree
2024-04-15	Ralf Jung	link to flatseal	commit \| commitdiff \| tree
2024-04-14	Ralf Jung	mention cargo-script	commit \| commitdiff \| tree
2024-04-14	Ralf Jung	add bubblebox and blog about it	commit \| commitdiff \| tree
2024-04-14	Ralf Jung	projects: sort alphabetically	commit \| commitdiff \| tree
2024-03-21	Ralf Jung	update website	commit \| commitdiff \| tree
2024-03-11	Ralf Jung	contact: use my ETH email address	commit \| commitdiff \| tree
2024-01-07	Ralf Jung	dont show the full post on the overview page	commit \| commitdiff \| tree
2024-01-07	Ralf Jung	mention the first OSPB as well	commit \| commitdiff \| tree
2023-12-27	Ralf Jung	add Google OSPB post	commit \| commitdiff \| tree
2023-11-22	Ralf Jung	link to group website	commit \| commitdiff \| tree
2023-11-22	Ralf Jung	add Grove	commit \| commitdiff \| tree
2023-09-29	Ralf Jung	further tweak image	commit \| commitdiff \| tree
2023-09-29	Ralf Jung	tweak image behavior on small screens	commit \| commitdiff \| tree
2023-09-29	Ralf Jung	experiment with a high-res version of the image	commit \| commitdiff \| tree
2023-09-29	Ralf Jung	update picture	commit \| commitdiff \| tree
2023-06-13	Ralf Jung	link to talk recording	commit \| commitdiff \| tree
2023-06-08	Ralf Jung	add vMVCC paper	commit \| commitdiff \| tree
2023-06-03	Ralf Jung	add link to more background on UnsafeCell	commit \| commitdiff \| tree
2023-06-02	Ralf Jung	add another link to Neven's material at the end	commit \| commitdiff \| tree
2023-06-02	Ralf Jung	footnote on the immuability point	commit \| commitdiff \| tree
2023-06-02	Ralf Jung	clarification	commit \| commitdiff \| tree
2023-06-02	Ralf Jung	add reddit link	commit \| commitdiff \| tree
2023-06-02	Ralf Jung	publish Tree Borrows post	commit \| commitdiff \| tree
2023-05-31	Ralf Jung	tree borrows editing	commit \| commitdiff \| tree
2023-05-31	Ralf Jung	add draft on Tree Borrows	commit \| commitdiff \| tree
2023-02-13	Ralf Jung	pseudo Rust has been renamed to specr lang	commit \| commitdiff \| tree
2023-01-25	Ralf Jung	update office room number	commit \| commitdiff \| tree
2023-01-02	Ralf Jung	disable position ad	commit \| commitdiff \| tree
2022-11-18	Ralf Jung	also mention application deadline for direct doctorate	commit \| commitdiff \| tree
2022-11-18	Ralf Jung	mention the direct doctorate program	commit \| commitdiff \| tree
2022-11-17	Ralf Jung	update student ad to match email	commit \| commitdiff \| tree
2022-11-17	Ralf Jung	update uninit example so that it still works in current...	commit \| commitdiff \| tree
2022-11-16	Ralf Jung	clarify phd dates	commit \| commitdiff \| tree
2022-11-02	Ralf Jung	fix address	commit \| commitdiff \| tree
2022-11-02	Ralf Jung	update my adress and phone number	commit \| commitdiff \| tree
2022-10-12	Ralf Jung	intrustive collections: add caveat about by-ref iteration	commit \| commitdiff \| tree
2022-10-07	Ralf Jung	syntax	commit \| commitdiff \| tree
2022-10-07	Ralf Jung	but still make it bold	commit \| commitdiff \| tree
2022-10-07	Ralf Jung	no need to still make this red	commit \| commitdiff \| tree
2022-10-06	Ralf Jung	add 'programming' category	commit \| commitdiff \| tree
2022-10-06	Ralf Jung	fix path	commit \| commitdiff \| tree
2022-10-06	Ralf Jung	add later credits	commit \| commitdiff \| tree
2022-09-26	Ralf Jung	'read' is not covered yet (needs a PR to land)	commit \| commitdiff \| tree
2022-09-26	Ralf Jung	cargo-careful needs nightly	commit \| commitdiff \| tree
2022-09-26	Ralf Jung	advertise that I am looking for students :D	commit \| commitdiff \| tree
2022-09-26	Ralf Jung	fix typo	commit \| commitdiff \| tree
2022-09-26	Ralf Jung	add reddit link	commit \| commitdiff \| tree
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
next

sources for my website

RSS Atom