Commit graph

29 commits

Author SHA1 Message Date
019fae7bb2 update MirageVPN from out work 2024-06-30 21:42:13 +02:00
055a05b8f4 revise reproducible build project: only care about binary installation 2022-03-03 14:04:36 +01:00
0e1de9aff0 move text to a subpage 2021-11-16 16:06:35 +01:00
b679681416 remove brief intro from reproducible project 2021-11-16 16:01:12 +01:00
af578fa9a9 fix heading for CalDAV server 2021-11-16 15:58:58 +01:00
24c3e7c79c reproducible things 2021-11-16 15:57:58 +01:00
c55e864eff add 36c3 talk, use media.ccc.de as origin, add recording to linse's radical network talk 2020-01-07 12:22:12 +01:00
2fd8dd4773 . 2019-11-19 23:28:25 +01:00
701985f9ad . 2019-11-19 23:27:56 +01:00
160523ea05 link to live demo 2019-11-19 23:27:11 +01:00
Sol
a72627151f added the rest of Stefanie's talks 2019-11-12 13:48:54 +01:00
Sol
fd231c9044 fixed a few links and added DNS and Firewall projects 2019-10-31 13:06:40 +01:00
Sol
199f161cd1 added CalDAV, VPN and Pinata 2019-10-29 15:05:40 +01:00
Sol
45c94d360e updated current text with answers from specific list 2019-10-22 19:16:46 +02:00
4de6d5b0f9 unikernels as processes is mato's paper, not mine ;) (no need to list it twice) 2019-09-12 11:53:19 +02:00
Your Name
ca364d504c make aspell happy 2019-09-11 00:49:41 +02:00
Your Name
dcc0a42c70 PGP + typo 2019-09-11 00:36:12 +02:00
Your Name
f1739fca47 #Ocaml -> #OCaml fixup 2019-09-11 00:16:40 +02:00
Your Name
309ffb61d0 no trailing spaces 2019-09-11 00:12:14 +02:00
Your Name
5af3009835 Revert "+ in urls" since our ghetto http server is not actually working correctly
This reverts commit 432f97470c.
2019-09-11 00:09:34 +02:00
Your Name
432f97470c + in urls 2019-09-11 00:08:49 +02:00
Sol
c8c2eae4a7 fixing last urls 2019-09-11 00:05:48 +02:00
Sol
3f56965e6a fixing even more urls and trailing whitespaces 2019-09-10 23:57:32 +02:00
Sol
e8b0c31bb3 fixing more urls and trailing whitespaces 2019-09-10 23:40:09 +02:00
Sol
892dcd8008 fixing markdown mistakes 2019-09-10 23:27:36 +02:00
Sol
862a37a828 fixing whitespaces 2019-09-10 23:22:30 +02:00
Sol
1568eae6fe fixing links 2019-09-10 23:11:18 +02:00
Sol
03f97289f1 fixing anchors 2019-09-10 22:41:35 +02:00
Sol
ef125dbfe4 new text for website! 2019-09-10 21:40:14 +02:00