A composable pattern for pure state machines with effects
gist.github.com·5h·
Discuss: Hacker News
✨Algebraic Effects
Ken Kocienda - Coding With AI using Cursor
kocienda.micro.blog·6h
🔄Language Evolution
Single Core Hundred Thousand Concurrency（1750947668443300）
dev.to·22h·
Discuss: DEV
🌊Stream Processing
HumanOmniV2: From Understanding to Omni-Modal Reasoning with Context
arxiv.org·8h
🌳Context free grammars
Statically checking Python dicts for completeness
lukeplant.me.uk·2h
✅Format Verification
Issue 478
haskellweekly.news·1d
🔗Functional Compilers
Calculus Phobic's Introduction to Differentiable Programming
andersource.dev·14h·
Discuss: Hacker News
⚡Incremental Computation
Protect now, reveal later: a scalable Time-Lock Puzzle solution
benthamsgaze.org·2h
🌊Stream Ciphers
How we turned a real car into a Mario Kart controller by intercepting CAN data
pentestpartners.com·1d
⚙️Cassette Mechanics
Visualizing CPU Pipelining (2024)
timmastny.com·55m·
Discuss: Hacker News
⚙️RISC-V Microcode
ICT2, the paperback!
logicmatters.net·23h
🎯Proof Tactics
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·3d
💻Programming languages
Why Dyad?: A Perspective for Modelica Users
juliahub.com·1d·
Discuss: Hacker News
💧Liquid Types
Show HN: AI-gent Workflows – locally reasoning AI Agents
ai-gents.work·1d·
Discuss: Hacker News
⚡Proof Automation
Advancing Artificial Intelligence: Safety, Personalization, and Practical Applications in Recent Research
dev.to·3h·
Discuss: DEV
🔲Cellular Automata
Memory Safety Is Merely Table Stakes
usenix.org·16h·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Challenging projects every programmer should try
austinhenley.com·21h·
Discuss: Hacker News
📝Compiler Design
The Guide to the Foundation Models Framework
azamsharp.com·1d·
Discuss: Hacker News
λLambda Formalization
Timed Prediction Problem for Sandpile Models
arxiv.org·8h
🔲Cellular Automata
Modern Node.js Patterns for 2025
kashw1n.com·21h·
Discuss: Hacker News
🌊Stream Processing