PoorlyDefinedBehaviour
Follow
-
checkpoint Public
Contains a bunch of links to things I read or watched. A link appearing in the list does not mean I haven't seen it before or that I agree with it.
14 UpdatedApr 23, 2026 -
for learning purposes
-
-
-
formal-methods Public
The use of formal methods to specify distributed systems
-
-
-
-
Neural net that recognizes MNIST digits from scratch.
Go UpdatedNov 28, 2025 -
-
quint Public
Forked from informalsystems/quintAn executable specification language with delightful tooling based on the temporal logic of actions (TLA)
TypeScript Apache License 2.0 UpdatedOct 17, 2025 -
-
-
-
-
https://people.csail.mit.edu/brooks/idocs/matchbox.pdf
Rust UpdatedJul 13, 2025 -
-
-
clojure-site Public
Forked from clojure/clojure-siteclojure.org site
HTML Eclipse Public License 1.0 UpdatedJun 22, 2025 -
-
-
vscode-tlaplus Public
Forked from tlaplus/vscode-tlaplusTLA+ language support for Visual Studio Code
TypeScript MIT License UpdatedMar 31, 2025 -
-
-
Single-decree Paxos with deterministic simulation testing
-
zig-book Public
Forked from pedropark99/zig-bookAn open, technical and introductory book for the Zig programming language
Zig Other UpdatedOct 27, 2024 -
-
-
-
map_reduce_go Public
Implementation of a map reduce system inspired by [MapReduce: Simplified Data Processing on Large Clusters](https://static.googleusercontent.com/media/research.google.com/en//archive/mapreduce-osdi…