fix an old typo and remove a reduntant clause

move perennial paper to consistent location

twinsem paper: directly link to current location

move twinsem paper to new folder

add OOPSLA paper

add note regarding unsafe blocks and place expressions

clarify how 'let _' relates to the grammar above

add link to stabilization PR and explain why the code has UB

reference lvalues/rvalues; fix a typo

add Reddit link

add post about place expressions

add RefinedRust paper

Pointers Are Complicated: fix typo

update CV, remove old research statement

Tree Borrows post: fix link

link to sloonz's script

wording

link to flatseal

mention cargo-script

add bubblebox and blog about it

projects: sort alphabetically

update website

contact: use my ETH email address

dont show the full post on the overview page

mention the first OSPB as well

add Google OSPB post

link to group website

add Grove

further tweak image

tweak image behavior on small screens

experiment with a high-res version of the image

update picture

link to talk recording

add vMVCC paper

add link to more background on UnsafeCell

add another link to Neven's material at the end

footnote on the immuability point

clarification

add reddit link

publish Tree Borrows post

tree borrows editing

add draft on Tree Borrows

pseudo Rust has been renamed to specr lang

update office room number

disable position ad

also mention application deadline for direct doctorate

mention the direct doctorate program

update student ad to match email

update uninit example so that it still works in current Rust

clarify phd dates

fix address

update my adress and phone number

intrustive collections: add caveat about by-ref iteration

syntax

but still make it bold

no need to still make this red

add 'programming' category

fix path

add later credits

'read' is not covered yet (needs a PR to land)

cargo-careful needs nightly

advertise that I am looking for students :D

fix typo

add reddit link

fix the title *oops*

add cargo-careful blog post

tweak the update

add update on the current state on ptr2int transmutation

fix link

announce my ETH position :-))

wording

nod to Rust readers

a note on the name

the Cool Bear can be on this blog :)

shout out more people

cool bear makes their own choices

credit where credit is due

add link to reddit

minirust post

specify a bit more which shims we can reasonably support

typo

I am no longer on the job market

research page moved to new location

add link to reddit (and a tweak)

add Miri update blog post

more https

note on integer-pointer transmutation

remove Jabber ID from website

make it clear that this is an RSS feed

update PNVI-ae-udi paper URL

fix a typo

tweak wording

tweaks

credit where credit is due

more on 'udi' and angelic non-determinism; make some sentences less long

add some comments to code snippets

fix code snippet

link to new LLVM bugtracker

more precision around restrict

clarify assumption