projects
/
web.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
announce my ETH position :-))
[web.git]
/
ralf
/
_posts
/
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
2020-06-05
Ralf Jung
the Ruby syntax actually means something else
tree
|
commitdiff
2020-04-07
Ralf Jung
fix example
tree
|
commitdiff
2020-04-07
Ralf Jung
mention named opaque types
tree
|
commitdiff
2020-04-04
Ralf Jung
add forum URL
tree
|
commitdiff
2020-04-04
Ralf Jung
typo
tree
|
commitdiff
2020-04-04
Ralf Jung
add rustc_layout(debug) post
tree
|
commitdiff
2019-12-01
Ralf Jung
update panic blog post to my little refactorings of...
tree
|
commitdiff
2019-11-27
Ralf Jung
note that this is all unstable internal details
tree
|
commitdiff
2019-11-26
Ralf Jung
mention resume_panic entry point
tree
|
commitdiff
2019-11-26
Ralf Jung
also mention panic strategy
tree
|
commitdiff
2019-11-25
Ralf Jung
some more remarks
tree
|
commitdiff
2019-11-25
Ralf Jung
add forum link
tree
|
commitdiff
2019-11-25
Ralf Jung
tiny edits
tree
|
commitdiff
2019-11-25
Ralf Jung
new post on panics
tree
|
commitdiff
2019-11-21
Ralf Jung
typo
tree
|
commitdiff
2019-11-19
Ralf Jung
add reddit link
tree
|
commitdiff
2019-11-19
Ralf Jung
typo
tree
|
commitdiff
2019-11-18
Ralf Jung
Stacked Borrows blog post
tree
|
commitdiff
2019-10-20
Ralf Jung
cross-post linking to SIGPLAN Rust post
tree
|
commitdiff
2019-07-17
Ralf Jung
link to paper that also mentions this (but does not...
tree
|
commitdiff
2019-07-16
Ralf Jung
clarify
tree
|
commitdiff
2019-07-16
Ralf Jung
wording
tree
|
commitdiff
2019-07-15
Ralf Jung
add post to research category
tree
|
commitdiff
2019-07-15
Ralf Jung
link to my UB post
tree
|
commitdiff
2019-07-15
Ralf Jung
tweaks
tree
|
commitdiff
2019-07-15
Ralf Jung
paragraph on why abstract machine > set of optimizations
tree
|
commitdiff
2019-07-15
Ralf Jung
link to LLVM doc; mention bitfields
tree
|
commitdiff
2019-07-15
Ralf Jung
be more explicit about the abstract machine earlier
tree
|
commitdiff
2019-07-15
Ralf Jung
mention abstract machine earlier
tree
|
commitdiff
2019-07-15
Ralf Jung
stronger exclusion of UB-ful programs
tree
|
commitdiff
2019-07-15
Ralf Jung
fix typo
tree
|
commitdiff
2019-07-15
Ralf Jung
mention valgrind connection
tree
|
commitdiff
2019-07-15
Ralf Jung
more precise about what the HW does
tree
|
commitdiff
2019-07-15
Ralf Jung
it's also Ruby syntax
tree
|
commitdiff
2019-07-15
Ralf Jung
mention the sparse uninit vec trick
tree
|
commitdiff
2019-07-15
Ralf Jung
explain Rust range syntax
tree
|
commitdiff
next