- Artificial Intelligence
- Cognition
- Programming (programming languages, graphics, simulation)
- Mathematics (probability theory, type theory, category theory, number theory)
- Languages (Chinese, Japanese, conlangs)
- History
- Bouldering
- Probabilistic Programming in Rust
- Pronto Graphics
- CEDICT Curses
- RPNFL
- 流体
- Ants🐜
- Minesweeper
- Firstperson 3D Pewpew
- Bachlor Thesis: Embedded Probabilistic Programming in Rust
- The Problem with ”Type in Type” and a resolution thereof
- An Implementation of Type Checking for a Dependently Typed Lambda Calculus
- Approaches to Asynchronous Execution across Languages
- Concurrency in OCaml
🈳