web.git
4 months agofix some typos
Ralf Jung [Thu, 10 Jun 2021 08:00:29 +0000 (10:00 +0200)]
fix some typos

4 months agoadd ghostcell podcast episode
Ralf Jung [Thu, 10 Jun 2021 07:30:18 +0000 (09:30 +0200)]
add ghostcell podcast episode

4 months agoadd GoJournal paper
Ralf Jung [Wed, 26 May 2021 07:23:15 +0000 (09:23 +0200)]
add GoJournal paper

5 months agoadd Otto Hahn medal
Ralf Jung [Sun, 2 May 2021 16:39:51 +0000 (18:39 +0200)]
add Otto Hahn medal

6 months agolicense some blog posts under CC BY-SA 4.0
Ralf Jung [Fri, 2 Apr 2021 09:25:12 +0000 (11:25 +0200)]
license some blog posts under CC BY-SA 4.0

6 months agoadd CACM article to website
Ralf Jung [Tue, 23 Mar 2021 10:26:12 +0000 (11:26 +0100)]
add CACM article to website

6 months agoadd CACM article to blog
Ralf Jung [Tue, 23 Mar 2021 10:23:42 +0000 (11:23 +0100)]
add CACM article to blog

7 months agofix a typo
Ralf Jung [Thu, 18 Mar 2021 11:34:41 +0000 (12:34 +0100)]
fix a typo

7 months agowin -> receive
Ralf Jung [Tue, 16 Mar 2021 08:20:42 +0000 (09:20 +0100)]
win -> receive

7 months agoadd ETAPS award :)
Ralf Jung [Thu, 11 Mar 2021 16:31:11 +0000 (17:31 +0100)]
add ETAPS award :)

7 months agofix text
Ralf Jung [Sat, 6 Mar 2021 15:54:22 +0000 (16:54 +0100)]
fix text

7 months agouninit blog post: update example so it still works with current rustc
Ralf Jung [Sat, 6 Mar 2021 15:53:30 +0000 (16:53 +0100)]
uninit blog post: update example so it still works with current rustc

8 months agouninit post: add forward link to provenance post
Ralf Jung [Mon, 25 Jan 2021 17:15:37 +0000 (18:15 +0100)]
uninit post: add forward link to provenance post

9 months agofix typo
Ralf Jung [Fri, 15 Jan 2021 08:34:37 +0000 (09:34 +0100)]
fix typo

10 months agofix typo and add post to research category
Ralf Jung [Tue, 15 Dec 2020 13:33:08 +0000 (14:33 +0100)]
fix typo and add post to research category

10 months agobetter wording
Ralf Jung [Mon, 14 Dec 2020 17:53:55 +0000 (18:53 +0100)]
better wording

10 months agofix int->uintptr_t fallout
Ralf Jung [Mon, 14 Dec 2020 17:53:27 +0000 (18:53 +0100)]
fix int->uintptr_t fallout

10 months agoreplace int by uintptr_t
Ralf Jung [Mon, 14 Dec 2020 17:49:22 +0000 (18:49 +0100)]
replace int by uintptr_t

10 months agoadd forum link
Ralf Jung [Mon, 14 Dec 2020 16:35:07 +0000 (17:35 +0100)]
add forum link

10 months agofinal tweaks and publish Pointers are Complicated II
Ralf Jung [Mon, 14 Dec 2020 16:32:34 +0000 (17:32 +0100)]
final tweaks and publish Pointers are Complicated II

10 months agominor tweaks
Ralf Jung [Thu, 10 Dec 2020 19:07:41 +0000 (20:07 +0100)]
minor tweaks

10 months agoless 'we'
Ralf Jung [Wed, 9 Dec 2020 12:24:47 +0000 (13:24 +0100)]
less 'we'

10 months ago(hopefully) final tweaks
Ralf Jung [Tue, 8 Dec 2020 19:13:26 +0000 (20:13 +0100)]
(hopefully) final tweaks

10 months agoupdate screen render of thesis
Ralf Jung [Tue, 8 Dec 2020 16:54:52 +0000 (17:54 +0100)]
update screen render of thesis

10 months agogive it a different spin
Ralf Jung [Mon, 7 Dec 2020 19:02:10 +0000 (20:02 +0100)]
give it a different spin

