👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Category and Tag Pages with Eleventy
joshtronic.com·1d
🔗Online Curation
Don't write bugs
teamten.com·2d·
Discuss: Lobsters, Hacker News
📜Proof Carrying Code
sqlalchemy check constraints and operator precedence
blog.kobaltlabs.com·2d·
Discuss: Hacker News
🛡️Preservation Proofs
When LLMs Grow Hands and Feet, How to Design Our Agentic RL Systems?
amberljc.github.io·2d·
Discuss: Hacker News
⚡Incremental Computation
7 Best Practices for API Design 🔥
newsletter.systemdesign.one·1d·
Discuss: r/programming
⚡gRPC
AI Is Currently Hitting the Wall of Code Structure
modgo.org·1d·
Discuss: Hacker News
📏Code Metrics
Announcing slimcontext: A Lightweight, Model-Agnostic Chat History Compression Utility 🚀
dev.to·20h·
Discuss: DEV
🎙️Whisper
Enhanced Gravitational Wave Anomaly Detection via Deep Learning Calibration of Cosmic Microwave Background Polarization
dev.to·2d·
Discuss: DEV
🌀Differential Geometry
Dynamic Resource Orchestration via Predictive Container Scaling in Kubernetes
dev.to·2d·
Discuss: DEV
🌊Streaming Systems
Lambda@Home: Run AWS Lambda Functions Locally with Docker
reddit.com·1d·
Discuss: r/homelab
🏠Homelab Orchestration
Transition of car-based human-mobility in the pandemic era: Data insight from a cross-border region in Europe
arxiv.org·10h
🔶Voronoi Diagrams
Learning Multidimensional Urban Poverty Representation with Satellite Imagery
arxiv.org·10h
🧠Machine Learning
Leveraging Transfer Learning and Mobile-enabled Convolutional Neural Networks for Improved Arabic Handwritten Character Recognition
arxiv.org·10h
🤖Advanced OCR
Predictive Maintenance of Unitized Curtain Wall Systems via Multi-Modal Sensor Fusion and Anomaly Detection
dev.to·2d·
Discuss: DEV
⚡SMT Applications
BIDO: A Unified Approach to Address Obfuscation and Concept Drift Challenges in Image-based Malware Detection
arxiv.org·3d
🔗Binary Similarity
Robots by Request: Designing Intelligent Machines with Natural Language by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🤖AI Translation
Exploiting Unlabeled Structures through Task Consistency Training for Versatile Medical Image Segmentation
arxiv.org·10h
🧠Machine Learning
"A Record for the Future — When GitHub Became a Witness Stand"
dev.to·8h·
Discuss: DEV
🧬Bitstream Evolution
Quality vs. Efficacy: Learning with AI
dev.to·3d·
Discuss: DEV
🧠Intelligence Compression
Multimodal Foundation Model-Driven User Interest Modeling and Behavior Analysis on Short Video Platforms
arxiv.org·10h
🧭Content Discovery