🔗 Lisp

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

The Lobster Programming Language
strlen.com·9h·
Discuss: Hacker News
🔗Concatenative Programming
On systematic construction of correct logic programs
arxiv.org·48m
⚖️Hoare Logic
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d
🔗Functional Compilers
Song recommendations with F# free monads
blog.ploeh.dk·21h
🔗Functional Compilers
Generating C functions and prototypes using macros – part 2
subethasoftware.com·3h
🦀Rust Macros
Scheme Basics
courses.cs.washington.edu·3d·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Typeclassopedia
wiki.haskell.org·1d·
Discuss: Hacker News
🧬Functional Programming
Structural vs. Mathematical “Under” (2023)
dyalog.com·4h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
CL-JSON Ambiguity
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🧠Lisp Dialects
Teaching programming languages
kmjn.org·16h
💻Programming languages
When functions dissolve
rubber-duck-typing.com·1d·
Discuss: Hacker News
🐚Shell Calculus
Claude Code's 19 cent Parser
blogger.com·15h
🔧Binary Parsers
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Functional Compilers
Anonymous structavaganza in zig
lirk.top·11h·
Discuss: Hacker News, r/Zig, r/programming
🔗Concatenative Programming
Capture Checking in Scala
nrinaudo.github.io·23h·
Discuss: Hacker News
🧪Binary Fuzzing
FLINT: Fast Library for Number Theory
flintlib.org·10h
🧮Algebraic Datatypes
Shelling Out Is Selling Out
petersobot.com·3h·
Discuss: Hacker News
🎞️MKV Forensics
Lisp in 99 Lines of C With TinyLisp
hackaday.com·6d
🧠Lisp Dialects
how to build a youtube clone with python
dev.to·1d·
Discuss: DEV
🌀Brotli Dictionary
busy beaver function
ncatlab.org·2d
⚔️Lean Theorem