👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Fact-checking when blogging
perrotta.dev·16h
🔗Online Curation
Finding Bugs in a Coding Agent with Lightweight DST
wickstrom.tech·1d·
Discuss: Lobsters, Hacker News
🐛Fuzzing
5 Tokens to Invest In as the Fed Ends Program That Increased Bank Scrutiny of Crypto
hackernoon.com·1d
🔗Hash Chains
Popular nx packages compromised on NPM
aikido.dev·1d·
Discuss: Hacker News
💣ZIP Vulnerabilities
The Vibe Coding Paradox: Why You Need to Be a Better Developer, Not Worse
ksred.com·8h·
Discuss: Hacker News
📏Code Metrics
An eyecare foundation model for clinical assistance
nature.com·2h·
Discuss: Hacker News
🤖Advanced OCR
Mastering Amazon Q Developer with Rules
aws.amazon.com·13h
🔗Constraint Handling
ISACL: Internal State Analyzer for Copyrighted Training Data Leakage
arxiv.org·2d
💻Local LLMs
Meta-R1: Empowering Large Reasoning Models with Metacognition
arxiv.org·2d
🧠Intelligence Compression
Proving You Are You, Again and Again
dev.to·1d·
Discuss: DEV
🔐PKI Archaeology
You're doing context engineering wrong
github.com·1d·
Discuss: Hacker News
🤖Archive Automation
HAEPO: History-Aggregated Exploratory Policy Optimization
arxiv.org·1d
🧠Machine Learning
LLMs Can't Handle Peer Pressure: Crumbling under Multi-Agent Social Interactions
arxiv.org·1d
🔲Cellular Automata
Tidal Torque-Induced Angular Momentum Transfer in Micro-Robotic Swarms: Validation & Scalable Control
dev.to·4h·
Discuss: DEV
⚙️Tape Mechanics
Evaluation and LLM-Guided Learning of ICD Coding Rationales
arxiv.org·2d
🔗Constraint Handling
Sound and Solution-Complete CCBS
arxiv.org·3d
🛡️Archive Verification
So… you wanna build with LLMs?
dev.to·11h·
Discuss: DEV
💧Liquid Types
Convergence and Generalization of Anti-Regularization for Parametric Models
arxiv.org·2d
🧠Machine Learning
A novel auxiliary equation neural networks method for exactly explicit solutions of nonlinear partial differential equations
arxiv.org·2d
🌀Riemannian Computing
Reproducible LLM Benchmarking: GPT-5 vs Grok-4 with Promptfoo
dev.to·2d·
Discuss: DEV
⚡gRPC