🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Nix pills
nixos.org·20h
❄️Nixpkgs
Valuable News – 2025/10/06
vermaden.wordpress.com·2h
🔌Operating system internals
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·10h·
Discuss: Hacker News
🛡️WASM Security
Generative AI finds antimicrobial peptides against multidrug-resistant bacteria
nature.com·1d·
Discuss: Hacker News
⚙️ABNF Mining
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1h·
Discuss: DEV
📏Code Metrics
Math Is the Bridge: Axiom's Signal Flare and the Coming Reasoning Renaissance
zakelfassi.com·2d·
Discuss: Hacker News
⚙️Proof Engineering
Self-Reflective Generation at Test Time
arxiv.org·1h
⚡Incremental Computation
Optimizing Long-Form Clinical Text Generation with Claim-Based Rewards
arxiv.org·1h
📋Document Grammar
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·1h
🧮SMT Solvers
The Integral Guide to Well-Being
integralguide.com·2h·
Discuss: Hacker News
🌱Personal Wikis
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·15h·
Discuss: Hacker News
🕸️Knowledge Graphs
ExGRPO: Learning to Reason from Experience
arxiv.org·3d
👑Coq Tactics
Understanding the 4 Main Approaches to LLM Evaluation (From Scratch)
magazine.sebastianraschka.com·18h·
Discuss: Hacker News
✓Automated Theorem Proving
Issue 492
haskellweekly.news·3d·
Discuss: Hacker News
🔗Functional Compilers
Engineering Nirvana: When Valves Speak the Language of Code
dev.to·5h·
Discuss: DEV
⚙️Proof Engineering
Mitigating Modal Imbalance in Multimodal Reasoning
arxiv.org·1h
⬌Bidirectional Typing
Why do LLMs freak out over the seahorse emoji?
vgel.me·3h·
Discuss: Hacker News
🗜️LZW Variants
Three Meanings of "To Know"
madhadron.com·16h·
Discuss: Hacker News
🔍Archive Semantics
High-Quality Pull-Request Descriptions
racecondition.software·10h·
Discuss: Hacker News
⚙️Proof Engineering