⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

Confidence in AI Results (CAIR)
blog.langchain.com·9h
📏Code Metrics
Show HN: I made an extension for VSCode that integrates opencode
marketplace.visualstudio.com·18h·
Discuss: Hacker News
🪟Awesome windows command-line
What's happening to Matlab? Or, "The slow demise of the engineering toolbox"
blog.pictor.us·2d·
Discuss: Hacker News
🔩Systems Programming
Deploy a full stack voice AI agent with Amazon Nova Sonic
aws.amazon.com·1d
🌊Streaming Systems
This Should Not Be Possible
ghuntley.com·1d·
Discuss: Hacker News
🛡️eBPF Security
Agents are advancing, fast. Security Needs to Keep Pace
techradar.com·2d
🔐Capability Systems
Show HN: I just published my practical guide to building a database server
leanpub.com·6h·
Discuss: Hacker News
🗄️Database Internals
XRL Resources
github.com·2d·
Discuss: Hacker News
🔗Constraint Handling
Machine Learning Fundamentals: dropout project
dev.to·1d·
Discuss: DEV
🌊Stream Processing
RAG at the Crossroads - Mid-2025 Reflections on AI’s Incremental Evolution | RAGFlow
ragflow.io·2d·
Discuss: Hacker News, r/LocalLLaMA
🌀Brotli Internals
Building GoReleaser: from shell script to paid product
carlosbecker.com·1d·
Discuss: Hacker News
🔓Open Source Software
Machine Learning Fundamentals: dropout tutorial
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
State of the Art of Prompt Engineering • Mike Taylor • GOTO 2025
youtube.com·3d
🖥️Terminal Renaissance
Information-Theoretic Aggregation of Ethical Attributes in Simulated-Command
arxiv.org·2d
🔲Cellular Automata
LLMs Are Bad at Being Forced
morphllm.com·3d·
Discuss: Hacker News
💻Local LLMs
Ask HN: Where is Git for my Claude Code conversations?
news.ycombinator.com·17h·
Discuss: Hacker News
🏗️Compiler Archaeology
Context Engineering for AI Agents: Key Lessons from Manus
dev.to·1d·
Discuss: DEV
🏗️Compiler Archaeology
Undone Computer Science
undonecs.org·3d·
Discuss: Hacker News, r/compsci
🌍Cultural Algorithms
Migrating over 30 lambdas from Serverless Framework with LLMs
intmaker.com·3d·
Discuss: Hacker News
🦋Format Metamorphosis
ECS Survivors Part VI: Code Refactor
blog.ptidej.net·1d·
Discuss: Hacker News
🦀Rust Borrowing