📝 Lisp

Macros, Homoiconicity, S-expressions, Functional Programming

Well-Typed.Com: Well-Typed at ZuriHac 2025
well-typed.com·5d
⚙Functional Programming
I asked NotebookLM for PowerToys optimization on Windows, but it wasn't perfect
xda-developers.com·6h
💻Operating Systems
JuggleBee’s Great Leap - Rebuilding a Rails 4 App in Rails 8 (Part 1)
jugglebee.com·59m·
Discuss: DEV
🏗️Software Architecture
Everything I Wish I Knew Before Taking My First Programming Class
howtogeek.com·2d
🔧Compiler Design
Changelog #298
rust-analyzer.github.io·2d
🦀Rust
Declarative HTML Binding in Only 20 Lines of Code! (and Signals) | That HTML Blog
thathtml.blog·2d
📦WebAssembly
WeirdML Benchmark v2
htihle.github.io·2d·
Discuss: Hacker News
🎲Probabilistic Programming
LSP Server and Clangd Face Challenges Dealing With Very Large Codebases
dev.to·1d·
Discuss: DEV
🔧Compiler Design
Requiem for a 10x Engineer Dream
architecture-weekly.com·2d·
Discuss: Hacker News, r/programming
🧩Theorem Proving
I Built a "GPT" in My Browser in One Evening. The Journey from Amnesia to Stable Learning with Pure JS.
github.com·1d·
Discuss: DEV
🧭SMT Solvers
Klear-Reasoner: Advancing Reasoning Capability via Gradient-Preserving Clipping Policy Optimization
arxiv.org·1d
🔗Parser Combinators
Subsampling Factorization Machine Annealing
arxiv.org·11h
🎲Probabilistic Programming
Tooling ≠ Glue: Why changing AI workflows still feels like duct tape
docker.com·1d
🏗️Software Architecture
Show HN: Persistent Mind Model – Portable AI Personas for Any LLM
github.com·1d·
Discuss: Hacker News, r/LLM
🧭SMT Solvers
INTRODUCTION TO HTML, CSS AND JAVASCRIPT
dev.to·1d·
Discuss: DEV
🧮Programming Language Theory
Understanding Users' Privacy Perceptions Towards LLM's RAG-based Memory
arxiv.org·1d
🧠Memory Management
MiGrATe: Mixed-Policy GRPO for Adaptation at Test-Time
arxiv.org·11h
🔗Parser Combinators
Using traversals to batch database queries
chrispenner.ca·2d·
Discuss: Hacker News
⚙Functional Programming
Do we still need to master front-end, or just learn enough to tell AI what to do?
dev.to·1h·
Discuss: DEV
🧩Theorem Proving
My First Module - Huffman Encoding
github.com·2d·
Discuss: r/Zig
🔧Compiler Design