๐Ÿ“‹ 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

My first experience with Formal Methods | ZipCPU
zipcpu.comยท20h
๐Ÿ”งHardware Verification
And the other Big Red Logic Books?
logicmatters.netยท14h
๐Ÿ”€Category Theory
Managing Complex Failure Analysis Workflows with LLM-based Reasoning and Acting Agents
arxiv.orgยท1d
โœ“Automated Theorem Proving
Can All Knowledge Be Mined? A Formal Framework for ฯ†^โˆž Consequence Closure
researchgate.netยท13hยท
Discuss: Hacker News
๐Ÿ”ขDenotational Semantics
Five Uncomfortable Truths About LLMs in Production
lab.wallarm.comยท21h
โšกProof Automation
From Object-Oriented to Functional Programming. A Fractal Metamorphisis.
dev.toยท18hยท
Discuss: DEV
๐ŸงฌFunctional Programming
Structured Output for Beginners and 3 Prompting Tips
pocketflow.substack.comยท6hยท
Discuss: Substack
๐ŸŒณIncremental Parsing
Linters, Formatters, and Type-Checkers
playfulprogramming.comยท1d
๐ŸŽฏGradual Typing
graven-image: Portability library for CL image in REPL
github.comยท12hยท
Discuss: Lobsters
๐Ÿฆ€Rust Macros
What I learned from the book Designing Data-Intensive Applications
newsletter.techworld-with-milan.comยท15hยท
Discuss: r/compsci, r/programming
๐Ÿ—„๏ธDatabase Internals
OWASP Top for Business Logic Abuse
owasp.orgยท16hยท
Discuss: Hacker News
๐Ÿ”’WASM Capabilities
Type Inference for Decompiled Code: From Hidden Semantics to Structured Insights
binarly.ioยท2d
๐Ÿ”“Decompilation
Beyond Code-Centric: Agents Code but the Problem of Clear Specification Remains
gregceccarelli.comยท16hยท
Discuss: Hacker News
๐Ÿ“Code Metrics
LLM-as-a-Judge: A Practical Guide
towardsdatascience.comยท11h
๐Ÿ”—Constraint Handling
MCP Specification - 2025-06-18
modelcontextprotocol.ioยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ“ABNF Parsing
ChatModel: Automating Reference Model Design and Verification with LLMs
arxiv.orgยท1d
๐Ÿ”งHardware Verification
Getting Started with Dafny: A Guide
dafny.orgยท2dยท
Discuss: Hacker News
๐Ÿ”—Lisp
Introducing Cedar Analysis: Open Source Tools for Verifying Authorization Policies
aws.amazon.comยท3dยท
Discuss: Hacker News
โœ…Formal Methods
The Less Humble Programmer (2023)
digitalhumanities.orgยท10hยท
Discuss: Lobsters, Hacker News
๐Ÿ“œProof Carrying Code
From LLM to AI Agent: What's the Real Journey Behind AI System Development?
codelink.ioยท21hยท
Discuss: Hacker News
๐Ÿ”—Constraint Handling