|
|
1ecc61c2d0
|
rephrase
|
2024-05-16 16:19:12 +02:00 |
|
|
|
5e100ef2a3
|
minor
|
2024-05-16 11:46:39 +02:00 |
|
|
|
6aad459e8f
|
minor
|
2024-05-15 16:44:14 +02:00 |
|
|
|
b6388e5bfd
|
footer
|
2024-05-15 16:41:39 +02:00 |
|
|
|
fd990ef4ae
|
retreat 2024
|
2024-05-15 16:38:51 +02:00 |
|
|
|
1b759a1698
|
further copyedit from @christinerose
|
2023-11-29 14:31:13 +01:00 |
|
|
|
1f46f74964
|
Added editing remarks from @christinerose https://github.com/ocaml/ocaml.org/pull/1806
|
2023-11-29 13:57:48 +01:00 |
|
|
|
5316960bcb
|
clarify the tcp issue
|
2023-11-29 13:45:29 +01:00 |
|
|
|
45441f9924
|
fix
|
2023-11-28 22:26:50 +01:00 |
|
|
|
ca196709ce
|
.
|
2023-11-28 22:25:19 +01:00 |
|
|
|
b3ee690da1
|
.
|
2023-11-28 22:24:25 +01:00 |
|
|
|
1237862ec4
|
maybe this way
|
2023-11-28 22:23:37 +01:00 |
|
|
|
6ca989be12
|
cut width of pics into half
|
2023-11-28 22:21:16 +01:00 |
|
|
|
e386567813
|
new blog post: TCP
|
2023-11-28 22:17:01 +01:00 |
|
|
|
968592210d
|
robur.coop it is
|
2023-11-20 17:58:35 +01:00 |
|
|
|
8db22fe152
|
update for albatross 2.0.0
|
2023-05-16 19:21:47 +02:00 |
|
|
|
6cd06cdfd7
|
DnsServer: update with more current unikernels and mirage
|
2023-03-02 18:20:44 +01:00 |
|
|
|
212884184b
|
initial albatross post
|
2022-11-17 13:41:11 +01:00 |
|
|
|
940e34a535
|
add timestamps in listings
|
2022-11-06 11:56:43 +01:00 |
|
|
|
2e42a836c4
|
minor
|
2022-10-11 14:14:07 +02:00 |
|
|
|
35c6f19123
|
add break-word word-wrap, as suggested by @rand00
|
2022-10-11 14:10:25 +02:00 |
|
|
|
b672687f2d
|
typos
|
2022-09-29 15:04:57 +02:00 |
|
|
|
9c8b408193
|
new post about opam mirror
|
2022-09-29 15:04:52 +02:00 |
|
|
|
2d170cde58
|
monitoring
|
2022-03-08 12:26:31 +01:00 |
|
|
|
2212638bf2
|
git repo has a new home also blog is at a new place
|
2021-11-19 19:04:52 +01:00 |
|
|
|
356933d687
|
deploy: adjust links to new jobs on builder-web
|
2021-11-15 12:17:23 +01:00 |
|
|
|
2dd54a4221
|
use local links where possible
|
2021-09-08 19:43:52 +02:00 |
|
|
|
65cee6703a
|
move more assets to this host
|
2021-09-08 19:41:43 +02:00 |
|
|
|
2d10e2cc8a
|
move assets to same domain
|
2021-09-08 19:37:23 +02:00 |
|
|
|
847d8f36f2
|
fiat-crypto is really fiat-crypto, not fiat
|
2021-07-19 14:55:51 +02:00 |
|
|
|
aa53dbdb8c
|
mention concrete environment variables
|
2021-07-05 14:08:50 +02:00 |
|
|
|
6930bf1d55
|
add post about deployment
|
2021-06-30 15:13:37 +02:00 |
|
|
|
ccc4d8973c
|
link to fiat inversion paper
|
2021-04-27 15:30:58 +02:00 |
|
|
|
d913e784a7
|
ec post
|
2021-04-23 15:33:06 +02:00 |
|
|
|
6168e4b4d9
|
initial
|
2021-01-25 14:05:14 +01:00 |
|
|
|
9d4ee14cdd
|
traceroute
|
2020-06-24 12:38:10 +02:00 |
|
|
|
2a9d929aec
|
refer to opam #4055
|
2020-01-07 23:38:21 +01:00 |
|
|
|
55bde0b8cc
|
as mentioned by @dinosaure, use tap1 for secondary
|
2019-12-24 14:02:58 +01:00 |
|
|
|
e45a192ef0
|
as mentioned by @dinosaure, use _transfer where appropriate
|
2019-12-24 13:59:40 +01:00 |
|
|
|
098fb5e817
|
.
|
2019-12-23 23:43:05 +01:00 |
|
|
|
568ca39c64
|
.
|
2019-12-23 23:20:56 +01:00 |
|
|
|
a7289e140a
|
Advertise secondary interop
|
2019-12-23 23:17:14 +01:00 |
|
|
|
6dd54168e4
|
.
|
2019-12-23 22:59:18 +01:00 |
|
|
|
05af012c49
|
.
|
2019-12-23 22:42:12 +01:00 |
|
|
|
a9dd4b1bf5
|
.
|
2019-12-23 22:34:51 +01:00 |
|
|
|
0b44bbeab8
|
new entry: dns server
|
2019-12-23 22:30:53 +01:00 |
|
|
|
1625d02365
|
more links
|
2019-12-17 20:03:48 +01:00 |
|
|
|
88aac91cb5
|
fix
|
2019-12-16 19:31:43 +01:00 |
|
|
|
ffb08e2789
|
new blog entry about reproducible builds
|
2019-12-16 19:29:30 +01:00 |
|
|
|
51ece51949
|
fix links
|
2019-11-08 20:49:19 +01:00 |
|
