projects
/
web.git
/ summary
commit
grep
author
committer
pickaxe
?
search:
re
summary |
shortlog
|
log
|
commit
|
commitdiff
|
tree
description
sources for my website
owner
Ralf Jung
last change
Mon, 11 Mar 2024 07:20:02 +0000
(08:20 +0100)
URL
https://git.ralfj.de/web.git
shortlog
8 days ago
Ralf Jung
contact: use my ETH email address
master
commit
|
commitdiff
|
tree
|
snapshot
2024-01-07
Ralf Jung
dont show the full post on the overview page
commit
|
commitdiff
|
tree
|
snapshot
2024-01-07
Ralf Jung
mention the first OSPB as well
commit
|
commitdiff
|
tree
|
snapshot
2023-12-27
Ralf Jung
add Google OSPB post
commit
|
commitdiff
|
tree
|
snapshot
2023-11-22
Ralf Jung
link to group website
commit
|
commitdiff
|
tree
|
snapshot
2023-11-22
Ralf Jung
add Grove
commit
|
commitdiff
|
tree
|
snapshot
2023-09-29
Ralf Jung
further tweak image
commit
|
commitdiff
|
tree
|
snapshot
2023-09-29
Ralf Jung
tweak image behavior on small screens
commit
|
commitdiff
|
tree
|
snapshot
2023-09-29
Ralf Jung
experiment with a high-res version of the image
commit
|
commitdiff
|
tree
|
snapshot
2023-09-29
Ralf Jung
update picture
commit
|
commitdiff
|
tree
|
snapshot
2023-06-13
Ralf Jung
link to talk recording
commit
|
commitdiff
|
tree
|
snapshot
2023-06-08
Ralf Jung
add vMVCC paper
commit
|
commitdiff
|
tree
|
snapshot
2023-06-03
Ralf Jung
add link to more background on UnsafeCell
commit
|
commitdiff
|
tree
|
snapshot
2023-06-02
Ralf Jung
add another link to Neven's material at the end
commit
|
commitdiff
|
tree
|
snapshot
2023-06-02
Ralf Jung
footnote on the immuability point
commit
|
commitdiff
|
tree
|
snapshot
2023-06-02
Ralf Jung
clarification
commit
|
commitdiff
|
tree
|
snapshot
...
heads
8 days ago
master
shortlog
|
log
|
tree
17 months ago
test
shortlog
|
log
|
tree