🌀 Scheme

Tail Call Optimization, Continuations, Hygiene, Educational Lisp

Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·21h
⏭️Skip Lists
Greyscale-box test-driven development
blog.ploeh.dk·6h
🧪Compiler Testing
An introduction to program synthesis
mchav.github.io·4d·
Discuss: Hacker News, r/programming
🛠️Code Synthesis
Speeding up my Ray Tracer using JAX
kayleegeorge.github.io·8h·
Discuss: Hacker News
🔍Lens Libraries
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·22h·
Discuss: Lobsters, Hacker News
🌱Minimal ML
Understanding stdin/stdout: Building CLI Tools Like a Pro
dev.to·1d·
Discuss: DEV
🐚Shell Languages
Extensibility In Lisp And Emacs
irreal.org·10h
🪄Syntax Macros
A formal proof of C∞ISRT
bsky.app·1d·
Discuss: r/LessCredibleDefence
♾️Codata Types
[CS 2881r AI Safety] [Week 1] Introduction
lesswrong.com·1d
🏰Capability Machines
ISO C++ committee has a new chief sheep herder
shape-of-code.com·1d
🔬Nanopasses
Beyond the Hype: Why Your AI Assistant Might Be Sabotaging Your Architecture
medium.com·20h·
Discuss: Hacker News
🛡️Error Ergonomics
Algebraic Types are not Scary
blog.aiono.dev·15h·
Discuss: Lobsters, Hacker News, r/programming
✅Type Checking
ECMAScript TC39 proposal-pattern-matching
github.com·12h·
Discuss: Hacker News
🎯Pattern Matching
Show HN: Semlib – Semantic Data Processing
github.com·12h·
Discuss: Hacker News
🔍ML Language
Smarter, faster, leaner: Optimizing the end-to-end supply chain
scmr.com·8h
⚡JIT Optimizations
Why some agentic AI developers are moving code from Python to Rust
developers.redhat.com·18h
⚡Interpreter Optimization
LLM Rerankers for RAG: A Practical Guide
fin.ai·1d·
Discuss: Hacker News, Hacker News
🪜Recursive Descent
List Vs. Tuple: Understanding The Differences In Python - Maine News Online
mainenewsonline.com·17h
🐍CPython Internals
The Road To JVM: How To Create A Brainfuck Interpreter
blog.codeminer42.com·4d
📝Rope Editors
Logic's Hidden States: Unlock Debugging Superpowers with Algebraic Thinking by Arvind Sundararajan
dev.to·13h·
Discuss: DEV
🧮Theorem Provers