Compiling with Continuations
swatson555.github.io·1h·
Discuss: Hacker News
🔬programming language theory
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1h
📜Proof Languages
Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·1d
🔧Scheme Macros
System Instruction Fixed Point
funcall.blogspot.com·9h·
Discuss: www.blogger.com
💬Interactive REPLs
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·1d·
Discuss: Lobsters, Hacker News
🐪OCaml
I paired NotebookLM with VS Code for my coding classes, and I can’t believe how much easier coding got
xda-developers.com·11h
📚Self-Documenting Code
Learning Rust and a bit unclear about an exercise on Exercism
exercism.org·16h·
Discuss: r/rust
🦀Rust Macros
List of 87 Programming Ideas for Beginners
inventwithpython.com·7h·
Discuss: r/programming
🌱Tiny Languages
Metacognitive Reuse: Turning Recurring LLM Reasoning Into Concise Behaviors
arxiv.org·1h
🪜Recursive Descent
Model Viewer in C
reddit.com·10h·
Discuss: r/C_Programming
🔮Type Inference Visualization
Mastering Advanced Python Development Skills 2025
dev.to·12h·
Discuss: DEV
🔧Nickel
How to Debug Chez Scheme Programs (2002)
scheme.com·1d·
Discuss: Hacker News
💬Error Message Design
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·1d
🪢Rope Data Structures
Python Morsels: Nested list comprehensions
pythonmorsels.com·2h
💬Interactive REPLs
R MCP Server
github.com·4h·
Discuss: Hacker News
⚡Live Programming
Machine Learning in punch card COBOL from the ‘60s? Of course we can!
blog.stackademic.com·10h·
Discuss: r/programming
🔍ML Language
Charles Sanders Peirce, George Spencer Brown, and Me • 20
inquiryintoinquiry.com·11h
🔗Category Theory
Erase and Rewind: Teaching LLMs to Forget Without Amnesia
dev.to·5h·
Discuss: DEV
🪜Recursive Descent
My Experiments with NotebookLM for Teaching
towardsdatascience.com·11h
🎓Educational Compilers
Claude Can (Sometimes) Prove It
galois.com·5h·
Discuss: Lobsters, Hacker News
🧩Constraint Solvers