📐 TLA+

Formal Methods, Distributed Algorithms, Model Checking, Correctness

[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·1d
🔨Incremental Compilation
Flag this post
On Async Mutexes
matklad.github.io·2d·
Discuss: Lobsters, Hacker News
🔄Concurrency Patterns
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·1d·
Discuss: Hacker News
λFunctional Programming
Flag this post
BoxLambda OS Software Architecture, First Draft
epsilon537.github.io·23h·
Discuss: Hacker News
💻Operating Systems
Flag this post
Going From Reactive to Predictive Incident Response with AIOps
hackernoon.com·1d
⚡Performance Engineering
Flag this post
Balancing Cost, Power, and AI Performance
oreilly.com·1d
🚀Performance
Flag this post
Automate Slack workflows with LangGraph
scalekit.com·15h·
Discuss: DEV
☁️Cloudflare Workers
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·1d·
Discuss: Lobsters, Hacker News
⚙️Systems Programming
Flag this post
Top Open Source Tools for Kubernetes ML: From Development to Production
dev.to·1d·
Discuss: DEV
🚀MLOps
Flag this post
Crushing ML Latency: The (Un)Official Best Practices for Systems Optimisation
pub.towardsai.net·22h
🚀Performance
Flag this post
Minimalistic CLAUDE.md for new projects: Follow SOLID, DRY, YAGNI, KISS
reddit.com·1d·
Discuss: r/ClaudeAI
🔨Incremental Compilation
Flag this post
Why your AI evals keep breaking
atla-ai.com·1d·
Discuss: Hacker News
📱Edge AI
Flag this post
Why AI infrastructure and multi-platform compute strategy matters now?
dev.to·5h·
Discuss: DEV
⚡Hardware Acceleration
Flag this post
Building Trinity Protocol v3.1: A Deep Dive into 2-of-3 Multi-Chain Consensus
dev.to·2d·
Discuss: DEV
🤝Paxos
Flag this post
A brief guide for those who slept (on AI) the last two years
dev.to·12h·
Discuss: DEV
💬Prompt Engineering
Flag this post
Microservices vs. Monoliths: Finding the Right Balance
dev.to·10h·
Discuss: DEV
🎯Microservices
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·3d·
Discuss: Hacker News
✓Formal Verification
Flag this post
Building MeridianDB: Solving AI's Memory Crisis with Multi-Dimensional RAG
dev.to·18h·
Discuss: DEV
📱Edge AI
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·1d·
Discuss: Hacker News
🛡️Error Handling
Flag this post
EDL - a JIT-compiled scripting language for certain performance critical workloads with high compatibility with Rust; written in Rust
reddit.com·2d·
Discuss: r/rust
🦀Rust Macros
Flag this post