🔗 Lisp

Functional Programming, S-expressions, Code as Data, Recursion

Over-Engineering Sleep
matt.blwt.io·1d
🐚Bash FP
Learning Through Doing: From one language to another
blog.scottlogic.com·4d
🦀Rust Borrowing
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Nullable vs. Nullable in C#
einarwh.no·7h·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
Stable, Mutable References for Ante
antelang.org·12h·
Discuss: Hacker News, r/programming
🔒Type Safety
Build a baby Claude Code using Python
siddharthbharath.com·11h·
Discuss: Hacker News
⚡Proof Automation
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·14h
🤝Paxos Consensus
Show HN: Using Common Lisp from Inside the Browser
turtleware.eu·4d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Antirez/sds: Simple Dynamic Strings library for C
github.com·10h·
Discuss: Hacker News
✅Format Verification
Paying attention to feature distribution alignment (pun intended)
alexshtf.github.io·16h·
Discuss: Hacker News
📐Linear Algebra
Lobsters Interview with Matklad
lobste.rs·3d·
Discuss: Lobsters
🦀Rust Macros
Manuel M T Chakravarty: Functional data structures in Swift
justtesting.org·2d
🧬Functional Programming
OpenAI: Building the "Everything Platform" in AI
leoniscap.com·6h·
Discuss: Hacker News
🤖AI Curation
Show HN: I Built a XSLT Blog Framework
vgr.land·1d·
Discuss: Hacker News
🔀XSLT
A string formatting library in 65 lines of C++
riki.house·3d·
Discuss: Lobsters, Hacker News
✅Format Verification
[P] aligning non-linear features with your data distribution
reddit.com·15h·
Discuss: r/MachineLearning
🧠Machine Learning
Notes on Autograd
aschrein.github.io·6h·
Discuss: Hacker News
⚡Incremental Computation
Builder Pattern in CDK
medium.com·6h·
Discuss: Hacker News
🧱Immutable Infrastructure
TypeScript: Enable Strict Mode by Default
github.com·9h·
Discuss: Hacker News
🎯Gradual Typing
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·1d·
Discuss: Hacker News
🔗Concatenative Languages