⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

Cyber Humanities for Heritage Security
cacm.acm.org·1d
🎭Cultural Informatics
Flag this post
Trillions Spent and Big Software Projects Are Still Failing
spectrum.ieee.org·28m
💾Persistence Strategies
Flag this post
AI Wins and Losses
dowski.com·1d
🔄Language Evolution
Flag this post
Joy & Curiosity #63
registerspill.thorstenball.com·5h
🌀Brotli Internals
Flag this post
Surprisingly, Emacs on Android is pretty good
kristofferbalintona.me·5h·
Discuss: Hacker News
📟Terminals
Flag this post
How revenue decisions shape technical debt
hyperact.co.uk·2d·
Discuss: r/programming
🦋Format Evolution
Flag this post
YASA (Yet Another Static Analyzer)
github.com·2d·
Discuss: Hacker News
🏛️Agda
Flag this post
Integrating Google ADK to Build Smarter Multimodal AI Agents
dev.to·1d·
Discuss: DEV
🎙️Whisper
Flag this post
Build a Frontend for your Microsoft Agent Framework (Python) Agents with AG-UI
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Flag this post
Meet Amazon Q: The AI Assistant That Actually Knows Your Codebase 🦄
dev.to·9h·
Discuss: DEV
⚙️Proof Engineering
Flag this post
Show HN: Agent Network Protocol (ANP)，Similar to an A2A
github.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
Tech With Tim: Finally, an AI Database That Actually Makes Sense
dev.to·1h·
Discuss: DEV
🤖AI Curation
Flag this post
Angular v21 Adds Signal Forms, New MCP Server
thenewstack.io·23h
🔌Interface Evolution
Flag this post
Probabilistic Graph Neural Inference for deep-sea exploration habitat design with embodied agent feedback loops
dev.to·4h·
Discuss: DEV
🌀Hyperbolic Geometry
Flag this post
The open source project named fulling, and it's hit 1k stars
github.com·22h·
Discuss: Hacker News
🏠Homelab Orchestration
Flag this post
Solve hard problems in complex codebases using AI Agents
humanlayer.dev·1d·
Discuss: Hacker News
🔓Open Source Software
Flag this post
Brainwash Your Agent: How We Keep The Memory Clean
dev.to·2d·
Discuss: DEV
🌊Streaming Systems
Flag this post
Building production AI on Google Cloud TPUs with JAX
developers.googleblog.com·3d
🗣️Domain-Specific Languages
Flag this post
Plug-and-Play Firewall for Agents
github.com·12h·
Discuss: Hacker News
⚡Proof Automation
Flag this post
The Future of DevSecOps: From Shifting Left to Shifting Smart
devops.com·2d
⚔️Lean Tactics
Flag this post