A New Faster Algorithm for Gregorian Date Conversion
benjoffe.com·23h·
Discuss: Hacker News, r/cpp
🔢Algebraic Data Types
Flag this post
How Switchboard, MD automates real-time call transcription in clinical contact centers with Amazon Nova Sonic
aws.amazon.com·13h
🤖Program Synthesis
Flag this post
Learning a Bit of VGA
usebox.net·13h·
Discuss: Hacker News
💾Retro Computing
Flag this post
The Noise and the Signal
russmiles.substack.com·1h·
Discuss: Substack
🔲Cellular Automata
Flag this post
Becoming a Core Developer
stefaniemolin.com·1d
🔬Static Analysis
Flag this post
Notes by djb on using Fil-C with Debian multiarch
cr.yp.to·4d·
❄️NixOS
Flag this post
Time to move on: n8n vs code for SaaS
pixeljets.com·15h·
🔧DevOps
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·2d·
Discuss: Substack
Process Calculi
Flag this post
How LLMs Cheat: Modifying Tests and Overloading Operators
enbao.me·10h·
Discuss: Hacker News
🎮Verification Games
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·3d·
🔀OCaml Multicore
Flag this post
A Close Look at a FastAPI Example Application
realpython.com·17h
🔌APIs
Flag this post
Show HN: Claude Code disrupted programming. Bringing that power to office worker
blog.gbase.ai·19h·
Discuss: Hacker News
🔧DevOps
Flag this post
AI Agents from Prototype to Production: A Free Learning Path with Strands Agents
dev.to·10h·
Discuss: DEV
🔲Cellular Automata
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·2h
🔍Formal Verification
Flag this post
Enhanced Richardson Extrapolation via Adaptive Kernel Regression and Uncertainty Quantification
dev.to·17h·
Discuss: DEV
👁️Observability
Flag this post
Linux Kernel Ported to WebAssembly
lore.kernel.org·2d·
💻QEMU
Flag this post
The Riddle of Reflection: Evaluating Reasoning and Self-Awareness in Multilingual LLMs using Indian Riddles
arxiv.org·2h
🧮SMT Solvers
Flag this post
Libevpl – event loop engine with unified abstractions for network and block I/O
github.com·5d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Part 4: Building Station Station - Where SDD Helped (and Where It Didn't)
dev.to·2h·
Discuss: DEV
📊Runtime Verification
Flag this post