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

9 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)

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

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

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

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

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

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

9 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

10 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

10 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

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

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

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

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

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

11 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'

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

11 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

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

12 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

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

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

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

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

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

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

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

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

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

18 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

18 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

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

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

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

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

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

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

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

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

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

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

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

20 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

23 months 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)

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

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

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

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

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

23 months 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

23 months 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

23 months agobe more explicit about the abstract machine earlier
Ralf Jung [Mon, 15 Jul 2019 11:50:28 +0000 (13:50 +0200)]
be more explicit about the abstract machine earlier

23 months agomention abstract machine earlier
Ralf Jung [Mon, 15 Jul 2019 11:48:29 +0000 (13:48 +0200)]
mention abstract machine earlier

23 months agostronger exclusion of UB-ful programs
Ralf Jung [Mon, 15 Jul 2019 11:43:15 +0000 (13:43 +0200)]
stronger exclusion of UB-ful programs

23 months agofix typo
Ralf Jung [Mon, 15 Jul 2019 11:39:39 +0000 (13:39 +0200)]
fix typo

23 months agomention valgrind connection
Ralf Jung [Mon, 15 Jul 2019 11:32:33 +0000 (13:32 +0200)]
mention valgrind connection

23 months agomore precise about what the HW does
Ralf Jung [Mon, 15 Jul 2019 11:28:21 +0000 (13:28 +0200)]
more precise about what the HW does

23 months agoit's also Ruby syntax
Ralf Jung [Mon, 15 Jul 2019 10:23:26 +0000 (12:23 +0200)]
it's also Ruby syntax

23 months agomention the sparse uninit vec trick
Ralf Jung [Mon, 15 Jul 2019 09:48:21 +0000 (11:48 +0200)]
mention the sparse uninit vec trick

23 months agoexplain Rust range syntax
Ralf Jung [Mon, 15 Jul 2019 08:58:37 +0000 (10:58 +0200)]
explain Rust range syntax

23 months agoadd forum link
Ralf Jung [Sun, 14 Jul 2019 16:35:58 +0000 (18:35 +0200)]
add forum link

23 months agolink from old post to new
Ralf Jung [Sun, 14 Jul 2019 16:33:33 +0000 (18:33 +0200)]
link from old post to new

23 months agonew post on uninitialized memory
Ralf Jung [Sun, 14 Jul 2019 16:29:49 +0000 (18:29 +0200)]
new post on uninitialized memory

2 years agowe use tag 0 so let's not use a NonZero type
Ralf Jung [Thu, 6 Jun 2019 13:35:31 +0000 (15:35 +0200)]
we use tag 0 so let's not use a NonZero type

2 years agoadd forum link
Ralf Jung [Tue, 21 May 2019 14:13:50 +0000 (16:13 +0200)]
add forum link

2 years agopost on Stacked Borrows 2.1
Ralf Jung [Tue, 21 May 2019 14:07:44 +0000 (16:07 +0200)]
post on Stacked Borrows 2.1

2 years agoimprove wording
Ralf Jung [Fri, 17 May 2019 19:49:41 +0000 (21:49 +0200)]
improve wording

2 years agotypo
Ralf Jung [Thu, 16 May 2019 16:40:31 +0000 (18:40 +0200)]
typo

2 years agoexpand prior work
Ralf Jung [Thu, 16 May 2019 09:44:56 +0000 (11:44 +0200)]
expand prior work

2 years agotypos
Ralf Jung [Wed, 15 May 2019 19:05:05 +0000 (21:05 +0200)]
typos

2 years agoadd forum link
Ralf Jung [Wed, 15 May 2019 17:48:56 +0000 (19:48 +0200)]
add forum link

2 years agopublish typeclass post
Ralf Jung [Wed, 15 May 2019 17:42:39 +0000 (19:42 +0200)]
publish typeclass post

2 years agomore editing and a new link
Ralf Jung [Wed, 15 May 2019 08:06:47 +0000 (10:06 +0200)]
more editing and a new link

2 years agoediting
Ralf Jung [Tue, 14 May 2019 15:17:16 +0000 (17:17 +0200)]
editing

2 years agoconsistently separate footnotes from text
Ralf Jung [Tue, 14 May 2019 13:09:56 +0000 (15:09 +0200)]
consistently separate footnotes from text

