Ralf Jung [Sun, 15 Dec 2024 13:52:30 +0000 (14:52 +0100)]
update html
Ralf Jung [Sun, 15 Dec 2024 13:51:25 +0000 (14:51 +0100)]
fix html
Ralf Jung [Mon, 25 Nov 2024 17:05:10 +0000 (18:05 +0100)]
personal website: delete stale files
Ralf Jung [Mon, 25 Nov 2024 16:48:33 +0000 (17:48 +0100)]
research: delete 'other' files
Ralf Jung [Mon, 25 Nov 2024 12:23:33 +0000 (13:23 +0100)]
add camera-ready version of itree-program-logic paper
Ralf Jung [Mon, 25 Nov 2024 12:14:55 +0000 (13:14 +0100)]
add Rustlantis post
Ralf Jung [Fri, 18 Oct 2024 15:07:43 +0000 (17:07 +0200)]
add newer version of uninit example
Ralf Jung [Tue, 15 Oct 2024 17:33:13 +0000 (19:33 +0200)]
add link to department website
Ralf Jung [Tue, 8 Oct 2024 13:02:14 +0000 (15:02 +0200)]
fix an old typo and remove a reduntant clause
Ralf Jung [Wed, 2 Oct 2024 11:54:42 +0000 (13:54 +0200)]
move perennial paper to consistent location
Ralf Jung [Wed, 2 Oct 2024 11:52:33 +0000 (13:52 +0200)]
twinsem paper: directly link to current location
Ralf Jung [Wed, 2 Oct 2024 11:51:37 +0000 (13:51 +0200)]
move twinsem paper to new folder
Ralf Jung [Wed, 2 Oct 2024 11:46:14 +0000 (13:46 +0200)]
add OOPSLA paper
Ralf Jung [Fri, 30 Aug 2024 13:08:21 +0000 (15:08 +0200)]
add note regarding unsafe blocks and place expressions
Ralf Jung [Thu, 22 Aug 2024 07:54:09 +0000 (09:54 +0200)]
clarify how 'let _' relates to the grammar above
Ralf Jung [Fri, 16 Aug 2024 05:50:56 +0000 (07:50 +0200)]
add link to stabilization PR and explain why the code has UB
Ralf Jung [Thu, 15 Aug 2024 09:33:47 +0000 (11:33 +0200)]
reference lvalues/rvalues; fix a typo
Ralf Jung [Wed, 14 Aug 2024 19:52:20 +0000 (21:52 +0200)]
add Reddit link
Ralf Jung [Wed, 14 Aug 2024 19:47:25 +0000 (21:47 +0200)]
add post about place expressions
Ralf Jung [Tue, 2 Jul 2024 12:04:33 +0000 (14:04 +0200)]
add RefinedRust paper
Ralf Jung [Tue, 2 Jul 2024 11:43:31 +0000 (13:43 +0200)]
Pointers Are Complicated: fix typo
Ralf Jung [Wed, 29 May 2024 21:09:44 +0000 (23:09 +0200)]
update CV, remove old research statement
Ralf Jung [Wed, 22 May 2024 15:05:59 +0000 (17:05 +0200)]
Tree Borrows post: fix link
Ralf Jung [Mon, 15 Apr 2024 14:18:26 +0000 (16:18 +0200)]
link to sloonz's script
Ralf Jung [Mon, 15 Apr 2024 12:43:15 +0000 (14:43 +0200)]
wording
Ralf Jung [Mon, 15 Apr 2024 12:42:38 +0000 (14:42 +0200)]
link to flatseal
Ralf Jung [Sun, 14 Apr 2024 15:01:25 +0000 (17:01 +0200)]
mention cargo-script
Ralf Jung [Sun, 14 Apr 2024 14:53:11 +0000 (16:53 +0200)]
add bubblebox and blog about it
Ralf Jung [Sun, 14 Apr 2024 11:09:18 +0000 (13:09 +0200)]
projects: sort alphabetically
Ralf Jung [Thu, 21 Mar 2024 18:53:05 +0000 (19:53 +0100)]
update website
Ralf Jung [Mon, 11 Mar 2024 07:19:47 +0000 (08:19 +0100)]
contact: use my ETH email address
Ralf Jung [Sun, 7 Jan 2024 17:01:24 +0000 (18:01 +0100)]
dont show the full post on the overview page
Ralf Jung [Sun, 7 Jan 2024 17:00:30 +0000 (18:00 +0100)]
mention the first OSPB as well
Ralf Jung [Wed, 27 Dec 2023 18:52:50 +0000 (19:52 +0100)]
add Google OSPB post
Ralf Jung [Wed, 22 Nov 2023 16:48:37 +0000 (17:48 +0100)]
link to group website
Ralf Jung [Wed, 22 Nov 2023 16:47:24 +0000 (17:47 +0100)]
add Grove
Ralf Jung [Fri, 29 Sep 2023 16:07:48 +0000 (18:07 +0200)]
further tweak image
Ralf Jung [Fri, 29 Sep 2023 16:01:18 +0000 (18:01 +0200)]
tweak image behavior on small screens
Ralf Jung [Fri, 29 Sep 2023 15:44:28 +0000 (17:44 +0200)]
experiment with a high-res version of the image
Ralf Jung [Fri, 29 Sep 2023 15:40:57 +0000 (17:40 +0200)]
update picture
Ralf Jung [Tue, 13 Jun 2023 20:07:25 +0000 (22:07 +0200)]
link to talk recording
Ralf Jung [Thu, 8 Jun 2023 18:50:24 +0000 (20:50 +0200)]
add vMVCC paper
Ralf Jung [Sat, 3 Jun 2023 09:06:44 +0000 (11:06 +0200)]
add link to more background on UnsafeCell
Ralf Jung [Fri, 2 Jun 2023 14:00:41 +0000 (16:00 +0200)]
add another link to Neven's material at the end
Ralf Jung [Fri, 2 Jun 2023 13:55:07 +0000 (15:55 +0200)]
footnote on the immuability point
Ralf Jung [Fri, 2 Jun 2023 12:29:52 +0000 (14:29 +0200)]
clarification
Ralf Jung [Fri, 2 Jun 2023 09:52:53 +0000 (11:52 +0200)]
add reddit link
Ralf Jung [Fri, 2 Jun 2023 09:48:55 +0000 (11:48 +0200)]
publish Tree Borrows post
Ralf Jung [Wed, 31 May 2023 16:02:14 +0000 (18:02 +0200)]
tree borrows editing
Ralf Jung [Wed, 31 May 2023 15:31:43 +0000 (17:31 +0200)]
add draft on Tree Borrows
Ralf Jung [Mon, 13 Feb 2023 16:07:56 +0000 (17:07 +0100)]
pseudo Rust has been renamed to specr lang
Ralf Jung [Wed, 25 Jan 2023 14:48:32 +0000 (15:48 +0100)]
update office room number
Ralf Jung [Mon, 2 Jan 2023 16:33:00 +0000 (17:33 +0100)]
disable position ad
Ralf Jung [Fri, 18 Nov 2022 17:32:21 +0000 (18:32 +0100)]
also mention application deadline for direct doctorate
Ralf Jung [Fri, 18 Nov 2022 17:11:19 +0000 (18:11 +0100)]
mention the direct doctorate program
Ralf Jung [Thu, 17 Nov 2022 16:55:11 +0000 (17:55 +0100)]
update student ad to match email
Ralf Jung [Thu, 17 Nov 2022 13:52:50 +0000 (14:52 +0100)]
update uninit example so that it still works in current Rust
Ralf Jung [Wed, 16 Nov 2022 14:13:09 +0000 (15:13 +0100)]
clarify phd dates
Ralf Jung [Wed, 2 Nov 2022 16:59:47 +0000 (17:59 +0100)]
fix address
Ralf Jung [Wed, 2 Nov 2022 13:39:40 +0000 (14:39 +0100)]
update my adress and phone number
Ralf Jung [Wed, 12 Oct 2022 11:37:06 +0000 (13:37 +0200)]
intrustive collections: add caveat about by-ref iteration
Ralf Jung [Fri, 7 Oct 2022 15:35:24 +0000 (17:35 +0200)]
syntax
Ralf Jung [Fri, 7 Oct 2022 15:34:48 +0000 (17:34 +0200)]
but still make it bold
Ralf Jung [Fri, 7 Oct 2022 15:33:29 +0000 (17:33 +0200)]
no need to still make this red
Ralf Jung [Thu, 6 Oct 2022 20:23:06 +0000 (22:23 +0200)]
add 'programming' category
Ralf Jung [Thu, 6 Oct 2022 20:22:57 +0000 (22:22 +0200)]
fix path
Ralf Jung [Thu, 6 Oct 2022 20:22:48 +0000 (22:22 +0200)]
add later credits
Ralf Jung [Mon, 26 Sep 2022 15:17:13 +0000 (17:17 +0200)]
'read' is not covered yet (needs a PR to land)
Ralf Jung [Mon, 26 Sep 2022 14:58:57 +0000 (16:58 +0200)]
cargo-careful needs nightly
Ralf Jung [Mon, 26 Sep 2022 13:28:12 +0000 (15:28 +0200)]
advertise that I am looking for students :D
Ralf Jung [Mon, 26 Sep 2022 11:13:37 +0000 (13:13 +0200)]
fix typo
Ralf Jung [Mon, 26 Sep 2022 11:13:12 +0000 (13:13 +0200)]
add reddit link
Ralf Jung [Mon, 26 Sep 2022 11:12:08 +0000 (13:12 +0200)]
fix the title *oops*
Ralf Jung [Mon, 26 Sep 2022 11:11:26 +0000 (13:11 +0200)]
add cargo-careful blog post
Ralf Jung [Wed, 14 Sep 2022 07:55:15 +0000 (09:55 +0200)]
tweak the update
Ralf Jung [Wed, 14 Sep 2022 07:39:38 +0000 (09:39 +0200)]
add update on the current state on ptr2int transmutation
Ralf Jung [Tue, 16 Aug 2022 01:35:26 +0000 (21:35 -0400)]
fix link
Ralf Jung [Tue, 16 Aug 2022 01:34:10 +0000 (21:34 -0400)]
announce my ETH position :-))
Ralf Jung [Sat, 13 Aug 2022 16:15:00 +0000 (12:15 -0400)]
wording
Ralf Jung [Sat, 13 Aug 2022 16:14:19 +0000 (12:14 -0400)]
nod to Rust readers
Ralf Jung [Mon, 8 Aug 2022 14:06:22 +0000 (10:06 -0400)]
a note on the name
Ralf Jung [Mon, 8 Aug 2022 13:58:52 +0000 (09:58 -0400)]
the Cool Bear can be on this blog :)
Ralf Jung [Mon, 8 Aug 2022 12:53:44 +0000 (08:53 -0400)]
shout out more people
Ralf Jung [Mon, 8 Aug 2022 02:37:25 +0000 (22:37 -0400)]
cool bear makes their own choices
Ralf Jung [Mon, 8 Aug 2022 02:16:31 +0000 (22:16 -0400)]
credit where credit is due
Ralf Jung [Mon, 8 Aug 2022 02:03:13 +0000 (22:03 -0400)]
add link to reddit
Ralf Jung [Mon, 8 Aug 2022 01:55:48 +0000 (21:55 -0400)]
minirust post
Ralf Jung [Mon, 4 Jul 2022 13:16:17 +0000 (09:16 -0400)]
specify a bit more which shims we can reasonably support
Ralf Jung [Sun, 3 Jul 2022 02:12:17 +0000 (22:12 -0400)]
typo
Ralf Jung [Sun, 3 Jul 2022 00:07:04 +0000 (20:07 -0400)]
I am no longer on the job market
Ralf Jung [Sun, 3 Jul 2022 00:04:37 +0000 (20:04 -0400)]
research page moved to new location
Ralf Jung [Sat, 2 Jul 2022 23:07:43 +0000 (19:07 -0400)]
add link to reddit (and a tweak)
Ralf Jung [Sat, 2 Jul 2022 22:47:46 +0000 (18:47 -0400)]
add Miri update blog post
Ralf Jung [Sun, 19 Jun 2022 16:07:09 +0000 (09:07 -0700)]
more https
Ralf Jung [Wed, 25 May 2022 08:08:28 +0000 (10:08 +0200)]
note on integer-pointer transmutation
Ralf Jung [Fri, 13 May 2022 15:54:27 +0000 (17:54 +0200)]
remove Jabber ID from website
Ralf Jung [Tue, 3 May 2022 10:30:25 +0000 (12:30 +0200)]
make it clear that this is an RSS feed
Ralf Jung [Wed, 13 Apr 2022 23:51:03 +0000 (19:51 -0400)]
update PNVI-ae-udi paper URL
Ralf Jung [Wed, 13 Apr 2022 15:28:50 +0000 (11:28 -0400)]
fix a typo
Ralf Jung [Tue, 12 Apr 2022 18:48:40 +0000 (14:48 -0400)]
tweak wording
projects / web.git / log