projects
/
web.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
no need to still make this red
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
2022-04-11
Ralf Jung
more precision around restrict
commit
|
commitdiff
|
tree
2022-04-11
Ralf Jung
clarify assumption
commit
|
commitdiff
|
tree
2022-04-11
Ralf Jung
apply some feedback
commit
|
commitdiff
|
tree
2022-04-11
Ralf Jung
add reddit link
commit
|
commitdiff
|
tree
2022-04-11
Ralf Jung
add exposure blog post
commit
|
commitdiff
|
tree
2022-04-10
Ralf Jung
this seems to be a better approximation of my room...
commit
|
commitdiff
|
tree
2022-03-10
Ralf Jung
dont singe those poor integers
commit
|
commitdiff
|
tree
2022-01-20
Ralf Jung
Simuliris paper award
commit
|
commitdiff
|
tree
2021-12-20
Ralf Jung
add Simuliris paper
commit
|
commitdiff
|
tree
2021-11-25
Ralf Jung
link to reddit for ub-good-idea
commit
|
commitdiff
|
tree
2021-11-25
Ralf Jung
blog post on why we cannot do without UB
commit
|
commitdiff
|
tree
2021-11-19
Ralf Jung
tweak landing page
commit
|
commitdiff
|
tree
2021-11-19
Ralf Jung
add empty robots.txt (for fewer 404s)
commit
|
commitdiff
|
tree
2021-11-18
Ralf Jung
publish UB blog post
commit
|
commitdiff
|
tree
2021-11-15
Ralf Jung
update CV and research statement
commit
|
commitdiff
|
tree
2021-11-12
Ralf Jung
add draft of UB post
commit
|
commitdiff
|
tree
2021-11-08
Ralf Jung
update CV and research statement
commit
|
commitdiff
|
tree
2021-10-27
Ralf Jung
mention Derek
commit
|
commitdiff
|
tree
2021-10-26
Ralf Jung
add Eduard Martin Preis
commit
|
commitdiff
|
tree
2021-10-26
Ralf Jung
give some room number
commit
|
commitdiff
|
tree
2021-10-07
Ralf Jung
update research website
commit
|
commitdiff
|
tree
2021-09-16
Ralf Jung
be less redundant about the year of my thesis
commit
|
commitdiff
|
tree
2021-09-16
Ralf Jung
add SIGPLAN award
commit
|
commitdiff
|
tree
2021-09-16
Ralf Jung
get rid of MPI-SWS imprint
commit
|
commitdiff
|
tree
2021-09-16
Ralf Jung
fix ralfj.de redirects
commit
|
commitdiff
|
tree
2021-09-16
Ralf Jung
remove old redirect file
commit
|
commitdiff
|
tree
2021-09-16
Ralf Jung
update my afiliation
commit
|
commitdiff
|
tree
2021-09-16
Ralf Jung
move research website to my server
commit
|
commitdiff
|
tree
2021-08-25
Ralf Jung
link to OSDI website
commit
|
commitdiff
|
tree
2021-07-14
Ralf Jung
the ACM news is out :)
commit
|
commitdiff
|
tree
2021-07-11
Ralf Jung
add GhostCell paper
commit
|
commitdiff
|
tree
2021-06-10
Ralf Jung
fix some typos
commit
|
commitdiff
|
tree
2021-06-10
Ralf Jung
add ghostcell podcast episode
commit
|
commitdiff
|
tree
2021-05-26
Ralf Jung
add GoJournal paper
commit
|
commitdiff
|
tree
2021-05-02
Ralf Jung
add Otto Hahn medal
commit
|
commitdiff
|
tree
2021-04-02
Ralf Jung
license some blog posts under CC BY-SA 4.0
commit
|
commitdiff
|
tree
2021-03-23
Ralf Jung
add CACM article to website
commit
|
commitdiff
|
tree
2021-03-23
Ralf Jung
add CACM article to blog
commit
|
commitdiff
|
tree
2021-03-18
Ralf Jung
fix a typo
commit
|
commitdiff
|
tree
2021-03-16
Ralf Jung
win -> receive
commit
|
commitdiff
|
tree
2021-03-11
Ralf Jung
add ETAPS award :)
commit
|
commitdiff
|
tree
2021-03-06
Ralf Jung
fix text
commit
|
commitdiff
|
tree
2021-03-06
Ralf Jung
uninit blog post: update example so it still works...
commit
|
commitdiff
|
tree
2021-01-25
Ralf Jung
uninit post: add forward link to provenance post
commit
|
commitdiff
|
tree
2021-01-15
Ralf Jung
fix typo
commit
|
commitdiff
|
tree
2020-12-15
Ralf Jung
fix typo and add post to research category
commit
|
commitdiff
|
tree
2020-12-14
Ralf Jung
better wording
commit
|
commitdiff
|
tree
2020-12-14
Ralf Jung
fix int->uintptr_t fallout
commit
|
commitdiff
|
tree
2020-12-14
Ralf Jung
replace int by uintptr_t
commit
|
commitdiff
|
tree
2020-12-14
Ralf Jung
add forum link
commit
|
commitdiff
|
tree
2020-12-14
Ralf Jung
final tweaks and publish Pointers are Complicated II
commit
|
commitdiff
|
tree
2020-12-10
Ralf Jung
minor tweaks
commit
|
commitdiff
|
tree
2020-12-09
Ralf Jung
less 'we'
commit
|
commitdiff
|
tree
2020-12-08
Ralf Jung
(hopefully) final tweaks
commit
|
commitdiff
|
tree
2020-12-08
Ralf Jung
update screen render of thesis
commit
|
commitdiff
|
tree
2020-12-07
Ralf Jung
give it a different spin
commit
|
commitdiff
|
tree
2020-12-07
Ralf Jung
first complete draft
commit
|
commitdiff
|
tree
next