CCC Test of Time award
cstheory-events.org·1d
🔧PLT
Flag this post
Bridging the gaps between protocol specifications and practice
blog.apnic.net·2d
📐formal specification
Flag this post
Stefano Rivera: Debian Video Team Sprint: November 2025
stefanorivera.com·2h
🔍Static Analysis
Flag this post
HAP v2 - a declarative HTTP framework for rapid API service development
pkg.go.dev·3d
🪜Scala
Flag this post
MichaelAI vs. CogniFlow: A Developer's No-BS Guide to Enterprise AI Platforms
getmichaelai.com·3d·
Discuss: DEV
📐formal specification
Flag this post
Stop Coding. Start Directing: The Unspoken Rules of Vibe Coding
pub.towardsai.net·4h
🤖AI
Flag this post
Juggling multiple clients is killing my billable hours. My manual time tracking isn’t working.
reddit.com·8h·
Discuss: r/webdev
🤖AI
Flag this post
Experimental Results on Goldbach's Conjecture
dev.to·22h·
Discuss: DEV
🔧PLT
Flag this post
I Created an MCP Server and Why I Think MCP is Overrated
dev.to·2d·
Discuss: DEV
📐formal specification
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·4d
🔍Static Analysis
Flag this post
Agentic Fork Squad: Multi-Agent Database Query Optimizer with Tiger Cloud Zero-Copy Forks
dev.to·4h·
Discuss: DEV
🤖AI
Flag this post
The Orchestrator Pattern: Routing Conversations to Specialized AI Agents
dev.to·3d·
Discuss: DEV
🤖AI
Flag this post
Pair-Coding CleanIt.Now with AI on Cloudflare Workers
dev.to·1d·
Discuss: DEV
🔍Static Analysis
Flag this post
Why Software Development Is Not Assembly-Line Work
dev.to·3d·
Discuss: DEV
🔍Static Analysis
Flag this post
Dev Journal: This week's progress
dev.to·2d·
Discuss: DEV
Zig
Flag this post
Browser Automation Workflows with Playwright MCP and JavaScript
dev.to·1d·
Discuss: DEV
🤖AI
Flag this post
Unlocking Simplicity: Skeletonizing Boolean Networks for Enhanced Performance by Arvind Sundararajan
dev.to·3d·
Discuss: DEV
🔍Static Analysis
Flag this post
Escalation and perception
lesswrong.com·1d
🤖AI
Flag this post
Trying to understand how to do “Business Process Automation” with Python (not RPA stuff)
reddit.com·2d·
📐formal specification
Flag this post