🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

World Record Broken: 50-Qubit Quantum Computer Fully Simulated for the First Time
scitechdaily.com·11h
⚛️Quantum Tape
Flag this post
Home - Lapwing for Beginners
lapwing.aerick.ca·23h
λLambda Formalization
Flag this post
Mad drunk on the mead of poetry
blog.zarfhome.com·1d
🧪CBOR Fuzzing
Flag this post
Misleading PDF: visual content differs from extracted text
czterycztery.pl·4h·
Discuss: Hacker News
📜Text Collation
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·12h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.ai·11h·
Discuss: Hacker News
📄Text Chunking
Flag this post
PyPitfall: Dependency Chaos and Software Supply Chain Vulnerabilities in Python
nocomplexity.substack.com·20h·
Discuss: Substack
🔗Dependency Resolution
Flag this post
Build your own cursor
dev.to·3h·
Discuss: DEV
⚡Proof Automation
Flag this post
Verifying and testing timeliness constraints of Haskell programs
well-typed.com·2d·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
Is Matrix Multiplication Ugly?
mathenchant.wordpress.com·1d·
Discuss: Hacker News
🔬Lean
Flag this post
New research reveals the cognitive hurdles created by our number systems
psypost.org·1d·
Discuss: Hacker News
🎯Arithmetic Coding Theory
Flag this post
Show HN: Nemorize – AI-powered spaced repetition for learning anything
nemorize.com·1d·
Discuss: Hacker News
🤖Grammar Induction
Flag this post
I use AI to synthesize all my datasets now
thefulldatastack.substack.com·14h·
Discuss: Substack
🧠Query Planners
Flag this post
Artificial Intelligence and Origin of Life Prize, $10M USD
herox.com·10h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
The Loss of Control Playbook: Degrees, Dynamics, and Preparedness
arxiv.org·2d
🔲Cellular Automata
Flag this post
Silent Signals: Hiding Red Team Operations in AI Noise by Arvind Sundararajan
dev.to·4h·
Discuss: DEV
🎯Threat Hunting
Flag this post
DeepMind’s latest: An AI for handling mathematical proofs
arstechnica.com·3d·
Discuss: Hacker News
🎯Performance Proofs
Flag this post
Post-Quantum Cryptography in .NET
devblogs.microsoft.com·4d·
Discuss: Hacker News
🔐Quantum Security
Flag this post
Walrus: A Cross-Domain Foundation Model for Continuum Dynamics
polymathic-ai.org·1d·
Discuss: Hacker News
📊Quantization
Flag this post
Show HN: Mamba2-Jax; Mamba2 implemented in pure Jax/Flax
github.com·19h·
Discuss: Hacker News
💧Liquid Types
Flag this post