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

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

2018-02-04	Ralf Jung	fix subtyping typo	commit \| commitdiff \| tree
2018-01-31	Ralf Jung	use borrowing terminology in invariants; typos	commit \| commitdiff \| tree
2018-01-31	Ralf Jung	link to forum	commit \| commitdiff \| tree
2018-01-31	Ralf Jung	New post: Sharing for a lifetime	commit \| commitdiff \| tree
2018-01-31	Ralf Jung	Rustbelt post: also link to video	commit \| commitdiff \| tree
2018-01-21	Ralf Jung	links to POPL'18 talk	commit \| commitdiff \| tree
2017-12-26	Ralf Jung	Write blog post on LE tiny	commit \| commitdiff \| tree
2017-12-15	Ralf Jung	edits	commit \| commitdiff \| tree
2017-12-15	Ralf Jung	New blog post: Interview for people of PL	commit \| commitdiff \| tree
2017-11-13	Ralf Jung	update RustBelt paper	commit \| commitdiff \| tree
2017-11-11	Ralf Jung	RustBelt post: link to final version	commit \| commitdiff \| tree
2017-08-22	Ralf Jung	UB post: clarify more	commit \| commitdiff \| tree
2017-08-22	Ralf Jung	UB post: clarify	commit \| commitdiff \| tree
2017-08-12	Ralf Jung	publish internship-ending	commit \| commitdiff \| tree
2017-08-12	Ralf Jung	fix ref	commit \| commitdiff \| tree
2017-08-12	Ralf Jung	more forum links	commit \| commitdiff \| tree
2017-08-12	Ralf Jung	fix formatting	commit \| commitdiff \| tree
2017-08-12	Ralf Jung	clarify	commit \| commitdiff \| tree
2017-08-12	Ralf Jung	show how to fix the Arc problem	commit \| commitdiff \| tree
2017-08-12	Ralf Jung	so long, and thanks for all the fish	commit \| commitdiff \| tree
2017-08-12	Ralf Jung	spacing	commit \| commitdiff \| tree
2017-08-11	Ralf Jung	forum link	commit \| commitdiff \| tree
2017-08-11	Ralf Jung	new post on evaluating types-as-contracts	commit \| commitdiff \| tree
2017-07-19	Ralf Jung	mention boxes	commit \| commitdiff \| tree
2017-07-19	Ralf Jung	tweaks	commit \| commitdiff \| tree
2017-07-18	Ralf Jung	refactor: reorder examples and validation sections	commit \| commitdiff \| tree
2017-07-18	Ralf Jung	example typos and generally improve ref example	commit \| commitdiff \| tree
2017-07-18	Ralf Jung	only &UnsafeCell is special	commit \| commitdiff \| tree
2017-07-18	Ralf Jung	future work	commit \| commitdiff \| tree
2017-07-18	Ralf Jung	ammendments go into the forum	commit \| commitdiff \| tree
2017-07-18	Ralf Jung	clarify 'elements' of a type	commit \| commitdiff \| tree
2017-07-18	Ralf Jung	add forum link	commit \| commitdiff \| tree
2017-07-18	Ralf Jung	forgot to git add	commit \| commitdiff \| tree
2017-07-18	Ralf Jung	link from previous post	commit \| commitdiff \| tree
2017-07-18	Ralf Jung	write way too long post on the unsafe code model	commit \| commitdiff \| tree
2017-07-16	Ralf Jung	add post title to subject in comment emails	commit \| commitdiff \| tree
2017-07-16	Ralf Jung	typo	commit \| commitdiff \| tree
2017-07-15	Ralf Jung	wording	commit \| commitdiff \| tree
2017-07-15	Ralf Jung	wording	commit \| commitdiff \| tree
2017-07-15	Ralf Jung	Starting working on unsafe guidelines post	commit \| commitdiff \| tree
2017-07-15	Ralf Jung	tone it down a little	commit \| commitdiff \| tree
2017-07-15	Ralf Jung	editing	commit \| commitdiff \| tree
2017-07-15	Ralf Jung	post on UB	commit \| commitdiff \| tree
2017-07-11	Ralf Jung	https for plv.mpi-sws.org	commit \| commitdiff \| tree
2017-07-08	Ralf Jung	open some things in new tabs	commit \| commitdiff \| tree
2017-07-08	Ralf Jung	add forum link	commit \| commitdiff \| tree
2017-07-08	Ralf Jung	wording	commit \| commitdiff \| tree
2017-07-08	Ralf Jung	support forum links in blog posts	commit \| commitdiff \| tree
2017-07-08	Ralf Jung	post on RustBelt paper	commit \| commitdiff \| tree
2017-07-08	Ralf Jung	seems like 'Publications' is a collective term	commit \| commitdiff \| tree
2017-07-08	Ralf Jung	add two recently submitted papers	commit \| commitdiff \| tree
2017-06-12	Ralf Jung	I should really link to RustBelt oops	commit \| commitdiff \| tree
2017-06-11	Ralf Jung	fix rendered email address	commit \| commitdiff \| tree
2017-06-09	Ralf Jung	add reddit URL	commit \| commitdiff \| tree
2017-06-09	Ralf Jung	Post on the MutexGuard-Sync-bug	commit \| commitdiff \| tree
2017-06-09	Ralf Jung	More Capitalization	commit \| commitdiff \| tree
2017-06-07	Ralf Jung	expand on the MIR-spec part	commit \| commitdiff \| tree
2017-06-07	Ralf Jung	#rustc was also involved	commit \| commitdiff \| tree
2017-06-07	Ralf Jung	fix some typos	commit \| commitdiff \| tree
2017-06-07	Ralf Jung	add link to reddit	commit \| commitdiff \| tree
2017-06-07	Ralf Jung	blog post about MIR and miri and semantics and instrumentation	commit \| commitdiff \| tree
2017-06-07	Ralf Jung	Capitalize Things	commit \| commitdiff \| tree
2017-05-23	Ralf Jung	day 1 of my internship	commit \| commitdiff \| tree
2017-05-23	Ralf Jung	add post on Paris meetup that I forgot to add	commit \| commitdiff \| tree
2017-01-24	Ralf Jung	link directly to iris-project.org	commit \| commitdiff \| tree
2017-01-24	Ralf Jung	ESOP papers are final	commit \| commitdiff \| tree
2016-12-19	Ralf Jung	update papers	commit \| commitdiff \| tree
2016-10-11	Ralf Jung	we dont actually have an appendix for the refinement...	commit \| commitdiff \| tree
2016-10-11	Ralf Jung	papers update: add ICFP talk; add refinement paper	commit \| commitdiff \| tree
2016-07-01	Ralf Jung	it's ICFP 2016	commit \| commitdiff \| tree
2016-06-14	Ralf Jung	fix compatibility with latest version of Jekyll	commit \| commitdiff \| tree
2016-06-14	Ralf Jung	ICFP paper has been accepted :D	commit \| commitdiff \| tree
2016-05-11	Ralf Jung	mail address visible; new git link	commit \| commitdiff \| tree
2016-03-17	Ralf Jung	add HOGS	commit \| commitdiff \| tree
2016-01-13	Ralf Jung	fix frame computation	commit \| commitdiff \| tree
2016-01-13	Ralf Jung	oops typo	commit \| commitdiff \| tree
2016-01-13	Ralf Jung	add link to RustBelt page	commit \| commitdiff \| tree
2016-01-13	Ralf Jung	slight color tweaking, to lessen the contrast a little	commit \| commitdiff \| tree
2016-01-11	Ralf Jung	make the code background color actually (faintly) visible	commit \| commitdiff \| tree
2016-01-11	Ralf Jung	Argue more why `evil` is the problem	commit \| commitdiff \| tree
2016-01-11	Ralf Jung	stress privacy a little more	commit \| commitdiff \| tree
2016-01-10	Ralf Jung	unsafe post: add link to reddit page	commit \| commitdiff \| tree
2016-01-09	Ralf Jung	add link to the rustonomicon example	commit \| commitdiff \| tree
2016-01-09	Ralf Jung	final tuning of unsafe blog post, and publish it	commit \| commitdiff \| tree
2016-01-05	Ralf Jung	use a dedicated email address for the blog stuff	commit \| commitdiff \| tree
2016-01-02	Ralf Jung	damnit, the Blog root pages had lost their title.....	commit \| commitdiff \| tree
2016-01-02	Ralf Jung	mention the blog's name in posts' footer	commit \| commitdiff \| tree
2016-01-02	Ralf Jung	get rid of category "university"	commit \| commitdiff \| tree
2016-01-02	Ralf Jung	tune spacing	commit \| commitdiff \| tree
2016-01-02	Ralf Jung	get rid of crazy include-vars-magic and pretitles,...	commit \| commitdiff \| tree
2016-01-02	Ralf Jung	fix page.url stripping off .html suffix	commit \| commitdiff \| tree
2016-01-02	Ralf Jung	make category code more readable	commit \| commitdiff \| tree
2016-01-02	Ralf Jung	tune the new blog post; use longer dashes	commit \| commitdiff \| tree
2016-01-02	Ralf Jung	unsafe post: finish first draft	commit \| commitdiff \| tree
2016-01-02	Ralf Jung	highligher: sort builtins	commit \| commitdiff \| tree
2016-01-02	Ralf Jung	posts: add link to reddit page, if it exists	commit \| commitdiff \| tree
2016-01-02	Ralf Jung	only put the excerpt on the RSS, and add a link to...	commit \| commitdiff \| tree
2016-01-02	Ralf Jung	start working on the unsafe post	commit \| commitdiff \| tree
2016-01-02	Ralf Jung	"fix" the official Rust highlighter by monkey-patching	commit \| commitdiff \| tree
2016-01-02	Ralf Jung	split CSS into several files; take some CSS from the...	commit \| commitdiff \| tree
next

sources for my website

RSS Atom