Creating Lisp Systems
renato.athaydes.com·4h·
Discuss: Hacker News
📝Lisp
Flag this post
Tool Expressions: The Next Evolution in Agent Intelligence
blog.nishantjosh.dev·5h·
Discuss: r/programming
🧩Theorem Proving
Flag this post
The Hidden Ops Layer of Agent Platforms
neon.com·16h
🧩Theorem Proving
Flag this post
Autark: Rethinking build systems – Integrate, Don't Outsource
blog.annapurna.cc·19h·
👐Open Source Software
Flag this post
What is a distribution? Top 5 functions of a distro:
medium.com·1d
👐Open Source Software
Flag this post
A Jarvis for everyone: AI agents as new interfaces
blog.logrocket.com·21h
🏗️Software Architecture
Flag this post
Kubernetes Isn’t Your AI Bottleneck — It’s Your Secret Weapon
thenewstack.io·19h
🧩Theorem Proving
Flag this post
Scaling data governance with Amazon DataZone: Covestro success story
aws.amazon.com·1d
🏗️Software Architecture
Flag this post
Europe just dropped a cloud rulebook (and it’s actually good)
dev.to·6h·
Discuss: DEV
👐Open Source Software
Flag this post
Capacity Review: The AI Workflow Engine That Understands Vibe Coding (2025)
danielkliewer.com·1h·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
VMware Cloud Foundation managed service for high performance and lower cost
nordot.app·19h
💻Operating Systems
Flag this post
Google imagines out of this world AI - running on orbital datacenters
theregister.com·13h
🏗Computer Architecture
Flag this post
Reinventing Kubernetes in 2025: a post-mortem of my “simple” stack
dev.to·9h·
Discuss: DEV
🦀Rust
Flag this post
Evolving Ray and Kubernetes together for the future of distributed AI and ML
cloud.google.com·1d
🏗Computer Architecture
Flag this post
7 Lessons I Learned Designing a Dropbox-Like System in a System Design Interview
dev.to·6h·
Discuss: DEV
🤝Protocol Design
Flag this post
Building MeridianDB: Solving AI's Memory Crisis with Multi-Dimensional RAG
dev.to·3h·
Discuss: DEV
🎲Probabilistic Programming
Flag this post
Securing Samba at the Global Level – Controlling the Server’s DNA
dev.to·11h·
Discuss: DEV
🤝Protocol Design
Flag this post
Engineering.ai: A Platform for Teams of AI Engineers in Computational Design
arxiv.org·1d
🎲Probabilistic Programming
Flag this post