✓ Formal verification

type theory, model checking, temporal logic, computational logic, theorem provers, SMT solvers, SAT solvers

A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News
🔌Embedded
Strong Goldbach in 2nd-order logic under standard semantics, semantically closed
medium.com·4d·
Discuss: Hacker News
🔌Embedded
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·2d·
Discuss: Hacker News
🔌Embedded
Unsupervised Model Improvement via Internal Coherence Maximization
huggingface.co·5h·
Discuss: Hacker News
🤖AI
How to Write Inductive Invariants
quint-lang.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🔌Embedded
Linear Types for Programmers
twey.io·1d·
Discuss: Hacker News
🔌Embedded
Is EXL3 doomed?
github.com·4h·
Discuss: r/LocalLLaMA
🤖AI
A Library Approach to Constant Template Parameters
brevzin.github.io·1d·
Discuss: Hacker News, r/cpp
🔌Embedded
Gödel: The Limits of Logic and the Foundations of Modern Mathematics
quantumzeitgeist.com·3d·
Discuss: Hacker News
🤖AI
Show HN: Accelerate AI agent development by grounding AI assistant in local docs
github.com·1d·
Discuss: Hacker News
🤖AI
What Is a Belief (Part 2: Language, Truth, and Logic)
neonomos.substack.com·2h·
Discuss: Substack
🔌Embedded
ECMA-262, 16th edition, June 2025
262.ecma-international.org·3h·
Discuss: Hacker News
🤖AI
Encoding SAT in OCaml GADTs
farlow.dev·6d·
Discuss: Hacker News
🔌Embedded
Using Dspy to Detect Document Boundaries
kmad.ai·15h·
Discuss: Hacker News
🤖AI
miniHDL: A Python Hardware Description Language DSL
nicholas.carlini.com·2d·
Discuss: Hacker News
🔌Embedded
Bay Area startup Harmonic gets gold medal at 2025 IMO with formal verification
harmonic.fun·4d·
Discuss: Hacker News
🤖AI
How should we learn from bugs?
typesanitizer.com·1h·
Discuss: Hacker News
🤝Using AI for programming
Someone on GitHub filed a bug report against reality, says P=NP cause causality
github.com·21h·
Discuss: Hacker News
🔌Embedded
Your AI Agent Needs Minimal Relevant Context at the Right Time
chkk.io·1h·
Discuss: Hacker News
🤖AI
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·3d·
Discuss: Hacker News
🤝Using AI for programming