projects
/
web.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
twinsem paper: directly link to current location
[web.git]
/
personal
/
_posts
/
2024-08-30
Ralf Jung
add note regarding unsafe blocks and place expressions
tree
|
commitdiff
2024-08-22
Ralf Jung
clarify how 'let _' relates to the grammar above
tree
|
commitdiff
2024-08-16
Ralf Jung
add link to stabilization PR and explain why the code...
tree
|
commitdiff
2024-08-15
Ralf Jung
reference lvalues/rvalues; fix a typo
tree
|
commitdiff
2024-08-14
Ralf Jung
add Reddit link
tree
|
commitdiff
2024-08-14
Ralf Jung
add post about place expressions
tree
|
commitdiff
2024-07-02
Ralf Jung
Pointers Are Complicated: fix typo
tree
|
commitdiff
2024-05-22
Ralf Jung
Tree Borrows post: fix link
tree
|
commitdiff
2024-04-15
Ralf Jung
link to sloonz's script
tree
|
commitdiff
2024-04-15
Ralf Jung
wording
tree
|
commitdiff
2024-04-15
Ralf Jung
link to flatseal
tree
|
commitdiff
2024-04-14
Ralf Jung
mention cargo-script
tree
|
commitdiff
2024-04-14
Ralf Jung
add bubblebox and blog about it
tree
|
commitdiff
2024-01-07
Ralf Jung
dont show the full post on the overview page
tree
|
commitdiff
2024-01-07
Ralf Jung
mention the first OSPB as well
tree
|
commitdiff
2023-12-27
Ralf Jung
add Google OSPB post
tree
|
commitdiff
2023-06-13
Ralf Jung
link to talk recording
tree
|
commitdiff
2023-06-03
Ralf Jung
add link to more background on UnsafeCell
tree
|
commitdiff
2023-06-02
Ralf Jung
add another link to Neven's material at the end
tree
|
commitdiff
2023-06-02
Ralf Jung
footnote on the immuability point
tree
|
commitdiff
2023-06-02
Ralf Jung
clarification
tree
|
commitdiff
2023-06-02
Ralf Jung
add reddit link
tree
|
commitdiff
2023-06-02
Ralf Jung
publish Tree Borrows post
tree
|
commitdiff
2023-02-13
Ralf Jung
pseudo Rust has been renamed to specr lang
tree
|
commitdiff
2022-11-17
Ralf Jung
update uninit example so that it still works in current...
tree
|
commitdiff
2022-10-12
Ralf Jung
intrustive collections: add caveat about by-ref iteration
tree
|
commitdiff
2022-10-06
Ralf Jung
add 'programming' category
tree
|
commitdiff
2022-09-26
Ralf Jung
'read' is not covered yet (needs a PR to land)
tree
|
commitdiff
2022-09-26
Ralf Jung
cargo-careful needs nightly
tree
|
commitdiff
2022-09-26
Ralf Jung
advertise that I am looking for students :D
tree
|
commitdiff
2022-09-26
Ralf Jung
fix typo
tree
|
commitdiff
2022-09-26
Ralf Jung
add reddit link
tree
|
commitdiff
2022-09-26
Ralf Jung
fix the title *oops*
tree
|
commitdiff
2022-09-26
Ralf Jung
add cargo-careful blog post
tree
|
commitdiff
2022-09-14
Ralf Jung
tweak the update
tree
|
commitdiff
2022-09-14
Ralf Jung
add update on the current state on ptr2int transmutation
tree
|
commitdiff
2022-08-16
Ralf Jung
announce my ETH position :-))
tree
|
commitdiff
2022-08-13
Ralf Jung
wording
tree
|
commitdiff
2022-08-13
Ralf Jung
nod to Rust readers
tree
|
commitdiff
2022-08-08
Ralf Jung
a note on the name
tree
|
commitdiff
2022-08-08
Ralf Jung
the Cool Bear can be on this blog :)
tree
|
commitdiff
2022-08-08
Ralf Jung
shout out more people
tree
|
commitdiff
2022-08-08
Ralf Jung
cool bear makes their own choices
tree
|
commitdiff
2022-08-08
Ralf Jung
credit where credit is due
tree
|
commitdiff
2022-08-08
Ralf Jung
add link to reddit
tree
|
commitdiff
2022-08-08
Ralf Jung
minirust post
tree
|
commitdiff
2022-07-04
Ralf Jung
specify a bit more which shims we can reasonably support
tree
|
commitdiff
2022-07-03
Ralf Jung
typo
tree
|
commitdiff
2022-07-02
Ralf Jung
add link to reddit (and a tweak)
tree
|
commitdiff
2022-07-02
Ralf Jung
add Miri update blog post
tree
|
commitdiff
2022-05-25
Ralf Jung
note on integer-pointer transmutation
tree
|
commitdiff
2022-04-13
Ralf Jung
update PNVI-ae-udi paper URL
tree
|
commitdiff
2022-04-13
Ralf Jung
fix a typo
tree
|
commitdiff
2022-04-12
Ralf Jung
tweak wording
tree
|
commitdiff
2022-04-12
Ralf Jung
tweaks
tree
|
commitdiff
2022-04-12
Ralf Jung
credit where credit is due
tree
|
commitdiff
2022-04-11
Ralf Jung
more on 'udi' and angelic non-determinism; make some...
tree
|
commitdiff
2022-04-11
Ralf Jung
add some comments to code snippets
tree
|
commitdiff
2022-04-11
Ralf Jung
fix code snippet
tree
|
commitdiff
2022-04-11
Ralf Jung
link to new LLVM bugtracker
tree
|
commitdiff
2022-04-11
Ralf Jung
more precision around restrict
tree
|
commitdiff
2022-04-11
Ralf Jung
clarify assumption
tree
|
commitdiff
2022-04-11
Ralf Jung
apply some feedback
tree
|
commitdiff
2022-04-11
Ralf Jung
add reddit link
tree
|
commitdiff
2022-04-11
Ralf Jung
add exposure blog post
tree
|
commitdiff
2022-03-10
Ralf Jung
dont singe those poor integers
tree
|
commitdiff
2021-11-25
Ralf Jung
link to reddit for ub-good-idea
tree
|
commitdiff
2021-11-25
Ralf Jung
blog post on why we cannot do without UB
tree
|
commitdiff
2021-11-18
Ralf Jung
publish UB blog post
tree
|
commitdiff
2021-06-10
Ralf Jung
fix some typos
tree
|
commitdiff
2021-06-10
Ralf Jung
add ghostcell podcast episode
tree
|
commitdiff
2021-04-02
Ralf Jung
license some blog posts under CC BY-SA 4.0
tree
|
commitdiff
2021-03-23
Ralf Jung
add CACM article to blog
tree
|
commitdiff
2021-03-18
Ralf Jung
fix a typo
tree
|
commitdiff
2021-03-06
Ralf Jung
fix text
tree
|
commitdiff
2021-03-06
Ralf Jung
uninit blog post: update example so it still works...
tree
|
commitdiff
2021-01-25
Ralf Jung
uninit post: add forward link to provenance post
tree
|
commitdiff
2020-12-15
Ralf Jung
fix typo and add post to research category
tree
|
commitdiff
2020-12-14
Ralf Jung
better wording
tree
|
commitdiff
2020-12-14
Ralf Jung
fix int->uintptr_t fallout
tree
|
commitdiff
2020-12-14
Ralf Jung
replace int by uintptr_t
tree
|
commitdiff
2020-12-14
Ralf Jung
add forum link
tree
|
commitdiff
2020-12-14
Ralf Jung
final tweaks and publish Pointers are Complicated II
tree
|
commitdiff
2020-09-29
Ralf Jung
better wording
tree
|
commitdiff
2020-09-29
Ralf Jung
pointers are complicated: clarify that this post is...
tree
|
commitdiff
2020-09-28
Ralf Jung
add Reddit link
tree
|
commitdiff
2020-09-28
Ralf Jung
show a bit elss text on the index
tree
|
commitdiff
2020-09-28
Ralf Jung
add Miri blog post
tree
|
commitdiff
2020-09-03
Ralf Jung
add phd thesis post
tree
|
commitdiff
2020-08-29
Ralf Jung
mention upstreaming of my mailman patch
tree
|
commitdiff
2020-07-28
Ralf Jung
explain why invalid bool is truly arbitrary UB
tree
|
commitdiff
2020-07-24
Ralf Jung
link to some of the guidelines I was sent
tree
|
commitdiff
2020-07-24
Ralf Jung
add Outlook.com rant
tree
|
commitdiff
2020-07-23
Ralf Jung
fix typo (thanks to Lonami)
tree
|
commitdiff
2020-07-16
Ralf Jung
mention speculative execution
tree
|
commitdiff
2020-07-16
Ralf Jung
add missing semicolon
tree
|
commitdiff
2020-07-15
Ralf Jung
fix link
tree
|
commitdiff
2020-07-15
Ralf Jung
link to 'two kinds of invariants'
tree
|
commitdiff
2020-07-15
Ralf Jung
add forum link
tree
|
commitdiff
2020-07-15
Ralf Jung
finish and publish unused-data post
tree
|
commitdiff
next