|
|
9967cf463e
|
fix date
|
2025-09-21 20:34:42 +02:00 |
|
|
|
89e63c0039
|
add eschac post
|
2025-09-21 20:12:51 +02:00 |
|
|
|
f7a89eba4c
|
add forgejo
|
2025-09-21 19:48:12 +02:00 |
|
|
|
c808f784f0
|
update
|
2025-06-11 11:59:54 +02:00 |
|
|
|
de149abe8d
|
remove github workflows
|
2025-05-30 12:02:14 +02:00 |
|
|
|
c2f109d689
|
npins
/ build (push) Has been cancelled
/ deploy (push) Has been cancelled
|
2025-01-16 00:52:52 +01:00 |
|
|
|
199e2acab4
|
add bluesky
|
2025-01-16 00:28:44 +01:00 |
|
|
|
5b2871348c
|
plural
|
2025-01-16 00:26:38 +01:00 |
|
|
|
b0f9d01bd5
|
direct link to signal
|
2024-12-20 23:21:52 +01:00 |
|
|
|
66435ba853
|
fix?
|
2024-12-17 00:55:23 +01:00 |
|
|
|
8e4d0b3a38
|
add public key
|
2024-12-17 00:45:47 +01:00 |
|
|
|
dc4c9b3be0
|
simplify nix setup
|
2024-12-16 21:05:33 +01:00 |
|
|
|
57193c2990
|
profile mode
|
2024-12-16 20:44:14 +01:00 |
|
|
|
436454a220
|
format
|
2024-12-16 20:33:16 +01:00 |
|
|
|
6f3899ce90
|
add signal qr code
|
2024-12-16 20:32:10 +01:00 |
|
|
|
74266214df
|
fetch.sh -> fetch-theme.sh
|
2024-09-23 10:41:24 +02:00 |
|
|
|
dd46d5d762
|
use signal icon
|
2024-09-10 16:53:50 +02:00 |
|
|
|
a2ce4a9ba7
|
use papermod/master
|
2024-09-10 16:50:59 +02:00 |
|
|
|
d7dd5916d1
|
update dependencies
|
2024-09-09 09:57:32 +02:00 |
|
|
|
3877ae6286
|
update position
|
2024-09-02 16:38:07 +02:00 |
|
|
|
d825e28e45
|
format
|
2024-06-11 22:30:58 +02:00 |
|
|
|
f0f281df61
|
add signal username
|
2024-02-21 21:49:42 +01:00 |
|
|
|
4865fb7307
|
oops
|
2024-02-21 10:53:34 +01:00 |
|
|
|
4d325c4e29
|
add link to mathlib
|
2024-02-21 10:50:55 +01:00 |
|
|
|
dab9187323
|
new post: "norm_cast was upstreamed to Lean4"
|
2024-02-21 10:49:37 +01:00 |
|
|
|
f095cb34a8
|
deploy to github pages
|
2024-02-12 23:34:09 +01:00 |
|
|
|
3dbee63880
|
new post: "Typhon: Nix-based continuous integration"
|
2024-02-08 18:00:22 +01:00 |
|
|
|
cd6b3c4bad
|
precision
|
2023-12-13 19:41:24 +01:00 |
|
|
|
c9e3da5ea2
|
fix mail url
|
2023-12-04 23:55:18 +01:00 |
|
|
|
e581629364
|
switch to hugo
|
2023-12-04 22:33:20 +01:00 |
|
|
|
123615ff9a
|
add article: flake template
|
2023-11-07 16:47:31 +01:00 |
|
|
|
9b2f42e769
|
generate sitemap
|
2023-09-21 19:27:12 +02:00 |
|
|
|
f20726136b
|
format using alejandra
|
2023-09-20 00:27:17 +02:00 |
|
|
|
6f8aad157b
|
update url
|
2023-09-19 00:39:48 +02:00 |
|
|
|
2d326fa716
|
update "about" page
|
2023-09-19 00:33:56 +02:00 |
|
|
|
6c3e073dd6
|
add contact page
|
2023-09-18 23:27:57 +02:00 |
|
|
|
04e40a1a03
|
fix nix code block
|
2023-09-18 21:06:47 +02:00 |
|
|
|
4ec9823107
|
add chess links
|
2023-09-18 21:04:14 +02:00 |
|
|
|
91e27780f5
|
disable absolute urls
|
2023-09-18 20:21:22 +02:00 |
|
|
|
c4c5bfdb8a
|
patch pelican to add rel="me" attribute to social links
|
2023-09-18 17:41:52 +02:00 |
|
|
|
66c071e279
|
add mastodon social link
|
2023-09-18 17:40:23 +02:00 |
|
|
|
ee876c3af0
|
add article summary
|
2023-09-18 14:58:56 +02:00 |
|
|
|
16c87181ff
|
import old article
|
2023-09-18 14:28:54 +02:00 |
|
|
|
0d2b96704c
|
disable atom feed
|
2023-09-18 14:21:50 +02:00 |
|
|
|
427051dbff
|
add nix derivation
|
2023-09-18 14:21:35 +02:00 |
|
|
|
b8a26fbb13
|
add "about" page
|
2023-09-18 14:18:12 +02:00 |
|
|
|
95ca1cc089
|
update pelicanconf
|
2023-09-18 14:14:19 +02:00 |
|
|
|
405c52e297
|
add .gitignore
|
2023-09-18 14:08:09 +02:00 |
|
|
|
50ceb37856
|
pelican quickstart
|
2023-09-18 14:05:30 +02:00 |
|
|
|
d2ca523358
|
add dev shell
|
2023-09-18 14:05:24 +02:00 |
|
