👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Generating C functions and prototypes using macros – part 2
subethasoftware.com·1d
🦀Rust Macros
Developer Spotlight: Drivers of Innovation – The Chowmain Way
blogs.qsc.com·7h
🔌Interface Evolution
Outlandish Recursive Query Examples
sqlite.org·2h·
Discuss: Lobsters
🗄️SQLite Internals
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·1d
🎯Performance Proofs
Language Models Coupled with Metacognition Can Outperform Reasoning Models
arxiv.org·23h
🧠Intelligence Compression
MTalk-Bench: Evaluating Speech-to-Speech Models in Multi-Turn Dialogues via Arena-style and Rubrics Protocols
arxiv.org·23h
🎙️Whisper
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·1d·
Discuss: Hacker News
✅Format Verification
k-NN Classification and Model Evaluation
dev.to·20h·
Discuss: DEV
🧠Machine Learning
The Hexagon: A Battle-Tested Blueprint for Your Event-Driven App
mina-tafreshi.medium.com·7h·
Discuss: Hacker News
🌊Streaming Systems
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Show HN: SQLite Extensions Guide
github.com·14h·
Discuss: Hacker News
🧩SQLite Extensions
Creating Wikipedia Search Embeddings with a Gaia Node
dev.to·17h·
Discuss: DEV
🏛Wikidata
Analysis of Harpy's Constrained Trotting and Jumping Maneuver
arxiv.org·23h
🌀Differential Geometry
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
arxiv.org·23h
✨Algebraic Effects
Using AI to build an AI Security Product
dev.to·10h·
Discuss: DEV
⚡Proof Automation
Put a ring on it: a lock-free MPMC ring buffer
h4x0r.org·12h·
Discuss: Lobsters, Hacker News, r/programming
⚡Hardware Transactional Memory
Using Gemini CLI as a Subagent for Claude Code
aicodingtools.blog·1d·
Discuss: Hacker News
⚡Proof Automation
Visual-CoG: Stage-Aware Reinforcement Learning with Chain of Guidance for Text-to-Image Generation
arxiv.org·23h
🤖Advanced OCR
Benchmarking GPT-5 vs Claude 4 Sonnet on 200 Requests
dev.to·12h·
Discuss: DEV
⚙️Compression Benchmarking