10 months agofirst complete draft
Ralf Jung [Mon, 7 Dec 2020 17:52:47 +0000 (18:52 +0100)]
first complete draft

10 months agoprovenance-matters: explain what went wrong
Ralf Jung [Sun, 6 Dec 2020 15:04:23 +0000 (16:04 +0100)]
provenance-matters: explain what went wrong

10 months agostart writing provenance-optimization blog post
Ralf Jung [Wed, 2 Dec 2020 17:10:30 +0000 (18:10 +0100)]
start writing provenance-optimization blog post

10 months agoadd 'theses' section to publication list
Ralf Jung [Thu, 26 Nov 2020 16:54:10 +0000 (17:54 +0100)]
add 'theses' section to publication list

10 months agomention MIT
Ralf Jung [Thu, 19 Nov 2020 18:10:29 +0000 (19:10 +0100)]
mention MIT

12 months agobetter wording
Ralf Jung [Tue, 29 Sep 2020 07:49:50 +0000 (09:49 +0200)]
better wording

12 months agopointers are complicated: clarify that this post is not about exploring the trade-off
Ralf Jung [Tue, 29 Sep 2020 07:48:26 +0000 (09:48 +0200)]
pointers are complicated: clarify that this post is not about exploring the trade-off

12 months agoadd Reddit link
Ralf Jung [Mon, 28 Sep 2020 17:02:29 +0000 (19:02 +0200)]
add Reddit link

12 months agoshow a bit elss text on the index
Ralf Jung [Mon, 28 Sep 2020 17:00:40 +0000 (19:00 +0200)]
show a bit elss text on the index

12 months agoadd Miri blog post
Ralf Jung [Mon, 28 Sep 2020 17:00:00 +0000 (19:00 +0200)]
add Miri blog post

12 months agofix Ruby deprecation warning
Ralf Jung [Mon, 28 Sep 2020 11:53:13 +0000 (13:53 +0200)]
fix Ruby deprecation warning

12 months agoI am not a PhD student any more...
Ralf Jung [Thu, 24 Sep 2020 09:09:24 +0000 (11:09 +0200)]
I am not a PhD student any more...

13 months agoadd thesis DOI
Ralf Jung [Thu, 10 Sep 2020 16:04:03 +0000 (18:04 +0200)]
add thesis DOI

13 months agoadd phd thesis post
Ralf Jung [Thu, 3 Sep 2020 15:59:37 +0000 (17:59 +0200)]
add phd thesis post

13 months agofix more HTML
Ralf Jung [Tue, 1 Sep 2020 09:35:43 +0000 (11:35 +0200)]
fix more HTML

13 months agofix HTML
Ralf Jung [Tue, 1 Sep 2020 09:34:50 +0000 (11:34 +0200)]
fix HTML

13 months agoadd thesis to publication list
Ralf Jung [Tue, 1 Sep 2020 09:34:00 +0000 (11:34 +0200)]
add thesis to publication list

13 months agoadd my PhD thesis
Ralf Jung [Tue, 1 Sep 2020 09:31:31 +0000 (11:31 +0200)]
add my PhD thesis

13 months agofix redirects
Ralf Jung [Mon, 31 Aug 2020 10:25:10 +0000 (12:25 +0200)]
fix redirects

13 months agorename Iris workshop talk file to be more consistent
Ralf Jung [Mon, 31 Aug 2020 10:23:59 +0000 (12:23 +0200)]
rename Iris workshop talk file to be more consistent

13 months agomake redirect regex a bit more readable
Ralf Jung [Mon, 31 Aug 2020 10:20:18 +0000 (12:20 +0200)]
make redirect regex a bit more readable

13 months agoalso redirect cs root
Ralf Jung [Mon, 31 Aug 2020 10:18:05 +0000 (12:18 +0200)]
also redirect cs root

13 months agotrack redirects in git
Ralf Jung [Mon, 31 Aug 2020 10:09:45 +0000 (12:09 +0200)]
track redirects in git

13 months agoadd twinsem paper
Ralf Jung [Mon, 31 Aug 2020 09:59:58 +0000 (11:59 +0200)]
add twinsem paper

13 months agoadd PRiML talk (and reference it)
Ralf Jung [Mon, 31 Aug 2020 09:59:49 +0000 (11:59 +0200)]
add PRiML talk (and reference it)

