 Paul-Nicolas Madelaine
|
6f3899ce90
|
add signal qr code
|
2024-12-16 20:32:10 +01:00 |
|
Paul-Nicolas Madelaine
|
74266214df
|
fetch.sh -> fetch-theme.sh
|
2024-09-23 10:41:24 +02:00 |
|
|
Paul-Nicolas Madelaine
|
dd46d5d762
|
use signal icon
|
2024-09-10 16:53:50 +02:00 |
|
|
Paul-Nicolas Madelaine
|
a2ce4a9ba7
|
use papermod/master
|
2024-09-10 16:50:59 +02:00 |
|
|
Paul-Nicolas Madelaine
|
d7dd5916d1
|
update dependencies
|
2024-09-09 09:57:32 +02:00 |
|
|
Paul-Nicolas Madelaine
|
3877ae6286
|
update position
|
2024-09-02 16:38:07 +02:00 |
|
|
Paul-Nicolas Madelaine
|
d825e28e45
|
format
|
2024-06-11 22:30:58 +02: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
|
f095cb34a8
|
deploy to github pages
|
2024-02-12 23:34:09 +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
|
c9e3da5ea2
|
fix mail url
|
2023-12-04 23:55:18 +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
|
9b2f42e769
|
generate sitemap
|
2023-09-21 19:27:12 +02:00 |
|
|
Paul-Nicolas Madelaine
|
f20726136b
|
format using alejandra
|
2023-09-20 00:27:17 +02:00 |
|
|
Paul-Nicolas Madelaine
|
6f8aad157b
|
update url
|
2023-09-19 00:39:48 +02: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
|
4ec9823107
|
add chess links
|
2023-09-18 21:04:14 +02:00 |
|
|
Paul-Nicolas Madelaine
|
91e27780f5
|
disable absolute urls
|
2023-09-18 20:21:22 +02:00 |
|
|
Paul-Nicolas Madelaine
|
c4c5bfdb8a
|
patch pelican to add rel="me" attribute to social links
|
2023-09-18 17:41:52 +02:00 |
|
|
Paul-Nicolas Madelaine
|
66c071e279
|
add mastodon social link
|
2023-09-18 17:40:23 +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
|
0d2b96704c
|
disable atom feed
|
2023-09-18 14:21:50 +02:00 |
|
|
Paul-Nicolas Madelaine
|
427051dbff
|
add nix derivation
|
2023-09-18 14:21:35 +02:00 |
|
|
Paul-Nicolas Madelaine
|
b8a26fbb13
|
add "about" page
|
2023-09-18 14:18:12 +02:00 |
|
|
Paul-Nicolas Madelaine
|
95ca1cc089
|
update pelicanconf
|
2023-09-18 14:14:19 +02:00 |
|
|
Paul-Nicolas Madelaine
|
405c52e297
|
add .gitignore
|
2023-09-18 14:08:09 +02:00 |
|
|
Paul-Nicolas Madelaine
|
50ceb37856
|
pelican quickstart
|
2023-09-18 14:05:30 +02:00 |
|
|
Paul-Nicolas Madelaine
|
d2ca523358
|
add dev shell
|
2023-09-18 14:05:24 +02:00 |
|
|
Paul-Nicolas Madelaine
|
dbec7d63fd
|
update greeting message
|
2023-09-16 21:15:58 +02:00 |
|
|
Paul-Nicolas Madelaine
|
a338049802
|
initial commit
|
2023-09-16 11:16:56 +02:00 |
|