Cure - Verification-First Programming for the BEAM
cure-lang.org·1d·
Discuss: Lobsters
🔍Formal Verification
Flag this post
Reuven Lerner: Want to learn uv?
lerner.co.il·1d
❄️Nixified Development
Flag this post
Building Software That Survives • Michael Nygard & Charles Humble • GOTO 2025
youtube.com·1d
🔧DevOps
Flag this post
We found embedding indexing bottleneck in the least expected place: JSON parsing
nixiesearch.substack.com·22h·
Discuss: Substack
🎨GADTs
Flag this post
Just Write Tests
theblackarrovv.github.io·1d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Agents Are Commoditizing the Complement
andreasfragner.com·17h·
Discuss: Hacker News
🔧DevOps
Flag this post
Show HN: Safebox: Open-source framework for managing self-hosted apps (Beta)
news.ycombinator.com·1d·
Discuss: Hacker News
🖥Self-Hosting
Flag this post
Rust-Based Redox OS Gets Servo Web Engine Running - Sort Of
phoronix.com·15h
🍏Darwin
Flag this post
Writing a DOS Clone in 2019
medium.com·1d·
Discuss: Hacker News
🔧Darwin Internals
Flag this post
Walkie Talkie, an open source peer-to-peer iOS communicator
github.com·1d·
Discuss: Hacker News
🍎Apple
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·5d·
Discuss: DEV
🤖Program Synthesis
Flag this post
Turbocharge Claude Desktop: Use Docker MCP Toolkit for Real Developer Workflows
dev.to·1d·
Discuss: DEV
🐳Containerization
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
GrowthHacker: Automated Off-Policy Evaluation Optimization Using Code-Modifying LLM Agents
arxiv.org·9h
📦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·16h·
Discuss: DEV
🌐ActivityPub
Flag this post
Building “Exhibit”: An AI-Powered Portfolio Agent with Mastra, A2A, and Telex
dev.to·1d·
Discuss: DEV
🌐ActivityPub
Flag this post
Why AI Needs Human Oversight for Architecture: A Real Refactoring Story
dev.to·2d·
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