🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

CRYPTO 2025: Row Reduction Techniques for n-Party Garbling
esat.kuleuven.be·1d
🌊Stream Ciphers
Abstract algebra structures made easy
blog.sesse.net·3d
🔀Category Theory
The Dogs in Pursuit Problem
theguardian.com·16h·
Discuss: Hacker News
λLambda Encodings
MCP Tools and Dependent Types
vlaaad.github.io·22h·
Discuss: Hacker News
💧Liquid Types
How I Made Ruby Faster Than Ruby
noteflakes.com·21h·
Discuss: Hacker News
🔧KAITAI
Predicting ChatGPT Use in Assignments: Implications for AI-Aware Assessment Design
arxiv.org·4h
🗺️Competency Maps
MoonBit Language Tour
tour.moonbitlang.com·12h·
Discuss: Lobsters
λLambda Formalization
On Strong and Weak Admissibility in Non-Flat Assumption-Based Argumentation
arxiv.org·1d
🔲Proof Irrelevance
Natural Language → SQL with Reinforcement Fine Tuning (RFT)
docs.fireworks.ai·9h·
Discuss: Hacker News
🔗Constraint Handling
Introducing Pivotal Token Search (PTS): Targeting Critical Decision Points in LLM Training
huggingface.co·1d·
Discuss: Hacker News, r/LLM, r/programming
🎯Interactive Provers
Implicit-Explicit Scheme with Multiscale Vanka Two-Grid Solver for Heterogeneous Unsaturated Poroelasticity
arxiv.org·4h
💧Liquidhaskell
EvoCut: Strengthening Integer Programs via Evolution-Guided Language Models
arxiv.org·4h
🧮Z3 Solver
Von Neumann's minimax theorem through Fourier-Motzkin elimination
arxiv.org·1d
🎯Performance Proofs
GPT-5 goes hard on real-world programming
omerba.dev·19h·
Discuss: Lobsters, Hacker News
✅Format Verification
The Impact of Large Language Models (LLMs) on Code Review Process
arxiv.org·1d
📏Code Metrics
Copyright Protection for Large Language Models: A Survey of Methods, Challenges, and Trends
arxiv.org·1d
🧪Archive Fuzzing
Latent Plan Transformer for Trajectory Abstraction: Planning as Latent Space Inference
arxiv.org·4h
📊Quantization
We raised $7.3M to build an open-source stack for industrial-grade LLM apps
tensorzero.com·2h·
Discuss: Hacker News
⚡SMT Integration
Why ChatGPT Prioritizes Engagement Over Truth
dev.to·5h·
Discuss: DEV
⚡Proof Automation
Encoding and Reasoning About Arrays in Set Theory
arxiv.org·1d
💻Programming languages