🔗 Lisp

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

Functional Abstract Interpretation
simon.peytonjones.org·21h·
Discuss: Hacker News
🔗Functional Compilers
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·4h
🎯Gradual Typing
Cactus Language • Stylistics 4
inquiryintoinquiry.com·6h
🌳Context free grammars
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·21h·
Discuss: Hacker News
🔍Type Inference
Python Fundamentals: build
dev.to·9h·
Discuss: DEV
🔄Reproducible Builds
FSM Library for Embedded C Projects
hackster.io·1d
🦀Embedded Rust
Unpythonic: Supercharge your Python with parts of Lisp and Haskell
github.com·2d·
Discuss: Hacker News
🧠Lisp Dialects
Introduction to JavaScript
thenewstack.io·1d
🔗Concatenative Programming
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·1d
🧠Computational Logic
Binary Search in a 2D Matrix
mmhaskell.com·1d
📐Error Bounds
A Rust shaped hole
ente.io·1d
🦀Rust Macros
Moan-routine: LO's Predicate Signatures
lmika.org·4d
🔗Functional Compilers
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·6h·
Discuss: Hacker News, r/programming
🔒Type Safety
Do We Really Need Lisp Machines?
irreal.org·1d
🤖Lisp Machines
The great misunderstanding of the DRY principle
pmatteo.com·1d·
Discuss: Hacker News
💧Liquid Types
Helix Editor Release 25.07 Highlights
helix-editor.com·2h·
Discuss: Lobsters, Hacker News
🌳Incremental Parsing
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·7h
🦀Rust Verification
Future-Proof Programming Languages
log.schemescape.com·1d·
Discuss: Hacker News
💻programming languages
Machine Code Isn't Scary
jimmyhmiller.github.io·1d
🔤Character Encoding
I Accidentaly Wrote a Compile-Time Executable State Machine (2020)
philippegroarke.com·2d·
Discuss: Hacker News
🔗Functional Compilers