j2kun / essays
Short essays I've written
☆78Updated last year
Alternatives and similar repositories for essays
Users that are interested in essays are comparing it to the libraries listed below
Sorting:
- Audible NP-Complete Problem☆22Updated 5 years ago
- A visualization of key structures in abstract algebra.☆155Updated 5 years ago
- My reading list☆82Updated 3 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- Working through Structure and Interpretation of Classical Mechanics.☆124Updated 10 months ago
- Make EBooks from LessWrong 2.0 and other sources of interest to the aspiring rationalist community☆43Updated last year
- A toy Lisp interpreter and simple eval function☆146Updated last year
- Books that makes heavy use of visuals for scientific communication☆161Updated last year
- Code for http://oilshell.org/blog/☆50Updated last month
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆34Updated 12 years ago
- probabilistic programming for PL folks☆156Updated 3 years ago
- Pelican static site generator config for Lawler.io☆65Updated last year
- Research wiki☆51Updated 2 years ago
- Prototype implementation of Aug 2022 mnemonic medium design☆12Updated last year
- Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq☆54Updated 6 years ago
- ☆24Updated 6 years ago
- Finding Game of Life states that lead to pictures.☆18Updated last year
- ☆41Updated 4 years ago
- List of links of techniques to help enhance mathematical notation☆185Updated 7 months ago
- Course materials for Stanford's CS43: Functional Programming Paradigms☆30Updated 5 years ago
- Organize remote meetings for reading computer science papers☆33Updated 4 years ago
- A small OS that doesn't do much.☆22Updated last year
- Tool for keeping a hypermedia encyclopedia☆57Updated 2 years ago
- Code + data archive for "Modeling the Human Trajectory"☆28Updated 10 months ago
- An overview of linear algebra fundamentals which focuses on providing an intuitive / geometric review of some of the main concepts.☆99Updated 6 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated last year
- A programming language based on a 2D Hilbert curve grid☆88Updated 2 years ago
- The Design and Implementation of Probabilistic Programming Languages☆177Updated last year
- An alternative frontend for LessWrong 2.0☆70Updated last week