Lively Linear Lisp (1992)
plover.com·9h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Think in Games: Learning to Reason in Games via Reinforcement Learning with Large Language Models
arxiv.org·7h
🔲Cellular Automata
Monday Morning Haskell: Starting out with Graph Algorithms: Basic DFS
mmhaskell.com·2h
🔗Combinatory Logic
Song recommendations with C# free monads
blog.ploeh.dk·4h
λLambda Formalization
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·2d
🎯Performance Proofs
Incremental query updating in adhesive categories
topos.institute·20h
🔗Combinatory Logic
Inverting the Xorshift128 random number generator
littlemaninmyhead.wordpress.com·16h·
Discuss: Hacker News, r/programming
🌊Stream Ciphers
Cyclic Implicit Complexity
arxiv.org·7h
🎯Performance Proofs
Tic-tac-toe meets Lean 4
ochagavia.nl·4d·
Discuss: Lobsters, Hacker News, r/programming
🎯Proof Tactics
Micro DSLs for scenario tests with Rust macros
dystroy.org·1d
🦀Rust Macros
I built 59 open-source Claude Code subagents to supercharge software development
github.com·2d·
Discuss: Hacker News
⚡Proof Automation
Creating micro-lessons from spaced repetition mistakes
rickcarlino.com·9h·
Discuss: Hacker News
🤖Grammar Induction
LLMs running locally
markjgsmith.com·1d
🌀Brotli Internals
Baby's first type checker
austinhenley.com·17h·
Discuss: Lobsters, Hacker News
🔤Type Theory
Vibe Coding Terminal Editor
matklad.github.io·1d·
Discuss: Lobsters, Hacker News
✨Effect Handlers
Tripping Around REPL
vlaaad.github.io·1h·
Discuss: Hacker News
🧪Binary Fuzzing
LegalPwn: Tricking LLMs by burying badness in lawyerly fine print
theregister.com·1h
💻Local LLMs
Bootstrapping a Forth for Art
tia.mat.br·1d·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
IdleRPG at a LAN party
octet-stream.net·24m
👑Isabelle
Every Implementable Algorithm Is Extensionally a Lookup Table
table.dk.workers.dev·13h·
Discuss: Hacker News
🔍Type Inference