2 years agoblog post on the typeclass index issue
Ralf Jung [Tue, 14 May 2019 13:03:30 +0000 (15:03 +0200)]
blog post on the typeclass index issue

2 years agoput more emphasis on where people should look
Ralf Jung [Thu, 9 May 2019 15:24:39 +0000 (17:24 +0200)]
put more emphasis on where people should look

2 years agoless wide comments
Ralf Jung [Thu, 2 May 2019 11:10:40 +0000 (13:10 +0200)]
less wide comments

2 years agofix example
Ralf Jung [Thu, 2 May 2019 10:59:35 +0000 (12:59 +0200)]
fix example

2 years agomore clearly mark the original post as historic
Ralf Jung [Wed, 1 May 2019 10:14:08 +0000 (12:14 +0200)]
more clearly mark the original post as historic

2 years agoadd Stacked Borrows ToC to latest post and expand Stacked Borrows 1 post to hopefully...
Ralf Jung [Wed, 1 May 2019 10:12:30 +0000 (12:12 +0200)]
add Stacked Borrows ToC to latest post and expand Stacked Borrows 1 post to hopefully more clearly tell people to not read the original one

2 years agomention that granting used to be matching
Ralf Jung [Tue, 30 Apr 2019 21:25:23 +0000 (23:25 +0200)]
mention that granting used to be matching

2 years agoadd forum link in text
Ralf Jung [Tue, 30 Apr 2019 19:13:35 +0000 (21:13 +0200)]
add forum link in text

2 years agoadd forum link
Ralf Jung [Tue, 30 Apr 2019 19:12:55 +0000 (21:12 +0200)]
add forum link

2 years agoStacked Borrows 2
Ralf Jung [Tue, 30 Apr 2019 19:10:35 +0000 (21:10 +0200)]
Stacked Borrows 2

2 years agolink to reddit
Ralf Jung [Tue, 26 Mar 2019 20:28:30 +0000 (21:28 +0100)]
link to reddit

2 years agomiri on rustup
Ralf Jung [Tue, 26 Mar 2019 20:07:52 +0000 (21:07 +0100)]
miri on rustup

2 years agoread_ref doe not need to mutate
Ralf Jung [Sun, 10 Mar 2019 19:29:45 +0000 (20:29 +0100)]
read_ref doe not need to mutate

thanks to @amosonn!

2 years agoadd firejail post
Ralf Jung [Sat, 9 Mar 2019 21:44:33 +0000 (22:44 +0100)]
add firejail post

2 years agofix pin API doc links
Ralf Jung [Sat, 9 Mar 2019 11:58:36 +0000 (12:58 +0100)]
fix pin API doc links

2 years agoupdate room number
Ralf Jung [Fri, 15 Feb 2019 09:10:57 +0000 (10:10 +0100)]
update room number

2 years agoadd Reddit link
Ralf Jung [Tue, 12 Feb 2019 08:59:25 +0000 (09:59 +0100)]
add Reddit link

2 years agoall-hands post
Ralf Jung [Tue, 12 Feb 2019 08:56:31 +0000 (09:56 +0100)]
all-hands post

2 years agoRust 2019
Ralf Jung [Sat, 12 Jan 2019 13:09:18 +0000 (14:09 +0100)]
Rust 2019

2 years agofix installation command
Ralf Jung [Fri, 28 Dec 2018 17:15:43 +0000 (18:15 +0100)]
fix installation command

2 years agoadd forum link
Ralf Jung [Wed, 26 Dec 2018 16:03:23 +0000 (17:03 +0100)]
add forum link

2 years agoadvertise Miri a bit more
Ralf Jung [Wed, 26 Dec 2018 16:01:03 +0000 (17:01 +0100)]
advertise Miri a bit more

2 years agoadd latest stacked borrows updates
Ralf Jung [Wed, 26 Dec 2018 15:57:03 +0000 (16:57 +0100)]
add latest stacked borrows updates

2 years agoupdate Stacked Borrows post to (almost) current model
Ralf Jung [Sat, 22 Dec 2018 12:44:51 +0000 (13:44 +0100)]
update Stacked Borrows post to (almost) current model