👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

WorldCat Editions and Holdings Release
annas-archive.org·1d·
Discuss: Hacker News
📚MARC Records
Implementing Namespaces and Coding Standards in WordPress Plugin Development
developer.wordpress.org·3d·
Discuss: Hacker News
✅Format Verification
P2 Is the New Papercraft
noteflakes.com·2d·
Discuss: Hacker News
📄PostScript
The founder of ID.me on war, vocation, and identity
joincolossus.com·22h·
Discuss: Hacker News
🎯Threat Hunting
humanely dealing with humungus crawlers
flak.tedunangst.com·4d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
🐧FOSS
Intel Talent Bleed Continues
slashdot.org·2d
🧪Hardware Fuzzing
AI Prompts for Self-Reflection
josecasanova.com·2d·
Discuss: Hacker News
🧠Personal Knowledge Base
Gemini tops App Store; Grok 4 Fast ships; ChatGPT gets harder to trick
lightcapai.medium.com·1d·
Discuss: Hacker News
🌀Brotli Internals
A Beginner’s Guide to Types of Regression Analysis
dev.to·10h·
Discuss: DEV
🧪Data science
Scaffolding for production vibe coding
interjectedfuture.com·5d·
Discuss: Hacker News
📏Code Metrics
Anthropic Economic Index: Tracking AI's role in the US and global economy
anthropic.com·16h·
Discuss: Hacker News
🌍Cultural Algorithms
MediVision Assistant
dev.to·21h·
Discuss: DEV
🏛Digital humanities
AI Adoption vs. AI Trust: What Udacity’s Latest Research Reveals
dev.to·11h·
Discuss: DEV
🗺️Competency Maps
MAPSS: Manifold-based Assessment of Perceptual Source Separation
arxiv.org·3d
👁️Perceptual Coding
Predictive Haptic Feedback Calibration for VR-Controlled Robotic Surgery via Reinforcement Learning
dev.to·1d·
Discuss: DEV
✋Tactile Computing
Audio Deepfakes: The Achilles' Heel of AI Voice Security by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
👂Audio Evidence
Unlock Restaurant Efficiency with AI Voice Agents: Pannalabs.ai's Game-Changer
dev.to·1d·
Discuss: DEV
🤖AI Curation
DiFlow-TTS: Discrete Flow Matching with Factorized Speech Tokens for Low-Latency Zero-Shot Text-To-Speech
arxiv.org·3d
🎙️Whisper
Real-Time AR Furniture Placement Optimization via Dynamic Scene Graph Pruning
dev.to·1d·
Discuss: DEV
📐Projective Geometry
Symmetries in stochastic homogenization and acclimatizations for the RVE method
arxiv.org·3d
📐Linear Algebra