📐 TLA+

Formal Methods, Distributed Algorithms, Model Checking, Correctness

Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·1d
🌳Mergeable Trees
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
repoprompt.com·8h·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·2d·
Discuss: Lobsters
✓Formal Verification
Flag this post
Building Resilient Event-Driven Systems: Lessons from the Distributed Trenches
dev.to·1d·
Discuss: DEV
🔄Distributed Systems
Flag this post
[Research] Cross-Stage Vulnerabilities in Large Language Model Architectures
reddit.com·20h·
Discuss: r/LocalLLaMA
🛡️AI Security
Flag this post
News for October 2025
ptreview.sublinear.info·1d
✅Property Testing
Flag this post
Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
paperium.net·2d·
Discuss: DEV
🧮SMT Solvers
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·6h
🧮SMT Solvers
Flag this post
Famed software engineer DJB tries Fil-C and likes what he sees
theregister.com·15m·
Discuss: Hacker News
🐛Fuzzing
Flag this post
Algorithmic Complexity Reduction via Quantized State Space Search
dev.to·17h·
Discuss: DEV
⚛️Quantum Computing
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
✓Formal Verification
Flag this post
OpenLoRa: Validating LoRa Implementations Through an Open-Sourced Framework
usenix.org·2h·
Discuss: Hacker News
🔍eBPF
Flag this post
Minimalistic CLAUDE.md for new projects: Follow SOLID, DRY, YAGNI, KISS
reddit.com·8h·
Discuss: r/ClaudeAI
🔨Incremental Compilation
Flag this post
Crushing ML Latency: The (Un)Official Best Practices for Systems Optimisation
pub.towardsai.net·5h
🚀Performance
Flag this post
Building a highly-available web service without a database
screenshotbot.io·2h·
Discuss: r/programming
🦀Rust
Flag this post
The Science of AI Internal State Awareness
responseawareness.substack.com·19h·
Discuss: Substack
💬Prompt Engineering
Flag this post
Enabling Trillion-Parameter Models on AWS EFA
research.perplexity.ai·10h·
Discuss: Hacker News
⚡Hardware Acceleration
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography for Secure Model Aggregation in Cross-Silo Envir...
dev.to·1h·
Discuss: DEV
🔢Homomorphic Encryption
Flag this post
Creating Lisp Systems
renato.athaydes.com·3h·
Discuss: Hacker News
🏭Code Generation
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
💎Refinement Types
Flag this post