web.git
3 years agoclarify retagging onm fn enter
Ralf Jung [Mon, 15 Oct 2018 16:28:15 +0000 (18:28 +0200)]
clarify retagging onm fn enter

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

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

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

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

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

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

3 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

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

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

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

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

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

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

3 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

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

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

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

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

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

3 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

3 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

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

3 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

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

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

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

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

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

3 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

3 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

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

3 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

3 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

3 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

3 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

3 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

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

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

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

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

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

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

3 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

3 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

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

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

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

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

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

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

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

3 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

3 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

3 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

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

3 years agoclarify conflusion
Ralf Jung [Thu, 19 Jul 2018 18:41:06 +0000 (20:41 +0200)]
clarify conflusion

3 years agonotation
Ralf Jung [Thu, 19 Jul 2018 17:09:50 +0000 (19:09 +0200)]
notation

3 years agolink to forum
Ralf Jung [Thu, 19 Jul 2018 16:17:14 +0000 (18:17 +0200)]
link to forum

3 years agopost on CTFE
Ralf Jung [Thu, 19 Jul 2018 16:11:02 +0000 (18:11 +0200)]
post on CTFE

3 years agoimprove old blog post title
Ralf Jung [Tue, 17 Jul 2018 18:36:16 +0000 (20:36 +0200)]
improve old blog post title

3 years agolink to Servo's copy of the same code
Ralf Jung [Mon, 16 Jul 2018 13:34:54 +0000 (15:34 +0200)]
link to Servo's copy of the same code

3 years agoavoid 'read reads'
Ralf Jung [Mon, 16 Jul 2018 08:47:27 +0000 (10:47 +0200)]
avoid 'read reads'

3 years agofix Arc issue description
Ralf Jung [Fri, 13 Jul 2018 21:47:40 +0000 (23:47 +0200)]
fix Arc issue description

3 years agofix typos
Ralf Jung [Fri, 13 Jul 2018 17:49:34 +0000 (19:49 +0200)]
fix typos

3 years agoextend footnote
Ralf Jung [Fri, 13 Jul 2018 16:25:42 +0000 (18:25 +0200)]
extend footnote

3 years agoadd reddit URL, fix typo
Ralf Jung [Fri, 13 Jul 2018 15:21:38 +0000 (17:21 +0200)]
add reddit URL, fix typo

3 years agonew post on Arc bug
Ralf Jung [Fri, 13 Jul 2018 15:19:49 +0000 (17:19 +0200)]
new post on Arc bug

3 years agoblog post: back at mozilla
Ralf Jung [Wed, 11 Jul 2018 10:42:06 +0000 (12:42 +0200)]
blog post: back at mozilla

3 years agoadd MoSeL paper
Ralf Jung [Sun, 8 Jul 2018 13:23:04 +0000 (15:23 +0200)]
add MoSeL paper

3 years agoprettify iptables rules
Ralf Jung [Sat, 16 Jun 2018 20:13:21 +0000 (22:13 +0200)]
prettify iptables rules

3 years agodescribe my mailman CAPTCHA
Ralf Jung [Sun, 10 Jun 2018 17:30:21 +0000 (19:30 +0200)]
describe my mailman CAPTCHA

3 years agomore consistent update notes
Ralf Jung [Sun, 3 Jun 2018 08:43:17 +0000 (10:43 +0200)]
more consistent update notes

3 years agoactually Mailan 2.1.26 supports reCAPTCHA
Ralf Jung [Sun, 3 Jun 2018 08:43:05 +0000 (10:43 +0200)]
actually Mailan 2.1.26 supports reCAPTCHA

3 years agoadd post on mailman subscritpion spam
Ralf Jung [Sat, 2 Jun 2018 18:19:55 +0000 (20:19 +0200)]
add post on mailman subscritpion spam

3 years agoNew post about the inverse contact sync cloud
Ralf Jung [Mon, 28 May 2018 16:13:40 +0000 (18:13 +0200)]
New post about the inverse contact sync cloud

3 years agofix black bar to the left of the small-screen view
Ralf Jung [Wed, 23 May 2018 12:23:42 +0000 (14:23 +0200)]
fix black bar to the left of the small-screen view

