๐Ÿ“‹ Formal Verification

Model Checking, Theorem Proving, Specification Languages, Correctness, Proof Assistants, Correctness Guarantees, Logic Systems, Specification, Proof Assistants, Coq, Lean, Program Correctness, Agda, TLA+, Model Checking, Safety Properties, Specifications

The Why of PGP Authentication
articles.59.caยท1d
๐Ÿ”‘Cryptographic Protocols
Sales pitch about why you should learn statistics
minireference.comยท1d
๐Ÿง Intelligence Compression
An enough week
blog.mitrichev.chยท2dยท
Discuss: blog.mitrichev.ch
๐ŸงฎZ3 Solver
Watching AWS Instance Types Evolution in 2025
rmazur.ioยท6hยท
Discuss: Hacker News
๐Ÿ”ŒInterface Evolution
Understanding conflict resolution and avoidance in PostgreSQL: a complete guide
pgedge.comยท1dยท
Discuss: Hacker News, r/programming
๐Ÿ›ก๏ธByzantine Fault Tolerance
OpenAI's inflated valuation, as I understand it
taloranderson.comยท1dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Building an AI Internal Linking Plugin for WordPress
dev.toยท14hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
LLM-Driven Rubric-Based Assessment of Algebraic Competence in Multi-Stage Block Coding Tasks with Design and Field Evaluation
arxiv.orgยท2d
๐Ÿ’ปProgramming languages
Bayesian Optimization for Dynamic Sample Size Allocation in A/B Testing
dev.toยท5hยท
Discuss: DEV
๐ŸงฎKolmogorov Bounds
Generalized Orders of Magnitude (GOOMs)
github.comยท10hยท
Discuss: Hacker News
๐Ÿ•ธ๏ธTensor Networks
More Than Code: Gearing Up for the Hackathon of the Year!๐Ÿš€
dev.toยท5hยท
Discuss: DEV
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Every Line of Code Is a Philosophy in Disguise
dev.toยท1dยท
Discuss: DEV
โš–๏ธEmulation Ethics
Test Case Generation from Bug Reports via Large Language Models: A Cognitive Layered Evaluation Framework
arxiv.orgยท3d
๐Ÿ”Concolic Testing
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.orgยท1dยท
Discuss: r/LLM
๐Ÿ’ปLocal LLMs
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.toยท6dยท
Discuss: DEV
โšกSMT Integration
Detecting Distillation Data from Reasoning Models
arxiv.orgยท4d
โš™๏ธABNF Mining
Aligning Language Models with Clinical Expertise: DPO for Heart Failure Nursing Documentation in Critical Care
arxiv.orgยท3d
๐Ÿ”„Archival Workflows
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท19hยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Using Pydantic for ETL - Clean, Validate, and Transform Data with Confidence
dev.toยท1dยท
Discuss: DEV
โœ…Format Validation
On the Pure Quantum Polynomial Hierarchy and Quantified Hamiltonian Complexity
arxiv.orgยท2d
โš›๏ธQuantum Algorithms