|
|
353f325bac
|
Selection color
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-05-08 11:57:42 -05:00 |
|
|
|
28025a8c66
|
Equivalences post
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-05-08 11:51:29 -05:00 |
|
|
|
7f8137b9f6
|
add headers
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-05-08 00:39:10 -05:00 |
|
|
|
2f68aae3dd
|
Update to true \== false post
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-05-08 00:37:13 -05:00 |
|
|
|
a08f1206c2
|
Agda
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-04-21 01:57:08 -05:00 |
|
|
|
afaec7c0b6
|
Write some more
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-04-21 01:18:34 -05:00 |
|
|
|
079c2a8b38
|
Proof post
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-04-20 15:58:15 -05:00 |
|
|
|
535c3dca9f
|
Reword
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-04-20 14:25:51 -05:00 |
|
|
|
60b97648da
|
Flake post
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-04-20 14:11:41 -05:00 |
|
|
|
b781f83415
|
some slight wording updates on the last post
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-03-30 03:44:29 -05:00 |
|
|
|
6d753e5250
|
let's turn on the toc
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-03-30 03:32:41 -05:00 |
|
|
|
a248240a6a
|
more on induction + implement language switcher
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-03-30 03:29:11 -05:00 |
|
|
|
07484d5812
|
small update
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-03-29 23:38:50 -05:00 |
|
|
|
db20f9536a
|
Add the docker compose thing
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-03-29 23:33:59 -05:00 |
|
|
|
608503637c
|
inductive types wip
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-03-29 15:03:10 -05:00 |
|
|
|
e31a8ba367
|
add rss feed
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-03-26 14:32:54 -05:00 |
|
|
|
970a8b6e9f
|
Add some stuff to about page
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-03-14 03:41:59 -05:00 |
|
|
|
5e3f3a25c4
|
Update work status
|
2023-03-14 03:35:45 -05:00 |
|
|
|
be60e791da
|
Fix sase link/
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-02-05 17:13:17 -06:00 |
|
|
|
951689a328
|
Fix blog source link
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-02-04 01:25:40 -06:00 |
|
|
|
d6551c4632
|
Add Forgejo link
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-02-04 01:24:48 -06:00 |
|
|
|
f8f1987fbf
|
Add buidl status
ci/woodpecker/push/woodpecker Pipeline was successful
|
2023-02-04 01:21:21 -06:00 |
|
|
|
d62683c6bc
|
add linked in
|
2023-02-04 01:21:21 -06:00 |
|
|
|
59b4c52eee
|
rust tags
|
2023-02-04 01:21:21 -06:00 |
|
|
|
8c44b266ff
|
Add old post about weechat
|
2023-02-04 01:21:21 -06:00 |
|
|
|
354a353df9
|
remove the left margin for tags
|
2023-02-04 01:21:21 -06:00 |
|
|
|
49b564a620
|
change tag icon
|
2023-02-04 01:21:21 -06:00 |
|
|
|
806b929d16
|
Add links to nav
|
2023-02-04 01:21:21 -06:00 |
|
|
|
714ab14f0f
|
Add acm involvement
|
2023-02-04 01:21:21 -06:00 |
|
|
|
539fa061cd
|
Add wisesplit
|
2023-02-04 01:21:21 -06:00 |
|
|
|
78f1049fb7
|
Update date
|
2023-02-04 01:21:21 -06:00 |
|
|
|
df009fccbe
|
path
|
2023-02-04 01:21:21 -06:00 |
|
|
|
9046fcc57e
|
decentralized identity blog post, plus some logseq support
|
2023-02-04 01:21:21 -06:00 |
|
|
|
90de593a38
|
update lock
|
2023-02-04 01:21:21 -06:00 |
|
|
|
0a6e73df19
|
layout upd
|
2023-02-04 01:21:21 -06:00 |
|
|
|
cc538bc7f3
|
Update
|
2023-02-04 01:21:21 -06:00 |
|
|
|
9396a58f26
|
Remove matomo
|
2023-02-04 01:21:21 -06:00 |
|
|
|
910fa274ba
|
uiuctf 2022
|
2023-02-04 01:21:21 -06:00 |
|
|
|
d39c66e866
|
Change padding
|
2023-02-04 01:21:21 -06:00 |
|
|
|
6ae17e62b8
|
test matomo
|
2023-02-04 01:21:21 -06:00 |
|
|
|
63c55873d9
|
Mastery post
|
2023-02-04 01:21:21 -06:00 |
|
|
|
7b065d5192
|
Change the font in CSS too
|
2023-02-04 01:21:21 -06:00 |
|
|
|
cc22f9b9ae
|
Add neofetch :)
|
2023-02-04 01:21:21 -06:00 |
|
|
|
10801c1471
|
Prevent dates from wrapping
|
2023-02-04 01:21:21 -06:00 |
|
|
|
4654b8de5f
|
Mastery-based learning draft
|
2023-02-04 01:21:21 -06:00 |
|
|
|
aa5936c70b
|
Update font
|
2023-02-04 01:21:21 -06:00 |
|
|
|
89c28d0a45
|
Forgot to account for dark theme
|
2023-02-04 01:21:21 -06:00 |
|
|
|
ad3bd9bce1
|
Relayout home page
|
2023-02-04 01:21:21 -06:00 |
|
|
|
a2367d88db
|
Flake init
|
2023-02-04 01:21:21 -06:00 |
|
|
|
5090a5a95c
|
Undraft NixOS article
|
2023-02-04 01:21:21 -06:00 |
|
