avoid vague 'reasonably', mention memory corruption

link to another website saying Go is memory-safe

mention int2ptr cast and multi-word atomics

make tradeoff point more clear

better reddit link

link more directly to anecdotal evidence (albeit with less context)

java-safe wording

link to dtolnay's discussion of the issue

mention proving

mention Go concurrency expectations

mention 'strict concurrency'

add memory-safety post

shrink footnotes

update video link

retitle MiniRust blog post

fix typo

add TB paper and blog post

no point in trying to list all workshop talks...

add MiniRust talk

remove expored GPG key reference from website

we're looking for a post-doc now

wording tweaks

use the most recent post as the 'updated' time for the feed

fix formatting in old blog post

fix typo and add link to talk

try to make the wording less confusing

add itree-program-logic paper

my server does not have mailman any more

fix formatting

add hiring note

avoid trailing / in <link> tag

add alt text and fix html

update html

fix html

personal website: delete stale files

research: delete 'other' files

add camera-ready version of itree-program-logic paper

add Rustlantis post

add newer version of uninit example

add link to department website

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)