👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Debugging Humidity: Lessons from deploying software in the physical world
physical-ai.ghost.io·9h·
Discuss: Hacker News
🛡️Error Boundaries
Less Is More: Recursive Reasoning with Tiny Networks
github.com·2d·
Discuss: Hacker News
📊Quantization
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·4h·
Discuss: Hacker News
🎧Learned Audio
10 Data + AI Observations for Fall 2025
towardsdatascience.com·15h
🌊Stream Processing
Two-Stage Voting for Robust and Efficient Suicide Risk Detection on Social Media
arxiv.org·1d
💾Binary Linguistics
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.org·1d
📋Document Grammar
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·4d
⚡Proof Automation
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📈Linear programming
Nearest Neighbor CCP-Based Molecular Sequence Analysis
arxiv.org·1d
🔄Burrows-Wheeler
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·16h·
Discuss: r/programming
🧠Lisp Dialects
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·9h·
Discuss: DEV
⚡Incremental Computation
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.org·1d
🧠Machine Learning
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·1d
🧮Kolmogorov Complexity
On the Pure Quantum Polynomial Hierarchy and Quantified Hamiltonian Complexity
arxiv.org·2d
⚛️Quantum Algorithms
RND1: Simple, Scalable AR-to-Diffusion Conversion
radicalnumerics.ai·1d·
Discuss: Hacker News
💻Local LLMs
From Defender to Devil? Unintended Risk Interactions Induced by LLM Defenses
arxiv.org·1d
✨Effect Handlers
GPT-5 for AI-assisted discovery
johndcook.com·14h·
Discuss: Hacker News
🎯Performance Proofs
Test-Time Reasoners Are Strategic Multiple-Choice Test-Takers
arxiv.org·1d
✓Automated Theorem Proving
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org·1d
💻Programming languages