projects
/
web.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
add newer version of uninit example
13 days ago
Ralf Jung
add newer version of uninit example
commit
|
commitdiff
|
tree
2024-10-15
Ralf Jung
add link to department website
commit
|
commitdiff
|
tree
2024-10-08
Ralf Jung
fix an old typo and remove a reduntant clause
commit
|
commitdiff
|
tree
2024-10-02
Ralf Jung
move perennial paper to consistent location
commit
|
commitdiff
|
tree
2024-10-02
Ralf Jung
twinsem paper: directly link to current location
commit
|
commitdiff
|
tree
2024-10-02
Ralf Jung
move twinsem paper to new folder
commit
|
commitdiff
|
tree
2024-10-02
Ralf Jung
add OOPSLA paper
commit
|
commitdiff
|
tree
2024-08-30
Ralf Jung
add note regarding unsafe blocks and place expressions
commit
|
commitdiff
|
tree
2024-08-22
Ralf Jung
clarify how 'let _' relates to the grammar above
commit
|
commitdiff
|
tree
2024-08-16
Ralf Jung
add link to stabilization PR and explain why the code...
commit
|
commitdiff
|
tree
2024-08-15
Ralf Jung
reference lvalues/rvalues; fix a typo
commit
|
commitdiff
|
tree
2024-08-14
Ralf Jung
add Reddit link
commit
|
commitdiff
|
tree
2024-08-14
Ralf Jung
add post about place expressions
commit
|
commitdiff
|
tree
2024-07-02
Ralf Jung
add RefinedRust paper
commit
|
commitdiff
|
tree
2024-07-02
Ralf Jung
Pointers Are Complicated: fix typo
commit
|
commitdiff
|
tree
2024-05-29
Ralf Jung
update CV, remove old research statement
commit
|
commitdiff
|
tree
2024-05-22
Ralf Jung
Tree Borrows post: fix link
commit
|
commitdiff
|
tree
2024-04-15
Ralf Jung
link to sloonz's script
commit
|
commitdiff
|
tree
2024-04-15
Ralf Jung
wording
commit
|
commitdiff
|
tree
2024-04-15
Ralf Jung
link to flatseal
commit
|
commitdiff
|
tree
2024-04-14
Ralf Jung
mention cargo-script
commit
|
commitdiff
|
tree
2024-04-14
Ralf Jung
add bubblebox and blog about it
commit
|
commitdiff
|
tree
2024-04-14
Ralf Jung
projects: sort alphabetically
commit
|
commitdiff
|
tree
2024-03-21
Ralf Jung
update website
commit
|
commitdiff
|
tree
2024-03-11
Ralf Jung
contact: use my ETH email address
commit
|
commitdiff
|
tree
2024-01-07
Ralf Jung
dont show the full post on the overview page
commit
|
commitdiff
|
tree
2024-01-07
Ralf Jung
mention the first OSPB as well
commit
|
commitdiff
|
tree
2023-12-27
Ralf Jung
add Google OSPB post
commit
|
commitdiff
|
tree
2023-11-22
Ralf Jung
link to group website
commit
|
commitdiff
|
tree
2023-11-22
Ralf Jung
add Grove
commit
|
commitdiff
|
tree
2023-09-29
Ralf Jung
further tweak image
commit
|
commitdiff
|
tree
2023-09-29
Ralf Jung
tweak image behavior on small screens
commit
|
commitdiff
|
tree
2023-09-29
Ralf Jung
experiment with a high-res version of the image
commit
|
commitdiff
|
tree
2023-09-29
Ralf Jung
update picture
commit
|
commitdiff
|
tree
2023-06-13
Ralf Jung
link to talk recording
commit
|
commitdiff
|
tree
2023-06-08
Ralf Jung
add vMVCC paper
commit
|
commitdiff
|
tree
2023-06-03
Ralf Jung
add link to more background on UnsafeCell
commit
|
commitdiff
|
tree
2023-06-02
Ralf Jung
add another link to Neven's material at the end
commit
|
commitdiff
|
tree
2023-06-02
Ralf Jung
footnote on the immuability point
commit
|
commitdiff
|
tree
2023-06-02
Ralf Jung
clarification
commit
|
commitdiff
|
tree
2023-06-02
Ralf Jung
add reddit link
commit
|
commitdiff
|
tree
2023-06-02
Ralf Jung
publish Tree Borrows post
commit
|
commitdiff
|
tree
2023-05-31
Ralf Jung
tree borrows editing
commit
|
commitdiff
|
tree
2023-05-31
Ralf Jung
add draft on Tree Borrows
commit
|
commitdiff
|
tree
2023-02-13
Ralf Jung
pseudo Rust has been renamed to specr lang
commit
|
commitdiff
|
tree
2023-01-25
Ralf Jung
update office room number
commit
|
commitdiff
|
tree
2023-01-02
Ralf Jung
disable position ad
commit
|
commitdiff
|
tree
2022-11-18
Ralf Jung
also mention application deadline for direct doctorate
commit
|
commitdiff
|
tree
2022-11-18
Ralf Jung
mention the direct doctorate program
commit
|
commitdiff
|
tree
2022-11-17
Ralf Jung
update student ad to match email
commit
|
commitdiff
|
tree
2022-11-17
Ralf Jung
update uninit example so that it still works in current...
commit
|
commitdiff
|
tree
2022-11-16
Ralf Jung
clarify phd dates
commit
|
commitdiff
|
tree
2022-11-02
Ralf Jung
fix address
commit
|
commitdiff
|
tree
2022-11-02
Ralf Jung
update my adress and phone number
commit
|
commitdiff
|
tree
2022-10-12
Ralf Jung
intrustive collections: add caveat about by-ref iteration
commit
|
commitdiff
|
tree
2022-10-07
Ralf Jung
syntax
commit
|
commitdiff
|
tree
2022-10-07
Ralf Jung
but still make it bold
commit
|
commitdiff
|
tree
2022-10-07
Ralf Jung
no need to still make this red
commit
|
commitdiff
|
tree
2022-10-06
Ralf Jung
add 'programming' category
commit
|
commitdiff
|
tree
2022-10-06
Ralf Jung
fix path
commit
|
commitdiff
|
tree
2022-10-06
Ralf Jung
add later credits
commit
|
commitdiff
|
tree
2022-09-26
Ralf Jung
'read' is not covered yet (needs a PR to land)
commit
|
commitdiff
|
tree
2022-09-26
Ralf Jung
cargo-careful needs nightly
commit
|
commitdiff
|
tree
2022-09-26
Ralf Jung
advertise that I am looking for students :D
commit
|
commitdiff
|
tree
2022-09-26
Ralf Jung
fix typo
commit
|
commitdiff
|
tree
2022-09-26
Ralf Jung
add reddit link
commit
|
commitdiff
|
tree
2022-09-26
Ralf Jung
fix the title *oops*
commit
|
commitdiff
|
tree
2022-09-26
Ralf Jung
add cargo-careful blog post
commit
|
commitdiff
|
tree
2022-09-14
Ralf Jung
tweak the update
commit
|
commitdiff
|
tree
2022-09-14
Ralf Jung
add update on the current state on ptr2int transmutation
commit
|
commitdiff
|
tree
2022-08-16
Ralf Jung
fix link
commit
|
commitdiff
|
tree
2022-08-16
Ralf Jung
announce my ETH position :-))
commit
|
commitdiff
|
tree
2022-08-13
Ralf Jung
wording
commit
|
commitdiff
|
tree
2022-08-13
Ralf Jung
nod to Rust readers
commit
|
commitdiff
|
tree
2022-08-08
Ralf Jung
a note on the name
commit
|
commitdiff
|
tree
2022-08-08
Ralf Jung
the Cool Bear can be on this blog :)
commit
|
commitdiff
|
tree
2022-08-08
Ralf Jung
shout out more people
commit
|
commitdiff
|
tree
2022-08-08
Ralf Jung
cool bear makes their own choices
commit
|
commitdiff
|
tree
2022-08-08
Ralf Jung
credit where credit is due
commit
|
commitdiff
|
tree
2022-08-08
Ralf Jung
add link to reddit
commit
|
commitdiff
|
tree
2022-08-08
Ralf Jung
minirust post
commit
|
commitdiff
|
tree
2022-07-04
Ralf Jung
specify a bit more which shims we can reasonably support
commit
|
commitdiff
|
tree
2022-07-03
Ralf Jung
typo
commit
|
commitdiff
|
tree
2022-07-03
Ralf Jung
I am no longer on the job market
commit
|
commitdiff
|
tree
2022-07-03
Ralf Jung
research page moved to new location
commit
|
commitdiff
|
tree
2022-07-02
Ralf Jung
add link to reddit (and a tweak)
commit
|
commitdiff
|
tree
2022-07-02
Ralf Jung
add Miri update blog post
commit
|
commitdiff
|
tree
2022-06-19
Ralf Jung
more https
commit
|
commitdiff
|
tree
2022-05-25
Ralf Jung
note on integer-pointer transmutation
commit
|
commitdiff
|
tree
2022-05-13
Ralf Jung
remove Jabber ID from website
commit
|
commitdiff
|
tree
2022-05-03
Ralf Jung
make it clear that this is an RSS feed
commit
|
commitdiff
|
tree
2022-04-13
Ralf Jung
update PNVI-ae-udi paper URL
commit
|
commitdiff
|
tree
2022-04-13
Ralf Jung
fix a typo
commit
|
commitdiff
|
tree
2022-04-12
Ralf Jung
tweak wording
commit
|
commitdiff
|
tree
2022-04-12
Ralf Jung
tweaks
commit
|
commitdiff
|
tree
2022-04-12
Ralf Jung
credit where credit is due
commit
|
commitdiff
|
tree
2022-04-11
Ralf Jung
more on 'udi' and angelic non-determinism; make some...
commit
|
commitdiff
|
tree
2022-04-11
Ralf Jung
add some comments to code snippets
commit
|
commitdiff
|
tree
2022-04-11
Ralf Jung
fix code snippet
commit
|
commitdiff
|
tree
2022-04-11
Ralf Jung
link to new LLVM bugtracker
commit
|
commitdiff
|
tree
next