🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Announcing template-haskell-lift and template-haskell-quasiquoter
informal.codes·2d
🔗Functional Compilers
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.io·1d·
Discuss: Hacker News, r/LLM
λLambda Encodings
OO Design Principles: CUPID
slott56.github.io·2d
🐚Shell Calculus
Four years, Five failures, One compiler
daymare.net·18h·
Discuss: Hacker News, r/programming
🏗️Compiler Archaeology
The Making of Digital Identity – The Birth of Digital Authentication
syntheticauth.ai·11h·
Discuss: Hacker News
🔐PKI Archaeology
MathArena Apex: Unconquered Final-Answer Problems
matharena.ai·22h·
Discuss: Hacker News
🧮SMT Solvers
Smart Specs: Automating Engineering Standards for Error-Free Design
vibe.forem.com·1d·
Discuss: DEV
📋Format Specification
TypeNet Benchmark for development of authentication keystroke technologies
github.com·23h·
Discuss: Hacker News
🗜️LZSS Variants
94% of AI Developers Ignore This Theorem Prover. Here's Why That's Costing Millions.
dev.to·20h·
Discuss: DEV
⚙️Proof Engineering
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·8h·
Discuss: Hacker News
🧮Algebraic Datatypes
RacketCon (fifteenth) October 4-5, 2025
con.racket-lang.org·2d·
Discuss: Lobsters, Hacker News
🔤Type Theory
Prompting Techniques for Specialised LLMs
dev.to·10h·
Discuss: DEV
🔗Constraint Handling
Formal Framework for Quantum Advantage
arxiv.org·2d
🔐Quantum Security
How Much Should You Tell Your AI Agent?
raymondyxu.com·9h·
Discuss: Hacker News
⚡Proof Automation
Ask HN: Systems Development Path
news.ycombinator.com·1d·
Discuss: Hacker News
🦀Rust Borrowing
Google Chrome RCE (No Sandbox) via CanonicalEquality:EqualValueType()
ssd-disclosure.com·7h·
Discuss: Hacker News
🛡️WASM Security
Generative AI finds antimicrobial peptides against multidrug-resistant bacteria
nature.com·1d·
Discuss: Hacker News
⚙️ABNF Mining
Math Is the Bridge: Axiom's Signal Flare and the Coming Reasoning Renaissance
zakelfassi.com·2d·
Discuss: Hacker News
⚙️Proof Engineering
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·12h·
Discuss: Hacker News
🕸️Knowledge Graphs
The Integral Guide to Well-Being
integralguide.com·16m·
Discuss: Hacker News
🌱Personal Wikis