13 months agoadd bachelor thesis
Ralf Jung [Mon, 31 Aug 2020 09:43:13 +0000 (11:43 +0200)]
add bachelor thesis

13 months agoadd iris talks
Ralf Jung [Mon, 31 Aug 2020 09:42:29 +0000 (11:42 +0200)]
add iris talks

13 months agodisable thesis site for now
Ralf Jung [Sun, 30 Aug 2020 16:27:45 +0000 (18:27 +0200)]
disable thesis site for now

13 months agoadd thesis page stub
Ralf Jung [Sun, 30 Aug 2020 16:26:06 +0000 (18:26 +0200)]
add thesis page stub

13 months agoadd some missing linebreaks
Ralf Jung [Sat, 29 Aug 2020 11:57:02 +0000 (13:57 +0200)]
add some missing linebreaks

13 months agoadd CACM article, italicize venues
Ralf Jung [Sat, 29 Aug 2020 11:56:11 +0000 (13:56 +0200)]
add CACM article, italicize venues

13 months agomention upstreaming of my mailman patch
Ralf Jung [Sat, 29 Aug 2020 11:03:57 +0000 (13:03 +0200)]
mention upstreaming of my mailman patch

14 months agoexplain why invalid bool is truly arbitrary UB
Ralf Jung [Tue, 28 Jul 2020 21:08:25 +0000 (23:08 +0200)]
explain why invalid bool is truly arbitrary UB

14 months agolink to some of the guidelines I was sent
Ralf Jung [Fri, 24 Jul 2020 15:32:47 +0000 (17:32 +0200)]
link to some of the guidelines I was sent

14 months agoadd Outlook.com rant
Ralf Jung [Fri, 24 Jul 2020 15:11:03 +0000 (17:11 +0200)]
add Outlook.com rant

14 months agofix typo (thanks to Lonami)
Ralf Jung [Thu, 23 Jul 2020 08:43:30 +0000 (10:43 +0200)]
fix typo (thanks to Lonami)

15 months agomention speculative execution
Ralf Jung [Thu, 16 Jul 2020 10:05:51 +0000 (12:05 +0200)]
mention speculative execution

15 months agoadd missing semicolon
Ralf Jung [Thu, 16 Jul 2020 09:56:36 +0000 (11:56 +0200)]
add missing semicolon

15 months agofix link
Ralf Jung [Wed, 15 Jul 2020 11:43:33 +0000 (13:43 +0200)]
fix link

15 months agolink to 'two kinds of invariants'
Ralf Jung [Wed, 15 Jul 2020 11:43:14 +0000 (13:43 +0200)]
link to 'two kinds of invariants'

15 months agoadd forum link
Ralf Jung [Wed, 15 Jul 2020 11:10:47 +0000 (13:10 +0200)]
add forum link

15 months agofinish and publish unused-data post
Ralf Jung [Wed, 15 Jul 2020 11:06:19 +0000 (13:06 +0200)]
finish and publish unused-data post

15 months agoadd rust validity post draft
Ralf Jung [Wed, 15 Jul 2020 10:17:12 +0000 (12:17 +0200)]
add rust validity post draft

16 months agothe Ruby syntax actually means something else
Ralf Jung [Fri, 5 Jun 2020 07:31:56 +0000 (09:31 +0200)]
the Ruby syntax actually means something else

18 months agofix example
Ralf Jung [Tue, 7 Apr 2020 08:09:25 +0000 (10:09 +0200)]
fix example

18 months agomention named opaque types
Ralf Jung [Tue, 7 Apr 2020 08:08:39 +0000 (10:08 +0200)]
mention named opaque types

18 months agoadd forum URL
Ralf Jung [Sat, 4 Apr 2020 17:18:35 +0000 (19:18 +0200)]
add forum URL

18 months agotypo
Ralf Jung [Sat, 4 Apr 2020 17:18:07 +0000 (19:18 +0200)]
typo

18 months agoadd rustc_layout(debug) post
Ralf Jung [Sat, 4 Apr 2020 17:14:31 +0000 (19:14 +0200)]
add rustc_layout(debug) post

