Formal Methods, Distributed Algorithms, Model Checking, Correctness

PAINT25 Invited Talk transcript: “Notational Freedom via Self-Raising Diagrams”
programmingmadecomplicated.wordpress.com·1d
🔤Language Design
Flag this post
On Async Mutexes
matklad.github.io·1d·
🔄Concurrency Patterns
Flag this post
channels-console - Real-time monitoring, metrics and logs for Rust channels
github.com·2h·
Discuss: r/rust
Hyper
Flag this post
Balancing Cost, Power, and AI Performance
oreilly.com·1d
🚀Performance
Flag this post
Microservices vs. Monoliths: Finding the Right Balance
dev.to·2h·
Discuss: DEV
🎯Microservices
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
Building a Smart Task Tracker Agent for Telex.im with ASP.NET Core
dev.to·9h·
Discuss: DEV
🤖Automation
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·11h·
Discuss: DEV
📱Edge AI
Flag this post
Low-Level Hacks
blog.raycursive.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
Self-Harmony: Learning to Harmonize Self-Supervision and Self-Play in Test-Time Reinforcement Learning
arxiv.org·1d
💬Prompt Engineering
Flag this post
LA-MARRVEL: A Knowledge-Grounded and Language-Aware LLM Reranker for AI-MARRVEL in Rare Disease Diagnosis
arxiv.org·15h
🚀MLOps
Flag this post
Designing Data-Intensive Applications [Book Review]-The Big Ideas Behind Reliable, Scalable and Maintainable Systems
dev.to·4h·
Discuss: DEV
🏗️System Design
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·1d·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
Hephaestus: AI workflows that discover and create their own tasks as they work
reddit.com·10h·
Discuss: r/LocalLLaMA
FastAPI
Flag this post
iFlyBot-VLA Technical Report
arxiv.org·15h
📱Edge AI
Flag this post
Logic-informed reinforcement learning for cross-domain optimization of large-scale cyber-physical systems
arxiv.org·1d
💬Prompt Engineering
Flag this post
Generalizing Test-time Compute-optimal Scaling as an Optimizable Graph
arxiv.org·1d
📱Edge AI
Flag this post
Nonlinear Instabilities in Computer Network Dynamics
arxiv.org·15h
🕸️Mesh Networks
Flag this post