👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Why MCP Gives AI the ‘Arms and Legs’ for Real-World Action
thenewstack.io·3h
🔌Interface Evolution
Exploring the Dominion of Anoma
research.anoma.net·1d·
Discuss: Lobsters, Hacker News
🤝Paxos Consensus
The Emacs thread-related code needs a maintainer
lists.gnu.org·1d·
Discuss: Hacker News
🦀Rust Macros
State of the art for reducing executable size with optimized program
discourse.llvm.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Static Linking
Life, Intelligence, and Consciousness: A Functional Perspective
longnow.org·19h·
Discuss: Hacker News
🔲Cellular Automata
LLMs for Software Developers (notes from my talk at NWRUG)
theartandscienceofruby.com·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Scheme Basics
courses.cs.washington.edu·6d·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
A novel auxiliary equation neural networks method for exactly explicit solutions of nonlinear partial differential equations
arxiv.org·2d
🌀Riemannian Computing
How to Develop Powerful Internal LLM Benchmarks
towardsdatascience.com·1d
🔍Concolic Testing
Enhanced Telomerase-Responsive Drug Delivery via Self-Assembling Peptide Nanocarriers
dev.to·10h·
Discuss: DEV
📦METS Packaging
Reproducible LLM Benchmarking: GPT-5 vs Grok-4 with Promptfoo
dev.to·1d·
Discuss: DEV
⚡gRPC
Language Models Coupled with Metacognition Can Outperform Reasoning Models
arxiv.org·2d
🧠Intelligence Compression
Graph-R1: Incentivizing the Zero-Shot Graph Learning Capability in LLMs via Explicit Reasoning
arxiv.org·2d
💻Local LLMs
Real-Time Anomaly Detection in Friction Stir Welding using Multi-Modal Sensor Fusion and Bayesian Inference
dev.to·18h·
Discuss: DEV
📄Document Digitization
RLMR: Reinforcement Learning with Mixed Rewards for Creative Writing
arxiv.org·1d
🔲Cellular Automata
Synthetic Image Detection via Spectral Gaps of QC-RBIM Nishimori Bethe-Hessian Operators
arxiv.org·12h
🌀Fractal Compression
Dynamic Team Composition Optimization via Reinforcement Learning and Bayesian Network Integration
dev.to·10h·
Discuss: DEV
🧩WASM Components
Zig, Rust, Go?! I tried 3 low-level languages and here’s what I’m sticking with
dev.to·5h·
Discuss: DEV
🦀Rust Borrowing
Hosting Private AI with Railway
dev.to·16h·
Discuss: DEV
💻Local LLMs
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·3d·
Discuss: Hacker News
✅Format Verification