3 years agoadd MPI-SWS imrpint links
Ralf Jung [Wed, 23 May 2018 12:20:48 +0000 (14:20 +0200)]
add MPI-SWS imrpint links

3 years agolink to ansible
Ralf Jung [Fri, 11 May 2018 11:29:34 +0000 (13:29 +0200)]
link to ansible

3 years agoupdate links in LEtiny post
Ralf Jung [Thu, 10 May 2018 23:11:13 +0000 (01:11 +0200)]
update links in LEtiny post

also update upload script

3 years agoimpl !Unpin
Ralf Jung [Tue, 17 Apr 2018 08:00:28 +0000 (10:00 +0200)]
impl !Unpin

3 years agoclarify &&T = &Pin<T>
Ralf Jung [Sun, 15 Apr 2018 10:17:06 +0000 (12:17 +0200)]
clarify &&T = &Pin<T>

3 years agofutures 0.2 doesnt seem to be as stable as I thought
Ralf Jung [Wed, 11 Apr 2018 17:15:05 +0000 (19:15 +0200)]
futures 0.2 doesnt seem to be as stable as I thought

3 years agoupdate the update
Ralf Jung [Wed, 11 Apr 2018 08:55:09 +0000 (10:55 +0200)]
update the update

3 years agofix some typos
Ralf Jung [Tue, 10 Apr 2018 17:24:35 +0000 (19:24 +0200)]
fix some typos

3 years agoaddendum re: interior mutability and pinning
Ralf Jung [Tue, 10 Apr 2018 15:12:19 +0000 (17:12 +0200)]
addendum re: interior mutability and pinning

3 years agoadd link to forum; tweak intro
Ralf Jung [Tue, 10 Apr 2018 12:12:28 +0000 (14:12 +0200)]
add link to forum; tweak intro

3 years agotweak intrusive collection post some more and publish it
Ralf Jung [Tue, 10 Apr 2018 11:56:24 +0000 (13:56 +0200)]
tweak intrusive collection post some more and publish it

3 years agopinning post: tweak wording
Ralf Jung [Tue, 10 Apr 2018 11:27:53 +0000 (13:27 +0200)]
pinning post: tweak wording

3 years agotweak style
Ralf Jung [Tue, 10 Apr 2018 11:27:41 +0000 (13:27 +0200)]
tweak style

3 years agoserious revision of the intrusive collections post
Ralf Jung [Tue, 10 Apr 2018 11:27:30 +0000 (13:27 +0200)]
serious revision of the intrusive collections post

3 years agosafe intrusive collections with pinning: first draft
Ralf Jung [Mon, 9 Apr 2018 20:38:33 +0000 (22:38 +0200)]
safe intrusive collections with pinning: first draft

3 years agodon't use Option<NonNull> in the example code
Ralf Jung [Mon, 9 Apr 2018 12:46:12 +0000 (14:46 +0200)]
don't use Option<NonNull> in the example code

3 years agorestructure pinning post a bit
Ralf Jung [Mon, 9 Apr 2018 12:11:48 +0000 (14:11 +0200)]
restructure pinning post a bit

3 years agoclarify changed init signature
Ralf Jung [Fri, 6 Apr 2018 11:13:33 +0000 (13:13 +0200)]
clarify changed init signature

3 years agono multi-defn boxes
Ralf Jung [Fri, 6 Apr 2018 11:09:55 +0000 (13:09 +0200)]
no multi-defn boxes

3 years agoCSS: no background color when printing
Ralf Jung [Fri, 6 Apr 2018 11:09:47 +0000 (13:09 +0200)]
CSS: no background color when printing

3 years agoexplicit ownership: points_to_owned
Ralf Jung [Thu, 5 Apr 2018 15:41:24 +0000 (17:41 +0200)]
explicit ownership: points_to_owned

3 years agomem_own -> points_to
Ralf Jung [Thu, 5 Apr 2018 15:36:17 +0000 (17:36 +0200)]
mem_own -> points_to

3 years agoadd forum link
Ralf Jung [Thu, 5 Apr 2018 14:04:19 +0000 (16:04 +0200)]
add forum link