⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

Language Agnostic Programming: Why you may still need code
joaquimrocha.com·4h·
Discuss: Hacker News
💻Programming languages
Building My Smart 2nd Brain, Part 3: API and UI Explained
dev.to·8h·
Discuss: DEV
🔄Archival Workflows
Restoring Reliability in the AI-Aided Software Development Life Cycle
cacm.acm.org·1d
📏Code Metrics
Show HN: Radkit, A2A focused rust agents SDK
github.com·1d·
Discuss: Hacker News
🦀Embedded Rust
Say One Thing, Do Another? Diagnosing Reasoning-Execution Gaps in VLM-Powered Mobile-Use Agents
arxiv.org·2d
✨Effect Handlers
Estimated tokens to merge (ETM) & other notes
gmays.com·31m
🌀Brotli Internals
The Death of Microservice Madness (2018)
dwmkerr.com·8h·
Discuss: Hacker News
🌊Streaming Systems
Three important things to get right for successful AI Coding
kau.sh·2h
⚡Proof Automation
Embracing the parallel coding agent lifestyle
simonwillison.net·7h·
Discuss: Hacker News
⚔️Lean Tactics
Smart Specs: Automating Engineering Standards for Error-Free Design
vibe.forem.com·17h·
Discuss: DEV
📋Format Specification
Atomic and Saturated Models
functor.network·1d·
Discuss: Hacker News
🔢Denotational Semantics
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·5h·
Discuss: Hacker News
🕸️Knowledge Graphs
Phoenix Creator Argues Elixir Is AI’s Best Language
thenewstack.io·1d
⚡Proof Automation
Show HN: Scout QA – Vibe testing for vibe coding
scoutqa.ai·3h·
Discuss: Hacker News
🔍Concolic Testing
Prompting Techniques for Specialised LLMs
dev.to·3h·
Discuss: DEV
🔗Constraint Handling
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·39m·
Discuss: Hacker News
🧮Algebraic Datatypes
Four years, Five failures, One compiler
daymare.net·10h·
Discuss: Hacker News, r/programming
🏗️Compiler Archaeology
The State of Security Protocols in Agent 2 Agent(A2A) Systems.
dev.to·13h·
Discuss: DEV
🔐Capability Systems
valuetier.org (and some thoughts on LLMs)
ericphanson.com·1h·
Discuss: Lobsters, Hacker News
🌀Brotli Internals
Intent Prototyping: A Practical Guide To Building With Clarity (Part 2)
smashingmagazine.com·2d
📟CLI Design