web.git
2 months agolink to paper that also mentions this (but does not give many details) master
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 months agoclarify
Ralf Jung [Tue, 16 Jul 2019 12:26:56 +0000 (14:26 +0200)]
clarify

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

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

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

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

2 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

2 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

2 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

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

2 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

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

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

2 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

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

2 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

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

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

2 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

6 months 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!

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

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

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

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

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

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

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

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

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

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

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

9 months agoGoogle claims phone numbers are optional when they are not
Ralf Jung [Thu, 20 Dec 2018 12:56:51 +0000 (13:56 +0100)]
Google claims phone numbers are optional when they are not

9 months agofix a bug, link to new post
Ralf Jung [Thu, 13 Dec 2018 18:33:10 +0000 (19:33 +0100)]
fix a bug, link to new post

9 months agoremove a probably confusing remark
Ralf Jung [Wed, 12 Dec 2018 18:42:42 +0000 (19:42 +0100)]
remove a probably confusing remark

9 months agotracking on the web
Ralf Jung [Wed, 12 Dec 2018 18:41:14 +0000 (19:41 +0100)]
tracking on the web

9 months agoGoogle Scholar Considered Harmful
Ralf Jung [Wed, 12 Dec 2018 18:05:58 +0000 (19:05 +0100)]
Google Scholar Considered Harmful

9 months agocalrify unfreeze-on-write
Ralf Jung [Mon, 10 Dec 2018 16:15:24 +0000 (17:15 +0100)]
calrify unfreeze-on-write

9 months agoadd research statement
Ralf Jung [Fri, 7 Dec 2018 11:00:18 +0000 (12:00 +0100)]
add research statement

9 months agoworkshop talks are not publications
Ralf Jung [Thu, 6 Dec 2018 15:04:21 +0000 (16:04 +0100)]
workshop talks are not publications

9 months agothe journal paper is no longer a preprint
Ralf Jung [Wed, 5 Dec 2018 10:32:40 +0000 (11:32 +0100)]
the journal paper is no longer a preprint

9 months agothe ground-up paper got published
Ralf Jung [Wed, 5 Dec 2018 10:24:08 +0000 (11:24 +0100)]
the ground-up paper got published

9 months agoadd lang attributes
Ralf Jung [Sun, 2 Dec 2018 14:25:10 +0000 (15:25 +0100)]
add lang attributes

9 months agotypo
Ralf Jung [Wed, 21 Nov 2018 14:18:06 +0000 (15:18 +0100)]
typo

9 months agoupdate for raw deref and box changes
Ralf Jung [Wed, 21 Nov 2018 09:10:43 +0000 (10:10 +0100)]
update for raw deref and box changes

9 months agofix tracking generated HTML files
Ralf Jung [Wed, 21 Nov 2018 08:26:20 +0000 (09:26 +0100)]
fix tracking generated HTML files

9 months agotrack HTML changes in git
Ralf Jung [Wed, 21 Nov 2018 08:24:02 +0000 (09:24 +0100)]
track HTML changes in git

9 months agomore explicit types
Ralf Jung [Wed, 21 Nov 2018 08:16:41 +0000 (09:16 +0100)]
more explicit types

10 months agotweak thanks
Ralf Jung [Fri, 16 Nov 2018 16:56:22 +0000 (17:56 +0100)]
tweak thanks

10 months agoadd forum link
Ralf Jung [Fri, 16 Nov 2018 16:55:15 +0000 (17:55 +0100)]
add forum link

10 months agofinalize and publish post
Ralf Jung [Fri, 16 Nov 2018 16:52:59 +0000 (17:52 +0100)]
finalize and publish post

10 months agosay immutable instead of read-only
Ralf Jung [Thu, 15 Nov 2018 12:50:28 +0000 (13:50 +0100)]
say immutable instead of read-only

10 months agofeedback from Niko
Ralf Jung [Wed, 14 Nov 2018 10:25:38 +0000 (11:25 +0100)]
feedback from Niko

