 Paul-Nicolas Madelaine
|
b0f9d01bd5
|
direct link to signal
|
2024-12-20 23:21:52 +01:00 |
|
|
Paul-Nicolas Madelaine
|
6f3899ce90
|
add signal qr code
|
2024-12-16 20:32:10 +01:00 |
|
|
Paul-Nicolas Madelaine
|
f0f281df61
|
add signal username
|
2024-02-21 21:49:42 +01:00 |
|
|
Paul-Nicolas Madelaine
|
4865fb7307
|
oops
|
2024-02-21 10:53:34 +01:00 |
|
|
Paul-Nicolas Madelaine
|
4d325c4e29
|
add link to mathlib
|
2024-02-21 10:50:55 +01:00 |
|
|
Paul-Nicolas Madelaine
|
dab9187323
|
new post: "norm_cast was upstreamed to Lean4"
|
2024-02-21 10:49:37 +01:00 |
|
|
Paul-Nicolas Madelaine
|
3dbee63880
|
new post: "Typhon: Nix-based continuous integration"
|
2024-02-08 18:00:22 +01:00 |
|
|
Paul-Nicolas Madelaine
|
cd6b3c4bad
|
precision
|
2023-12-13 19:41:24 +01:00 |
|
|
Paul-Nicolas Madelaine
|
e581629364
|
switch to hugo
|
2023-12-04 22:33:20 +01:00 |
|
|
Paul-Nicolas Madelaine
|
123615ff9a
|
add article: flake template
|
2023-11-07 16:47:31 +01:00 |
|
|
Paul-Nicolas Madelaine
|
2d326fa716
|
update "about" page
|
2023-09-19 00:33:56 +02:00 |
|
|
Paul-Nicolas Madelaine
|
6c3e073dd6
|
add contact page
|
2023-09-18 23:27:57 +02:00 |
|
|
Paul-Nicolas Madelaine
|
04e40a1a03
|
fix nix code block
|
2023-09-18 21:06:47 +02:00 |
|
|
Paul-Nicolas Madelaine
|
ee876c3af0
|
add article summary
|
2023-09-18 14:58:56 +02:00 |
|
|
Paul-Nicolas Madelaine
|
16c87181ff
|
import old article
|
2023-09-18 14:28:54 +02:00 |
|
|
Paul-Nicolas Madelaine
|
b8a26fbb13
|
add "about" page
|
2023-09-18 14:18:12 +02:00 |
|