Delete learn.md and add link to puzzle

This commit is contained in:
Anthony Wang 2022-12-31 03:43:26 +00:00
parent fb88a4052b
commit 85ee5534c0
Signed by untrusted user: a
GPG key ID: 42A5B952E6DD8D38
2 changed files with 1 additions and 18 deletions

View file

@ -60,7 +60,7 @@ destroying GitHub.
getting roasted for my terrible [software stack](software).
seeding this website with tons of secret easter eggs.
seeding this website with tons of [secret easter eggs](puzzle).
amazed that special patterns in my biological neural networks transcribed into UTF-8 encoded strings in Markdown documents converted into HTML by [Hugo](https://gohugo.io) with the [Gokarna theme](https://github.com/526avijitgupta/gokarna) deployed to [exozyme](https://exozy.me) using [Woodpecker CI](https://woodpecker-ci.org) transmitted over HTTP and displayed on your screen have now created special patterns in your biological neural networks.

View file

@ -1,17 +0,0 @@
---
title: "Things I Want to Learn"
type: page
---
- Rust
- Haskell
- Scheme
- Idris 2
- Agda
- Lean
- Type theory
- Object capabilities
- Emacs
- Lagrangian mechanics
- Quantum mechanics