Rust 2019

fix installation command

add forum link

advertise Miri a bit more

add latest stacked borrows updates

update Stacked Borrows post to (almost) current model

Google claims phone numbers are optional when they are not

fix a bug, link to new post

remove a probably confusing remark

tracking on the web

Google Scholar Considered Harmful

calrify unfreeze-on-write

add research statement

workshop talks are not publications

the journal paper is no longer a preprint

the ground-up paper got published

add lang attributes

typo

update for raw deref and box changes

fix tracking generated HTML files

track HTML changes in git

more explicit types

tweak thanks

add forum link

finalize and publish post

say immutable instead of read-only

feedback from Niko

more disucssion of retag redundancy check

adapt to new redundant-reborrow rule

recursive descend will come later

intra-document links

Show first example in annotated form early

First draft of stacked borows impl post

fix CategoryFilter

clarify retagging onm fn enter

the order matters

clarify what happens when memory gets deallocated

change terminology: activate -> reactivate

fix checking Mut access on frozen location

add twinsem paper

only must

clarify validity for prtially initialized local variables

clarify boundary

expand post title

tweak the slogan

discuss empty types

add forum link

post on invariants

show full post in RSS feed

do not exclude unsized types

typo

fix link

typo

typo

fix rustdoc links to point to stable docs

add forum link and fix othre links

Stacked Borrows

box calling Box::into_raw; add some rustdoc links

fix typo

even more https

more https

typo

show pointer as Rust struct

link to miri pointer def.n

avoid UB by using + instead of array indexing

Thanks gnzlbg

more academic pointers

add Coq typeclass index problem draft

clarify that what miri does not not a reasonable choice for language semantics

add a link to the edit history of a post

clarify extra-hidden-state-in-memory

blog: Assume we will never have a non-empty baseurl

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

const: clarify and typo

clarify

C is not portable assembly

typo

remove a footnote again

typo

clarify the problem in the last section

more on pointers in integer variables

clarify abstract nature of pointers

link to compcert

add thanks

forum link

tweak

Pointers and Bytes

typo

more information on determinism of CTFE

clarify relation of CTFE correctness and const safety

clarify a bit the I/O story

thank centril

clarify conflusion

notation

link to forum

post on CTFE

improve old blog post title

link to Servo's copy of the same code

avoid 'read reads'

fix Arc issue description

fix typos

extend footnote