📋 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

OpenELA Introduces Open-Source Verification Suite for Enterprise Linux
linuxiac.com·13h
🔓Open Source Software
Proving that every program halts
ntietz.com·3d
👑Isabelle
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog·5d
🧮Theorem Proving
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.org·1d
🔧Hardware Verification
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·3h·
Discuss: DEV
🦀Rust Borrowing
Show HN: Towards agentic Graph RAG: Enhancing graph retrieval with vector search
blog.kuzudb.com·2h·
Discuss: Hacker News
📊Graph Databases
LR(1) parse-tables generator
github.com·1d·
Discuss: Lobsters, Hacker News
🔍Z3 Parsing
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
The Internal Inconsistency of Large Language Models
blog.kortlepel.com·1d·
Discuss: Hacker News
💻Local LLMs
Machine Learning Fundamentals: active learning project
dev.to·8h·
Discuss: DEV
🧠Machine Learning
Programming Entry Level: how to interpreter
dev.to·1d·
Discuss: DEV
🔗Lisp
The Agent Testing Pyramid
rchaves.app·7h·
Discuss: Hacker News
🔍Concolic Testing
Cactus Language • Syntax 11
inquiryintoinquiry.com·2d
📝Concrete Syntax
Lessons from LangChain and Slack and MCP Integration
medium.com·1d·
Discuss: Hacker News
🔗Topological Sorting
Encouraging the use of LLMs made interviews easier (for us as interviewers)
danieltan.weblog.lol·14h·
Discuss: Hacker News
📐Proof Assistants
Is Your Automated Software Engineer Trustworthy?
arxiv.org·1d
⚡Proof Automation
The Bitter Lesson is coming for Tokenization
lucalp.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.org·1d
⚖️Hoare Logic
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.org·20h
💻Local LLMs
End of the line for coding LLMs will do a better job. How do I pay my mortgage?
daniel-payne-keldan-systems.medium.com·1d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing