⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

VCF 9.0 Hardware BOM for Silicon Valley VMUG
williamlam.com·1d
🏠HomeLab
How to generate a TypeScript SDK for your API spec
buildwithfern.com·3d·
Discuss: Hacker News
⚡gRPC
Does AWS Lambda have a silent crash in the runtime?
aaronstuyvenberg.com·4d·
Discuss: Hacker News
🌊Stream Processing
Wrote a blog about using Dapr and mirrord together
metalbear.co·2d
📦Container Security
Matt Dillon discusses the past, present and future of BSDs (2022)
web.archive.org·1d·
Discuss: Hacker News
🔓Open Source Software
MCP: Bringing mashups back!
blog.pamelafox.org·1d·
Discuss: www.blogger.com, Hacker News
🔌Interface Evolution
Gaslight-driven development
tonsky.me·4d·
Discuss: Hacker News
🎯Gradual Typing
Deploying AI to prod at enterprises is a largely unsolved problem
credal.ai·4d·
Discuss: Hacker News
👁️Observatory Systems
How and where will agents ship software?
instantdb.com·3d·
Discuss: Hacker News
🌊Streaming Systems
Created a cross platform infra visualizer using WASM and Go! Open source and free to use!
reddit.com·1d·
Discuss: r/golang
🧩WASM Components
🧠 Why LangGraph Loops Stall Thought and OrKa Doesn't
dev.to·20h·
Discuss: DEV
✨Algebraic Effects
Agentic AI Company Models: The New Face of Scalable Intelligence
dev.to·1d·
Discuss: DEV
🌍Cultural Algorithms
The Future of AI Agent Communication with ACP
towardsdatascience.com·4d
🔌Interface Evolution
My wild ride from building a proxy server in rust to a data plane for AI — and landing a $250K Fortune 500 customer.
reddit.com·3d·
Discuss: r/rust
🔌Interface Evolution
Beyond Code Generation: How Asimov is Transforming Engineering Team Collaboration
devops.com·2d
⚡Proof Automation
What the LLM Hype Gets Wrong: What it Takes to Build AI Agents That Work for Enterprises
devops.com·5d
🧩WASM Components
Looking for Resources on Agentic Coding for Game Development
news.ycombinator.com·4d·
Discuss: Hacker News
⚔️Lean Tactics
Build an AI Agent And Win 💸
dev.to·1d·
Discuss: DEV
🌍Cultural Algorithms
LiLM-RDB-SFC: Lightweight Language Model with Relational Database-Guided DRL for Optimized SFC Provisioning
arxiv.org·4d
🌀Brotli Internals
Shaping AI's Mind from the Shadows: My Journey with ArXiv and Alpay Algebra
lightcapai.medium.com·2d·
Discuss: Hacker News
🔲Cellular Automata