⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

MCP Apps: Bringing Interactive UIs to AI Conversations
blog.fka.dev·20h·
Discuss: Hacker News
🌳Incremental Parsing
Flag this post
Thankful for Memory Managed Languages
mooreds.com·12h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
AI Agent Security: Why Reliability Is the Missing Defense Against Data
composio.dev·1d·
Discuss: Hacker News
🛡️Error Boundaries
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·21h·
Discuss: Substack
💻Programming languages
Flag this post
We Need a Purpose-Driven Agent-Based Developer Management Platform
adrianco.medium.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Flag this post
Trying Out C++26 Executors
mropert.github.io·11h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
📝Concrete Syntax
Flag this post
Pursue Idea (Non-AI Related), but Have No Idea Where to Start?
news.ycombinator.com·7h·
Discuss: Hacker News
🏠Homelab Pentesting
Flag this post
Writing Airflow Dags with Excel and Minecraft
astronomer.io·2d·
Discuss: Hacker News
🔌Interface Evolution
Flag this post
The Traceability Gap Blocking Real AI in Delivery Tools
ai.gopubby.com·1d·
Discuss: Hacker News
🔗Supply Chain
Flag this post
Introducing AWS CloudFormation Stack Refactoring: Reorganize Your Infrastructure Without Disruption
aws.amazon.com·1d
🦋Format Metamorphosis
Flag this post
Show HN: Mamba2-Jax; Mamba2 implemented in pure Jax/Flax
github.com·17h·
Discuss: Hacker News
💧Liquid Types
Flag this post
Taming the Beast: The Move To Declarative API Validation in Kubernetes - Yongrui Lin, Google
youtube.com·1d
✅Format Validation
Flag this post
Spiral Development for Hardware Programs
asbuilt.pub·2d·
Discuss: Hacker News
🛡️Error Boundaries
Flag this post
Self-driving infrastructure
vercel.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Flag this post
Show HN: I built a wizard to turn ideas into AI coding agent-ready specs
vibescaffold.dev·9h·
Discuss: Hacker News
⚡Proof Automation
Flag this post
Cross-referencing code and specs for maintainability (2024-03-21)
ueber.net·1d·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
Evolution of Agentic AI C/O Amazon Quicksuite
dev.to·18h·
Discuss: DEV
⚡Proof Automation
Flag this post
Implementing Custom Autocomplete in VSCode
dganev.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Flag this post