Commit Graph

15 Commits

Author SHA1 Message Date
69a1f4d921 Remove old key 2021-11-26 23:40:55 +02:00
394a511187 Update gpg key 2021-11-26 23:26:23 +02:00
c50529e44e Flakes 2021-11-26 16:52:39 +02:00
fb9eea52a6 Update contact 2021-11-26 15:05:16 +02:00
95e9b07f31 New post, deriving quickcheck 2021-01-26 19:28:49 +02:00
f8bd7e928d Update the index page 2021-01-25 22:22:34 +02:00
96f76a7751 Add zettelkast project 2021-01-25 22:03:32 +02:00
a0640e1c0a Add bidirectional project 2021-01-25 22:03:20 +02:00
8727fd33a6 Sidebar element 2021-01-25 21:52:33 +02:00
869ad66b21 Shuffle css elements 2021-01-25 21:24:15 +02:00
97afd713df Link to github 2021-01-25 21:21:06 +02:00
a49af625bf Projects page 2021-01-25 21:11:14 +02:00
7056ca822c Set up posts again 2021-01-25 20:35:41 +02:00
637fc7646b Remove post 2021-01-25 19:26:59 +02:00
c62ff908af Reshuffle the files for better nix organization 2021-01-25 18:19:17 +02:00