18 months agofix rust-101 path
Ralf Jung [Sat, 4 Apr 2020 17:13:59 +0000 (19:13 +0200)]
fix rust-101 path

22 months agobetter section title
Ralf Jung [Fri, 6 Dec 2019 10:45:55 +0000 (11:45 +0100)]
better section title

22 months agofix URL and style
Ralf Jung [Fri, 6 Dec 2019 10:42:35 +0000 (11:42 +0100)]
fix URL and style

22 months agoadd some of my talks
Ralf Jung [Fri, 6 Dec 2019 10:41:22 +0000 (11:41 +0100)]
add some of my talks

22 months agoupdate panic blog post to my little refactorings of that code
Ralf Jung [Sun, 1 Dec 2019 21:06:00 +0000 (22:06 +0100)]
update panic blog post to my little refactorings of that code

22 months agonote that this is all unstable internal details
Ralf Jung [Wed, 27 Nov 2019 07:53:48 +0000 (08:53 +0100)]
note that this is all unstable internal details

22 months agomention resume_panic entry point
Ralf Jung [Tue, 26 Nov 2019 09:23:45 +0000 (10:23 +0100)]
mention resume_panic entry point

22 months agoalso mention panic strategy
Ralf Jung [Tue, 26 Nov 2019 09:08:11 +0000 (10:08 +0100)]
also mention panic strategy

22 months agosome more remarks
Ralf Jung [Mon, 25 Nov 2019 12:35:32 +0000 (13:35 +0100)]
some more remarks

22 months agoadd forum link
Ralf Jung [Mon, 25 Nov 2019 11:29:35 +0000 (12:29 +0100)]
add forum link

22 months agotiny edits
Ralf Jung [Mon, 25 Nov 2019 11:27:16 +0000 (12:27 +0100)]
tiny edits

22 months agonew post on panics
Ralf Jung [Mon, 25 Nov 2019 11:19:27 +0000 (12:19 +0100)]
new post on panics

22 months agotypo
Ralf Jung [Thu, 21 Nov 2019 08:16:56 +0000 (09:16 +0100)]
typo

23 months agoadd reddit link
Ralf Jung [Tue, 19 Nov 2019 19:18:05 +0000 (20:18 +0100)]
add reddit link

23 months agotypo
Ralf Jung [Tue, 19 Nov 2019 13:20:56 +0000 (14:20 +0100)]
typo

23 months agoStacked Borrows blog post
Ralf Jung [Mon, 18 Nov 2019 19:43:40 +0000 (20:43 +0100)]
Stacked Borrows blog post

23 months agoadd my POPL20 papers
Ralf Jung [Mon, 18 Nov 2019 14:24:49 +0000 (15:24 +0100)]
add my POPL20 papers

23 months agocross-post linking to SIGPLAN Rust post
Ralf Jung [Sun, 20 Oct 2019 12:53:25 +0000 (14:53 +0200)]
cross-post linking to SIGPLAN Rust post

2 years agolink to paper that also mentions this (but does not give many details)
Ralf Jung [Wed, 17 Jul 2019 19:01:08 +0000 (21:01 +0200)]
link to paper that also mentions this (but does not give many details)

2 years agoclarify
Ralf Jung [Tue, 16 Jul 2019 12:26:56 +0000 (14:26 +0200)]
clarify

2 years agowording
Ralf Jung [Tue, 16 Jul 2019 11:46:11 +0000 (13:46 +0200)]
wording

2 years agoadd post to research category
Ralf Jung [Mon, 15 Jul 2019 13:27:45 +0000 (15:27 +0200)]
add post to research category

2 years agolink to my UB post
Ralf Jung [Mon, 15 Jul 2019 12:58:59 +0000 (14:58 +0200)]
link to my UB post

2 years agotweaks
Ralf Jung [Mon, 15 Jul 2019 12:57:00 +0000 (14:57 +0200)]
tweaks

2 years agoparagraph on why abstract machine > set of optimizations
Ralf Jung [Mon, 15 Jul 2019 12:45:21 +0000 (14:45 +0200)]
paragraph on why abstract machine > set of optimizations

2 years agolink to LLVM doc; mention bitfields
Ralf Jung [Mon, 15 Jul 2019 12:04:44 +0000 (14:04 +0200)]
link to LLVM doc; mention bitfields