⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

Stack frame layout on x86-64
eli.thegreenplace.net·7h·
Discuss: Hacker News
🔧RISC-V Assembler
Undone Computer Science
undonecs.org·3d·
Discuss: Hacker News, r/compsci
🌍Cultural Algorithms
Confidence in AI Results (CAIR)
blog.langchain.com·21h
📏Code Metrics
Show HN: I just published my practical guide to building a database server
leanpub.com·19h·
Discuss: Hacker News
🗄️Database Internals
Show HN: I made an extension for VSCode that integrates opencode
marketplace.visualstudio.com·1d·
Discuss: Hacker News
🪟Awesome windows command-line
"The Bitter Lesson" is wrong. Well sort of
assaf-pinhasi.medium.com·10h·
Discuss: Hacker News
🧠Intelligence Compression
ECS Survivors Part VI: Code Refactor
blog.ptidej.net·1d·
Discuss: Hacker News
🦀Rust Borrowing
Gain a Better Understanding of Computer Vision: Dynamic SOLO (SOLOv2) with TensorFlow
towardsdatascience.com·2d
📊Learned Metrics
Probabilistic Soundness Guarantees in LLM Reasoning Chains
arxiv.org·2d
🛡️Proof-Carrying Archives
Voice UI Integration: The Future of Human-Computer Interaction
dev.to·2d·
Discuss: DEV
🎙️Whisper
Thoughts on AI and software development - Part 5
ufried.com·3d·
Discuss: Hacker News
⚡Incremental Computation
Sandboxing AI - Extending AI Responsibly
dev.to·5d·
Discuss: DEV
🔒WASM Capabilities
GitLab Preps Platform for Building and Managing AI Agents for DevOps Teams
devops.com·2d
🔌Interface Evolution
TransEvalnia: Reasoning-based Evaluation and Ranking of Translations
arxiv.org·2d
⚙️Compression Benchmarking
Logging Best Practices: Defining Error Codes
thenewstack.io·2d
🛡️Error Boundaries
The Real Problem with AI Agents (and How We Built the Fix)
dev.to·1d·
Discuss: DEV
⚡Proof Automation
🆘 First time post — Landed in a complex k8s setup, not sure if we should keep it or pivot?
reddit.com·18h·
Discuss: r/kubernetes
📦Container Security
How the Free Software Foundation Battles the LLM Bots
thenewstack.io·14h·
Discuss: Hacker News
🚀Indie Hacking
Agents Built from Alloys
xbow.com·3d·
Discuss: Hacker News, Hacker News, Hacker News
⚡Proof Automation
Beyond Single Models: Enhancing LLM Detection of Ambiguity in Requests through Debate
arxiv.org·3d
📝ABNF Parsing