Capture Checking in Scala
nrinaudo.github.io·19h·
Discuss: Hacker News
🧪Binary Fuzzing
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.to·14h·
Discuss: DEV
🔗Constraint Handling
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·10h·
Discuss: Hacker News
⚡Hardware Transactional Memory
Song recommendations with F# free monads
blog.ploeh.dk·17h
🔗Functional Compilers
The Lobster Programming Language
strlen.com·5h·
Discuss: Hacker News
🔗Concatenative Programming
Signal Relays
pzuraq.com·3d·
Discuss: Hacker News
✨Effect Handlers
Notes on Autograd
aschrein.github.io·6h·
Discuss: Hacker News
⚡Incremental Computation
Amplifying the Good and the Bad: 10 More AI Coding Lessons
thenewstack.io·7h
🌍Cultural Algorithms
Teaching programming languages
kmjn.org·12h
💻Programming languages
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·14h
🤝Paxos Consensus
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
Stable, Mutable References for Ante
antelang.org·11h·
Discuss: Hacker News, r/programming
🔒Type Safety
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·1d·
Discuss: Hacker News
🔗Concatenative Languages
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·3h
🎯Performance Proofs
A Review of Developmental Interpretability in Large Language Models
arxiv.org·20h
🤖Grammar Induction
When functions dissolve
rubber-duck-typing.com·1d·
Discuss: Hacker News
🐚Shell Calculus
Context Engineering: Bringing Engineering Discipline to Prompts—Part 3
oreilly.com·14h
🔄Archival Workflows
Muhammad Azeez - The Agent Builder's Reading List: What Actually Matters
mazeez.dev·13h·
Discuss: Hacker News, r/programming
⚔️Lean Tactics
Claude Code's 19 cent Parser
blogger.com·11h
🔧Binary Parsers
Builder Pattern in CDK
medium.com·5h·
Discuss: Hacker News
🧱Immutable Infrastructure