10 months agomore disucssion of retag redundancy check
Ralf Jung [Tue, 13 Nov 2018 16:25:43 +0000 (17:25 +0100)]
more disucssion of retag redundancy check

10 months agoadapt to new redundant-reborrow rule
Ralf Jung [Tue, 13 Nov 2018 13:47:00 +0000 (14:47 +0100)]
adapt to new redundant-reborrow rule

10 months agorecursive descend will come later
Ralf Jung [Tue, 13 Nov 2018 12:33:25 +0000 (13:33 +0100)]
recursive descend will come later

10 months agointra-document links
Ralf Jung [Tue, 13 Nov 2018 08:05:26 +0000 (09:05 +0100)]
intra-document links

10 months agoShow first example in annotated form early
Ralf Jung [Tue, 13 Nov 2018 07:51:57 +0000 (08:51 +0100)]
Show first example in annotated form early

10 months agoFirst draft of stacked borows impl post
Ralf Jung [Mon, 12 Nov 2018 19:38:41 +0000 (20:38 +0100)]
First draft of stacked borows impl post

10 months agofix CategoryFilter
Ralf Jung [Mon, 12 Nov 2018 13:48:35 +0000 (14:48 +0100)]
fix CategoryFilter

11 months agoclarify retagging onm fn enter
Ralf Jung [Mon, 15 Oct 2018 16:28:15 +0000 (18:28 +0200)]
clarify retagging onm fn enter

11 months agothe order matters
Ralf Jung [Mon, 15 Oct 2018 16:21:26 +0000 (18:21 +0200)]
the order matters

11 months agoclarify what happens when memory gets deallocated
Ralf Jung [Mon, 15 Oct 2018 16:18:21 +0000 (18:18 +0200)]
clarify what happens when memory gets deallocated

11 months agochange terminology: activate -> reactivate
Ralf Jung [Mon, 15 Oct 2018 16:15:04 +0000 (18:15 +0200)]
change terminology: activate -> reactivate

11 months agofix checking Mut access on frozen location
Ralf Jung [Mon, 15 Oct 2018 16:11:29 +0000 (18:11 +0200)]
fix checking Mut access on frozen location

11 months agoadd twinsem paper
Ralf Jung [Sat, 22 Sep 2018 10:15:10 +0000 (12:15 +0200)]
add twinsem paper

12 months agoonly must
Ralf Jung [Sat, 25 Aug 2018 14:59:09 +0000 (16:59 +0200)]
only must

12 months agoclarify validity for prtially initialized local variables
Ralf Jung [Thu, 23 Aug 2018 10:34:29 +0000 (12:34 +0200)]
clarify validity for prtially initialized local variables

12 months agoclarify boundary
Ralf Jung [Thu, 23 Aug 2018 10:32:00 +0000 (12:32 +0200)]
clarify boundary

12 months agoexpand post title
Ralf Jung [Wed, 22 Aug 2018 19:29:44 +0000 (21:29 +0200)]
expand post title

12 months agotweak the slogan
Ralf Jung [Wed, 22 Aug 2018 18:01:21 +0000 (20:01 +0200)]
tweak the slogan

12 months agodiscuss empty types
Ralf Jung [Wed, 22 Aug 2018 16:59:08 +0000 (18:59 +0200)]
discuss empty types

12 months agoadd forum link
Ralf Jung [Wed, 22 Aug 2018 16:54:48 +0000 (18:54 +0200)]
add forum link

12 months agopost on invariants
Ralf Jung [Wed, 22 Aug 2018 16:31:50 +0000 (18:31 +0200)]
post on invariants

13 months agoshow full post in RSS feed
Ralf Jung [Fri, 17 Aug 2018 17:28:07 +0000 (19:28 +0200)]
show full post in RSS feed

13 months agodo not exclude unsized types
Ralf Jung [Thu, 16 Aug 2018 12:47:08 +0000 (14:47 +0200)]
do not exclude unsized types