Cure - Verification-First Programming for the BEAM
cure-lang.org·23h·
Discuss: Lobsters
🔍Formal Verification
Flag this post
Reuven Lerner: Want to learn uv?
lerner.co.il·21h
❄️Nixified Development
Flag this post
Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·21h
🔧DevOps
Flag this post
Writing an LLM from scratch, part 26 – evaluating the fine-tuned model
gilesthomas.com·14h·
Discuss: Hacker News
📚Automata Learning
Flag this post
Just Write Tests
theblackarrovv.github.io·1d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Vibecoding my way to a crit on GitHub
furbreeze.github.io·1d·
Discuss: Hacker News
🔧DevOps
Flag this post
Writing a DOS Clone in 2019
medium.com·1d·
Discuss: Hacker News
🔧Darwin Internals
Flag this post
A portable picokernel for async I/O
ryansepassi.com·3d·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
MedRECT: A Medical Reasoning Benchmark for Error Correction in Clinical Texts
arxiv.org·5h
🔍CBMC
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·1d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Claude Agent Skills: A First Principles Deep Dive
leehanchung.github.io·6d·
Discuss: Hacker News
🔤Language Design
Flag this post
15 Best AI Coding Assistant Tools
dev.to·4d·
Discuss: DEV
🤖Program Synthesis
Flag this post
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·5h
📦OPAM
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·1d·
Discuss: DEV
🔀Brzozowski Derivatives
Flag this post
Building Intelligent Workflows: Animal Facts AI Agent with Mastra A2A & Telex.im
dev.to·12h·
Discuss: DEV
🌐ActivityPub
Flag this post
Why AI Needs Human Oversight for Architecture: A Real Refactoring Story
dev.to·1d·
Discuss: DEV
🏃Escape Analysis
Flag this post
I Used Claude Code to Debug a Nightmare
blendingbits.io·2d·
Discuss: Hacker News
👁️System Observability
Flag this post
Building “Exhibit”: An AI-Powered Portfolio Agent with Mastra, A2A, and Telex
dev.to·21h·
Discuss: DEV
🌐ActivityPub
Flag this post
Migration Made Easy: Transitioning from Traditional AI Libraries to Low-Code Solutions in Q4 2025
dev.to·2d·
Discuss: DEV
🧱Immutable Infrastructure
Flag this post
Could Agentic CLI Be the Next Big Thing in Developer Productivity ?
dev.to·6d·
Discuss: DEV
🔧DevOps
Flag this post