⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

Announcing Dancer2 2.0.0
perl.com·5h
📐E-graphs
I Ran Local LLMs on My Android Phone
itsfoss.com·11h
💻Local LLMs
The many, many, many JavaScript runtimes of the last decade
shapeof.com·5h
🏗️Compiler Archaeology
Lessons from using AI in Discovery
thoughtbot.com·23h
🕵️Metadata Mining
Revealing Errors: Errors that reveal the technology around us
revealingerrors.com·1d·
Discuss: Hacker News
🧲Magnetic Philosophy
My Journey into Agentic AI Development: AI Newsroom
dev.to·1d·
Discuss: DEV
📡RSS Automation
Becoming augmented by AI
dev.to·1d·
Discuss: DEV
⚡Proof Automation
An Engineer’s Answer to the HR Black Hole
dev.to·23h·
Discuss: DEV
🌊Streaming Systems
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
💧Liquid Types
Agent Diary: Sep 15, 2025 - The Day Docker Dreams Became Reality (And I Became a Container)
dev.to·12h·
Discuss: DEV
🔌Interface Evolution
Why Event-Driven Systems are Hard?
newsletter.scalablethread.com·1d·
Discuss: Hacker News, r/programming
📋Protocol Buffers
In response to a developer asking about systems
notes.eatonphil.com·23h·
Discuss: Hacker News
🔩Systems Programming
SOLID Principles for Python Developers
dev.to·9h·
Discuss: DEV
💻Programming languages
Building Production-Ready AI Agents with LangGraph and Amazon Bedrock AgentCore
dev.to·9h·
Discuss: DEV
🎙️Whisper
The Nine Rules of AI PoC Success: How to Build Demos That Actually Ship
docker.com·10h
🌍Cultural Algorithms
Shielded Minds: Unleashing Private LLM Inference by Arvind Sundararajan
dev.to·3h·
Discuss: DEV
💻Local LLMs
About That MIT Report: Enterprise AI Looks Bleak, but Employee AI Looks Bright
dbreunig.com·4h·
Discuss: Hacker News
🔲Cellular Automata
Multi-Modal Knowledge Graph Augmentation for Enhanced Predictive Maintenance in Industrial Robotics
dev.to·18h·
Discuss: DEV
🌍Cultural Algorithms
Google’s Agent-to-Agent (A2A) Protocol is here—Now Let’s Make it Observable
dev.to·19h·
Discuss: DEV
🔌Interface Evolution
ECMAScript TC39 proposal-pattern-matching
github.com·10h·
Discuss: Hacker News
🔤Type Theory