git.ralfj.de Git - web.git/atom logsources for my websitehttps://git.ralfj.de/web.gitRalf Jungstatic/git-favicon.pngstatic/git-logo.png2024-03-11T07:20:02Zgitwebcontact: use my ETH email address2024-03-11T07:19:47ZRalf Jungpost@ralfj.deRalf Jungpost@ralfj.de2024-03-11T07:19:47Zhttps://git.ralfj.de/web.git/commitdiff/97ca6b88a6d9e86dd2ccc78cb512036af8c7c112
dont show the full post on the overview page2024-01-07T17:01:24ZRalf Jungpost@ralfj.deRalf Jungpost@ralfj.de2024-01-07T17:01:24Zhttps://git.ralfj.de/web.git/commitdiff/3e50252f4490a68c06515616e115a130f8ade901
mention the first OSPB as well2024-01-07T17:00:30ZRalf Jungpost@ralfj.deRalf Jungpost@ralfj.de2024-01-07T17:00:30Zhttps://git.ralfj.de/web.git/commitdiff/aef7fcc9e6b69ee09cc3fede332b7125494723d4
link to group website2023-11-22T16:48:37ZRalf Jungpost@ralfj.deRalf Jungpost@ralfj.de2023-11-22T16:48:37Zhttps://git.ralfj.de/web.git/commitdiff/62f098270581ff12f0f71c8448a9b4a0041ff4f4
further tweak image2023-09-29T16:07:48ZRalf Jungpost@ralfj.deRalf Jungpost@ralfj.de2023-09-29T16:07:48Zhttps://git.ralfj.de/web.git/commitdiff/b9a80b4343be6e58bf7775958bea4b8ff7169732
tweak image behavior on small screens2023-09-29T16:01:18ZRalf Jungpost@ralfj.deRalf Jungpost@ralfj.de2023-09-29T16:01:18Zhttps://git.ralfj.de/web.git/commitdiff/7ff1b70ad9e1b46795a9502a520286c12af132e4
experiment with a high-res version of the image2023-09-29T15:44:28ZRalf Jungpost@ralfj.deRalf Jungpost@ralfj.de2023-09-29T15:44:28Zhttps://git.ralfj.de/web.git/commitdiff/6e3a8d2dc573df71f82a58b1dfc3a1bb78c2d8af
link to talk recording2023-06-13T20:07:25ZRalf Jungpost@ralfj.deRalf Jungpost@ralfj.de2023-06-13T20:07:25Zhttps://git.ralfj.de/web.git/commitdiff/8b243bdab9be0f13791f087eb60ef2c7d259ffda
add link to more background on UnsafeCell2023-06-03T09:06:44ZRalf Jungpost@ralfj.deRalf Jungpost@ralfj.de2023-06-03T09:06:44Zhttps://git.ralfj.de/web.git/commitdiff/b229190aabab3130112ed8b20935647b3a87ebbd
add another link to Neven's material at the end2023-06-02T14:00:41ZRalf Jungpost@ralfj.deRalf Jungpost@ralfj.de2023-06-02T14:00:41Zhttps://git.ralfj.de/web.git/commitdiff/cda89d14db9bea242d0da4aae3b2039f455b1cdb
footnote on the immuability point2023-06-02T13:55:07ZRalf Jungpost@ralfj.deRalf Jungpost@ralfj.de2023-06-02T13:55:07Zhttps://git.ralfj.de/web.git/commitdiff/42e7aa593bf6fdc05a38a8147a9ec0bdde62e121
tree borrows editing2023-05-31T16:02:14ZRalf Jungpost@ralfj.deRalf Jungpost@ralfj.de2023-05-31T16:02:14Zhttps://git.ralfj.de/web.git/commitdiff/c7b599f29d237f59f2654bf6ec0716b85a9bfb45
add draft on Tree Borrows2023-05-31T15:31:43ZRalf Jungpost@ralfj.deRalf Jungpost@ralfj.de2023-05-31T15:31:43Zhttps://git.ralfj.de/web.git/commitdiff/2b47ffb5fd8cc2b4027bb9347c6144bb9c66e846