Sheafification - The optimal path to mathematical mastery
sheafification.com·2d·
Discuss: Hacker News
➡️Category Theory
Let's write a search engine, part 1 of 2
redblobgames.com·1d·
Discuss: Hacker News
🧩Parser Combinators
Nix Vegas 2025 Retrospective
nix.vegas·20h·
Discuss: Lobsters
❄️Nix
Dependent types I › Universes, or types of types
jonmsterling.com·6d·
Discuss: Hacker News
➡️Category Theory
A look at SGD from a physicist's perspective – Part 1 (2018)
henripal.github.io·1d·
Discuss: Hacker News
📚Automata Learning
Show HN: I Built an AI Comic Maker That Adds Quizzes (MCQs) for Kids
github.com·7h·
Discuss: Hacker News
🎮Verification Games
The Rare Book Thesis for an AI World
ktledger.com·2h·
Discuss: Hacker News
🧠Automated Reasoning
How is Ultrassembler so fast?
jghuff.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🔧Unikernel Development
Taxonomy of Procrastination
dynomight.net·2h·
Discuss: Hacker News
➡️Category Theory
Why Kafka and Iceberg Will Define the Next Decade of Data Infrastructure
blog.streambased.io·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Learning Go as a sysadmin/DevOps person coming from Bash
github.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Writing in Djot
pdx.su·1d·
Discuss: Hacker News
🧩Parser Combinators
The Art of Transformer Programming (2023)
yanivle.github.io·2d·
Discuss: Hacker News
🧩Parser Combinators
Fast and Scalable Mixed Precision Euclidean Distance Calculations Using GPU Tensor Cores
arxiv.org·1d
🔧Unikernel Development
A crowdsourced project to link up erdosproblems.com to the OEIS
terrytao.wordpress.com·1d·
Discuss: Hacker News
🎮Verification Games
Preachers are using AI to write sermons. Is God angry?
chiefwordofficer.substack.com·4h·
Discuss: Substack
🧩Parser Combinators
Pretraining a LLM with less than $50 budget which outperforms Google BERT
medium.com·19h·
Discuss: Hacker News, r/LLM, r/LocalLLaMA
🧩Parser Combinators
Time's arrow => decision theory
lesswrong.com·9h
🧠Automated Reasoning
Tripping Around REPL
vlaaad.github.io·1d·
Discuss: Hacker News
🛡️seL4
things rust shipped without (2015)
graydon2.dreamwidth.org·1d·
Discuss: Lobsters, Hacker News
❄️Nixified Development