🔗 Lisp

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

How I'm Playing The Hyperscaler Earnings This Week
seekingalpha.com·1h
🔍BitFunnel
Flag this post
Specifications like temporal logic but with ordinary mathematics
yodaiken.com·1d
📄PostScript
Flag this post
CRYPT: synthesiser plugin
vitling.xyz·10h
🎹MIDI Archaeology
Flag this post
Code Doesn't Happen to You
csmeyer.substack.com·3d·
Discuss: Substack
⚖️Hoare Logic
Flag this post
Believability in Practice (2021)
commoncog.com·2h·
Discuss: Hacker News
🛡️Proof-Carrying Archives
Flag this post
Beyond Arithmetic: Understanding Computation and Computers
madeunraveled.xyz·2d·
Discuss: Hacker News
🎞️Tape Combinatorics
Flag this post
TIL Python does name mangling on private class methods starting with __
docs.python.org·2d·
Discuss: Hacker News
🔢Denotational Semantics
Flag this post
The Dog the Cat Chased Stumped the Model: Measuring When Language Models Abandon Structure for Shortcuts
arxiv.org·2d
🔗Monadic Parsing
Flag this post
Dynamic Decisions: Making Memory-Efficient AI a Reality with Differentiable Algorithms by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
⚡Incremental Computation
Flag this post
Selected Meta Prompts
funcall.blogspot.com·1d·
Discuss: www.blogger.com
⚡Proof Automation
Flag this post
Why useState is Breaking Your AI App: The Case for State Machines in Complex React Interfaces
dev.to·1d·
Discuss: DEV
🔄Finite State Machines
Flag this post
About
thingrex.com·1d·
Discuss: Hacker News
ℹ️Information Theory
Flag this post
Crafting Software: Writing Maintainable Code
wedgworth.dev·3d·
Discuss: Hacker News, r/programming
📏Code Metrics
Flag this post
Building an Open ABI and FFI for ML Systems
tvm.apache.org·4d·
Discuss: Hacker News
🔬Refinement Types
Flag this post
Luau's Performance
luau.org·3d·
Discuss: Lobsters, Hacker News, r/programming
🏗️Compiler Archaeology
Flag this post
SATisfying Solutions to Difficult Problems!
vaibhavsagar.com·4d·
Discuss: Lobsters, r/programming
🔗Combinatory Logic
Flag this post
Go Primitive in Java, or Go in a Box
donraab.medium.com·20h·
Discuss: Hacker News
🧬Functional Programming
Flag this post
LaTeX, LLMs and Boring Technology
eli.thegreenplace.net·1d·
Discuss: Lobsters, Hacker News
📝Concrete Syntax
Flag this post
The Death of Static Prompts: Building ChronoLM
dev.to·13h·
Discuss: DEV
⏱️Interval Parsing
Flag this post
Unit Tests for Intelligence
blog.anirudha.dev·8h·
Discuss: Hacker News
🧠Intelligence Compression
Flag this post