⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

Children of the TI
bumbershootsoft.wordpress.com·4h
🎮Vintage Gaming
Finding entities with given uuids in the current project
mbork.pl·16h
🗄️Database Internals
A Question of Purpose: On Translating Russian Literature
hedgehogreview.com·2h·
Discuss: Hacker News
💻Programming languages
Hybrid AI-human approach is necessary to uphold research integrity
thehindu.com·10h·
Discuss: Hacker News
🔄Archival Workflows
What Is Practice Leadership?
ubuntu.com·1d·
Discuss: Hacker News
📟CLI Design
I adapted my film into a text-based adventure
kubicki.org·3d·
Discuss: Hacker News
🖥️Terminal Renaissance
Using Claude Code and Serena to Debug Serena Itself
davidlambauer.de·5d·
Discuss: Hacker News
👑Isabelle
TrailTrace: Go-based GPMF parser compiled to WebAssembly to explore GoPro metadata in the browser
reddit.com·4h·
Discuss: r/golang
🕸️WebP Analysis
A Full Code Agent in 200 Lines
cthiriet.com·5d·
Discuss: Hacker News
⚡Proof Automation
Manogna Sammeta’s Leadership Transforms System Sync with 92% Improvement
hackernoon.com·4d
👁️Observatory Systems
Agentic Coding Is A Fundamental Shift
saewitz.com·4d·
Discuss: Hacker News
🔢Coding Theory
systemd 258-rc1 Is A Massive Feature Release With New Tools, More Than 260 Changes
phoronix.com·3d·
Discuss: Lobsters, Hacker News
🔌Operating system internals
🔄 Introducing Galus: A Lightweight and Blazing-Fast Live Reload Tool for Go Developers
dev.to·14h·
Discuss: DEV
🔄Reproducible Builds
Beyond the Migration: Optimizing Legacy Code for AI Performance & Scalability
dev.to·5d·
Discuss: DEV
🌊Streaming Systems
DevLog 20250726: C# is the way, Python gets things done, JavaScript is convenient
dev.to·10h·
Discuss: DEV
🚀Indie Hacking
Students' Feedback Requests and Interactions with the SCRIPT Chatbot: Do They Get What They Ask For?
arxiv.org·2d
🎙️Whisper
Building Jetflow: a framework for flexible, performant data pipelines at Cloudflare
blog.cloudflare.com·3d·
Discuss: Hacker News
🌊Stream Processing
A Blueprint for Implementing RAG at Scale
thenewstack.io·4d
🔍Information Retrieval
Pingy: Building with Bolt - WLH Challenge
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
Agent vs Generative AI: Navigating the Future of Intelligent Collaboration
dev.to·2d·
Discuss: DEV
🧭Content Discovery