⚙️ TLA+

Specification Language, Distributed Systems, Temporal Logic, System Modeling

Undone Computer Science
undonecs.org·3d·
Discuss: Hacker News, r/compsci
🌍Cultural Algorithms
Confidence in AI Results (CAIR)
blog.langchain.com·16h
📏Code Metrics
Show HN: I made an extension for VSCode that integrates opencode
marketplace.visualstudio.com·1d·
Discuss: Hacker News
🪟Awesome windows command-line
Show HN: I just published my practical guide to building a database server
leanpub.com·14h·
Discuss: Hacker News
🗄️Database Internals
Deploy a full stack voice AI agent with Amazon Nova Sonic
aws.amazon.com·2d
🌊Streaming Systems
Gain a Better Understanding of Computer Vision: Dynamic SOLO (SOLOv2) with TensorFlow
towardsdatascience.com·2d
📊Learned Metrics
CrewAI meets RAG: built-in and custom solutions
dev.to·9h·
Discuss: DEV
⚡Proof Automation
Migrating over 30 lambdas from Serverless Framework with LLMs
intmaker.com·3d·
Discuss: Hacker News
🦋Format Metamorphosis
Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.org·3d
📏Linear Logic
ECS Survivors Part VI: Code Refactor
blog.ptidej.net·1d·
Discuss: Hacker News
🦀Rust Borrowing
Effective Practices for Coding with a Chat-Based AI
infoq.com·3d·
Discuss: Hacker News
🔄Language Evolution
Machine Learning Fundamentals: ensemble learning tutorial
dev.to·6h·
Discuss: DEV
🌊Stream Processing
Show HN: An Intuitive Go Library for Handling Complex Permission/RBAC
github.com·1d·
Discuss: Hacker News
🔐Capability Systems
Google Gemini CLI: AI Agent for Developers with 1000 model requests per day
dev.to·1h·
Discuss: DEV
🔓Open Source Software
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·2d·
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