Yes really, curl is still developed
🌐Network Protocols
Flag this post
Finding Signal Through the Noise
👁️System Observability
Flag this post
Neurodiversity Meeting - October 2025
youtube.com·19h
🍎Apple
Flag this post
After the Last Git Commit
🔧DevOps
Flag this post
LinuxPlay, open-source ultra-low-latency remote desktop for Linux (now with GitHub Sponsors!)
🔧Unikernel Development
Flag this post
Modeling the geopolitics of AI development
lesswrong.com·15h
🤖Program Synthesis
Flag this post
useChat hook in Chef codebase.
💎Refinement Types
Flag this post
AI Agents from Prototype to Production: A Free Learning Path with Strands Agents
🔲Cellular Automata
Flag this post
From Vibe Coding to Informed Development: How Codalio PRD Transforms Your Cursor Workflow
🔄Reproducible Builds
Flag this post
Natural Building Blocks for Structured World Models: Theory, Evidence, and Scaling
arxiv.org·4h
🔲Cellular Automata
Flag this post
Model Predictive Control with Multiple Constraint Horizons
arxiv.org·4h
🔍CBMC
Flag this post
Loading...Loading more...