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

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

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

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

18 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!

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

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

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

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

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

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

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

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

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

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

21 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

21 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

21 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

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

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

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

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

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

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

21 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

21 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

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

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

22 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

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

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

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

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

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

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

22 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

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

22 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

22 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

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

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

22 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

22 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

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

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

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

23 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

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

23 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

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

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

2 years 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

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

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

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

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

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

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

2 years 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

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

2 years agotypo
Ralf Jung [Thu, 9 Aug 2018 09:34:26 +0000 (11:34 +0200)]
typo

2 years agofix link
Ralf Jung [Wed, 8 Aug 2018 22:40:35 +0000 (00:40 +0200)]
fix link

2 years agotypo
Ralf Jung [Wed, 8 Aug 2018 10:23:39 +0000 (12:23 +0200)]
typo

2 years agotypo
Ralf Jung [Wed, 8 Aug 2018 08:14:08 +0000 (10:14 +0200)]
typo

2 years agofix rustdoc links to point to stable docs
Ralf Jung [Tue, 7 Aug 2018 19:52:11 +0000 (21:52 +0200)]
fix rustdoc links to point to stable docs

2 years agoadd forum link and fix othre links
Ralf Jung [Tue, 7 Aug 2018 19:47:43 +0000 (21:47 +0200)]
add forum link and fix othre links

2 years agoStacked Borrows
Ralf Jung [Tue, 7 Aug 2018 18:44:25 +0000 (20:44 +0200)]
Stacked Borrows

2 years agobox calling Box::into_raw; add some rustdoc links
Ralf Jung [Tue, 7 Aug 2018 17:17:46 +0000 (19:17 +0200)]
box calling Box::into_raw; add some rustdoc links

2 years agofix typo
Ralf Jung [Tue, 7 Aug 2018 17:17:32 +0000 (19:17 +0200)]
fix typo

2 years agoeven more https
Ralf Jung [Tue, 7 Aug 2018 09:14:59 +0000 (11:14 +0200)]
even more https

2 years agomore https
Ralf Jung [Tue, 7 Aug 2018 09:10:10 +0000 (11:10 +0200)]
more https

2 years agotypo
Ralf Jung [Tue, 31 Jul 2018 12:12:26 +0000 (14:12 +0200)]
typo

2 years agoshow pointer as Rust struct
Ralf Jung [Thu, 26 Jul 2018 16:37:22 +0000 (18:37 +0200)]
show pointer as Rust struct

2 years agolink to miri pointer def.n
Ralf Jung [Thu, 26 Jul 2018 16:35:39 +0000 (18:35 +0200)]
link to miri pointer def.n

2 years agoavoid UB by using + instead of array indexing
Ralf Jung [Wed, 25 Jul 2018 15:04:36 +0000 (17:04 +0200)]
avoid UB by using + instead of array indexing

Thanks gnzlbg

2 years agomore academic pointers
Ralf Jung [Wed, 25 Jul 2018 14:32:38 +0000 (16:32 +0200)]
more academic pointers

2 years agoadd Coq typeclass index problem draft
Ralf Jung [Wed, 25 Jul 2018 13:21:40 +0000 (15:21 +0200)]
add Coq typeclass index problem draft

2 years agoclarify that what miri does not not a reasonable choice for language semantics
Ralf Jung [Wed, 25 Jul 2018 10:47:56 +0000 (12:47 +0200)]
clarify that what miri does not not a reasonable choice for language semantics

2 years agoadd a link to the edit history of a post
Ralf Jung [Wed, 25 Jul 2018 10:32:05 +0000 (12:32 +0200)]
add a link to the edit history of a post

2 years agoclarify extra-hidden-state-in-memory
Ralf Jung [Wed, 25 Jul 2018 10:22:13 +0000 (12:22 +0200)]
clarify extra-hidden-state-in-memory

2 years agoblog: Assume we will never have a non-empty baseurl
Ralf Jung [Wed, 25 Jul 2018 08:55:56 +0000 (10:55 +0200)]
blog: Assume we will never have a non-empty baseurl

This is just getting too annoying every time I link to another post

2 years agoconst: clarify and typo
Ralf Jung [Wed, 25 Jul 2018 08:47:08 +0000 (10:47 +0200)]
const: clarify and typo

2 years agoclarify
Ralf Jung [Wed, 25 Jul 2018 07:50:04 +0000 (09:50 +0200)]
clarify

2 years agoC is not portable assembly
Ralf Jung [Wed, 25 Jul 2018 06:22:07 +0000 (08:22 +0200)]
C is not portable assembly

2 years agotypo
Ralf Jung [Tue, 24 Jul 2018 21:51:22 +0000 (23:51 +0200)]
typo

2 years agoremove a footnote again
Ralf Jung [Tue, 24 Jul 2018 21:49:54 +0000 (23:49 +0200)]
remove a footnote again

2 years agotypo
Ralf Jung [Tue, 24 Jul 2018 21:41:36 +0000 (23:41 +0200)]
typo

2 years agoclarify the problem in the last section
Ralf Jung [Tue, 24 Jul 2018 21:35:23 +0000 (23:35 +0200)]
clarify the problem in the last section

2 years agomore on pointers in integer variables
Ralf Jung [Tue, 24 Jul 2018 21:26:17 +0000 (23:26 +0200)]
more on pointers in integer variables

2 years agoclarify abstract nature of pointers
Ralf Jung [Tue, 24 Jul 2018 17:49:24 +0000 (19:49 +0200)]
clarify abstract nature of pointers

2 years agolink to compcert
Ralf Jung [Tue, 24 Jul 2018 15:38:36 +0000 (17:38 +0200)]
link to compcert

2 years agoadd thanks
Ralf Jung [Tue, 24 Jul 2018 15:03:13 +0000 (17:03 +0200)]
add thanks

2 years agoforum link
Ralf Jung [Tue, 24 Jul 2018 14:43:16 +0000 (16:43 +0200)]
forum link

2 years agotweak
Ralf Jung [Tue, 24 Jul 2018 14:39:39 +0000 (16:39 +0200)]
tweak

2 years agoPointers and Bytes
Ralf Jung [Tue, 24 Jul 2018 14:36:02 +0000 (16:36 +0200)]
Pointers and Bytes

2 years agotypo
Ralf Jung [Tue, 24 Jul 2018 14:34:29 +0000 (16:34 +0200)]
typo

2 years agomore information on determinism of CTFE
Ralf Jung [Fri, 20 Jul 2018 07:05:58 +0000 (09:05 +0200)]
more information on determinism of CTFE

2 years agoclarify relation of CTFE correctness and const safety
Ralf Jung [Thu, 19 Jul 2018 20:37:57 +0000 (22:37 +0200)]
clarify relation of CTFE correctness and const safety

2 years agoclarify a bit the I/O story
Ralf Jung [Thu, 19 Jul 2018 20:05:51 +0000 (22:05 +0200)]
clarify a bit the I/O story

2 years agothank centril
Ralf Jung [Thu, 19 Jul 2018 18:44:54 +0000 (20:44 +0200)]
thank centril