⚙️ 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·13h
📏Code Metrics
Show HN: I made an extension for VSCode that integrates opencode
marketplace.visualstudio.com·22h·
Discuss: Hacker News
🪟Awesome windows command-line
Show HN: I just published my practical guide to building a database server
leanpub.com·10h·
Discuss: Hacker News
🗄️Database Internals
Deploy a full stack voice AI agent with Amazon Nova Sonic
aws.amazon.com·2d
🌊Streaming Systems
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
Machine Learning Fundamentals: dropout tutorial
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
Python Fundamentals: class methods
dev.to·6h·
Discuss: DEV
🔬Refinement Types
Matt Layman: Enhancing Chatbot State Management with LangGraph
mattlayman.com·2d
⚡Proof Automation
Ask HN: Where is Git for my Claude Code conversations?
news.ycombinator.com·21h·
Discuss: Hacker News
🏗️Compiler Archaeology
"The Bitter Lesson" is wrong. Well sort of
assaf-pinhasi.medium.com·2h·
Discuss: Hacker News
🧠Intelligence Compression
Context Engineering for AI Agents: Key Lessons from Manus
dev.to·1d·
Discuss: DEV
🏗️Compiler Archaeology
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
CrewAI meets RAG: built-in and custom solutions
dev.to·6h·
Discuss: DEV
⚡Proof Automation
Machine Learning Fundamentals: ensemble learning tutorial
dev.to·2h·
Discuss: DEV
🌊Stream Processing
[P] Cogency – ReAct agents in 3 lines, out of the box (Python OSS)
reddit.com·2d·
Discuss: r/MachineLearning
🌀Brotli Internals
Effective Practices for Coding with a Chat-Based AI
infoq.com·3d·
Discuss: Hacker News
🔄Language Evolution