🔗 Lisp

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

Specifications like temporal logic but with ordinary mathematics
yodaiken.com·2d
📄PostScript
Flag this post
How I'm Playing The Hyperscaler Earnings This Week
seekingalpha.com·8h
🔍BitFunnel
Flag this post
CRYPT: synthesiser plugin
vitling.xyz·17h
🎹MIDI Archaeology
Flag this post
Selected Meta Prompts
funcall.blogspot.com·2d·
Discuss: www.blogger.com
⚡Proof Automation
Flag this post
Go Concurrency Mastery: Preventing Goroutine Leaks with Context, Timeout & Cancellation Best Practices
dev.to·6h·
Discuss: DEV
🌊Stream Processing
Flag this post
Deconstructed Proto-Quipper: A Rational Reconstruction
arxiv.org·2d
🔗Parser Combinators
Flag this post
AI Can Help You Code Faster – But at What Cost
codesmarternotharder.substack.com·15h·
Discuss: Substack
🏗️Compiler Archaeology
Flag this post
Paper2Web: Let's Make Your Paper Alive
francischen3.github.io·11h·
Discuss: Hacker News
📄PostScript
Flag this post
C Undefined Behavior
eskimo.com·5d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Building an Open ABI and FFI for ML Systems
tvm.apache.org·4d·
Discuss: Hacker News
🔬Refinement Types
Flag this post
Show HN: I built an 8-bit CPU simulator in Python from scratch
github.com·2d·
Discuss: Hacker News
⚡Homebrew CPUs
Flag this post
The Owl, the Scientific Method, and Claude Code: A Debugging Story
vsevolod.net·3d·
Discuss: Lobsters, Hacker News
👑Isabelle
Flag this post
Bringing CGI Back from the Dead
intertwingly.net·6h·
Discuss: Hacker News
🔌Interface Evolution
Flag this post
SATisfying Solutions to Difficult Problems!
vaibhavsagar.com·4d·
Discuss: Lobsters, r/programming
🔗Combinatory Logic
Flag this post
Streamline code migration using Amazon Nova Premier with an agentic workflow
aws.amazon.com·4d
⚡SMT Integration
Flag this post
The Journey Before main()
amit.prasad.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔩Systems Programming
Flag this post
Built an API that translates text to Gen Z slang (works in any language)
dev.to·1d·
Discuss: DEV
🗜️Zstandardized Archives
Flag this post
I'm not a 'Vibe Coder', but when I am, this is my set up
appsoftware.com·1d·
Discuss: Hacker News
✨Effect Handlers
Flag this post
How to Scale LLM Apps Without Exploding Your Cloud Bill
hackernoon.com·1h
📄Text Chunking
Flag this post
The Real Python Podcast – Episode #271: Benchmarking Python 3.14 & Enabling Asyncio to Scale
realpython.com·2d
🏗️Compiler Archaeology
Flag this post