Strict alternation of data and behaviour in Smalltalk
eighty-twenty.org·10h
📞Session Types
Lab note #072 A language with affordances for vibe coding
interjectedfuture.com·2d
🔗Concatenative Programming
Coping with Complexity
slott56.github.io·4d
🔗Concatenative Programming
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·1d
🧮Z3 Solver
An in-depth look at the implementation of an Undo/Redo system in a large complex visual application
mlacast.com·2d·
Discuss: Hacker News, r/programming
💾Persistence Strategies
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·1d·
Discuss: Hacker News, r/javascript, r/webdev
🦀Rust Macros
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
From Scarcity to Abundance: How Go Changed Concurrency Forever
medium.com·1d·
Discuss: r/golang
🔄Lens Laws
Exploring High Efficiency Web Analysis Results（1750876031390300）
dev.to·52m·
Discuss: DEV
🌊Stream Processing
Vibe Coding Makes You a Better Engineer
artmann.co·1d
📏Code Metrics
Piloting Copilot, Codex, and StarCoder2: Hot Temperature, Cold Prompts, or Black Magic?
arxiv.org·1d
✨Effect Handlers
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·3h·
Discuss: DEV
🌊Stream Processing
Pure UI
rauchg.com·4h·
Discuss: Hacker News
🎨Nordic Design
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
Threaded Code
muforth.dev·8h·
Discuss: Hacker News
🦀Rust Macros
Implementing Ray Tracing In One Weekend in F#
heftymouse.me·3d·
Discuss: Hacker News
🔗Functional Compilers
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·15h
🔍Concolic Testing
CloneDex: Rebuilding OpenAI Codex with VibeKit
vibekit.sh·8h·
Discuss: Hacker News
🔄Sync Engine
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·5h·
Discuss: DEV
📏Code Metrics