📝 Lisp

Macros, Homoiconicity, S-expressions, Functional Programming

Show HN: Cortex – OS-wide AI with instant context input
cortexdesktop.com·17h·
Discuss: Hacker News
🔧Compiler Design
Footnotes, Gödel exercises, Purcell
logicmatters.net·2d
🔢Mathematical Logic
AlphaEvolve
rawveg.substack.com·23h·
Discuss: DEV
🎲Probabilistic Programming
OSE: The End of Programming Language Silos?
dev.to·2d·
Discuss: DEV
🔧Compiler Design
Rust, Python, and TypeScript: the new trifecta
smallcultfollowing.com·3d·
Discuss: Hacker News
🧮Programming Language Theory
Advanced C# Serialization: Beyond JSON
dev.to·2d·
Discuss: DEV
🤝Protocol Design
2000 words about arrays and tables
buttondown.com·3d·
Discuss: Lobsters, Hacker News, r/programming
⚙Functional Programming
How JIT builds of CPython work
savannah.dev·4d·
Discuss: Hacker News
🔗Parser Combinators
Hask Is Not a Category
math.andrej.com·3d·
Discuss: Hacker News
🔄Category Theory
How to Form an Opinion
idiallo.com·2h
🧮Programming Language Theory
Thursday is the new Wednesday, and Lua is the new AppleScript :D
bsky.app·2d·
Discuss: Bluesky
🔧Compiler Design
Lobsters Interview with Icefox
lobste.rs·1d·
Discuss: Lobsters
🔧Compiler Design
DeveloPassion's Newsletter 199 - LifeOS
dsebastien.net·1h
🧩Theorem Proving
Testing LLM Responses: A Fast, Cost-Effective Alternative to LLM-as-Judge
joywrites.dev·5h·
Discuss: Hacker News
🔗Parser Combinators
Streamlining AWS Serverless workflows: From AWS Lambda orchestration to AWS Step Functions
aws.amazon.com·2d
🤝Protocol Design
RAG: The System Works (Terms and Conditions Apply)
esrmnt.bearblog.dev·1d
👐Open Source Software
C++ Instrumentation with Memory Sanitizer
systemsandco.dev·2d·
Discuss: Hacker News
🔧Compiler Design
Partner with the AI, throw away the code
martinfowler.com·2d
🧩Theorem Proving
How to Write Inductive Invariants
quint-lang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🤝Protocol Design
I built a streaming XML/HTML tokenizer in TypeScript - no DOM, just tokens
reddit.com·1h·
Discuss: r/javascript
🧮Programming Language Theory