👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

daily cover story
forbes.com·13h
💿WORM Storage
New statistical tool enhances prediction accuracy
phys.org·17h
🧠Intelligence Compression
Shepherd × Goblins update
spritely.institute·2d
✨Effect Handlers
Think Tasks Not Tools: Teaching AI Literacy in East Asian Art History
digitalorientalist.com·3d
🤖AI Paleography
Defold makes a big step towards first-class Teal support
defold.com·1d·
Discuss: Hacker News
📜Proof Carrying Code
I built "The Great Lock-In" app (currently trending on the App Store)
apps.apple.com·21h·
Discuss: Hacker News
🌀Brotli Internals
Should you opt-in to Swift 6.2's Main Actor isolation?
donnywals.com·23h·
Discuss: Hacker News
✨Effect Handlers
Status of wrapt (September 2025)
grahamdumpleton.me·1d
🦀Rust Macros
Building the AI-powered local smart home
home-assistant.io·1d·
Discuss: Hacker News
🏠Home Automation
How to Build a CI/CD Pipeline with AWS (Step-by-Step Guide)
dev.to·21h·
Discuss: DEV
🔄Reproducible Builds
Validation of a CT-brain analysis tool for measuring global cortical atrophy in older patient cohorts
arxiv.org·1d
📊Learned Metrics
Building Chatbot with Fastest Free AI for Beginners
dev.to·7h·
Discuss: DEV
⚡gRPC
Automated Analysis of X-ray Scattering Anomalies using Bayesian Neural Networks for Material Characterization
dev.to·1d·
Discuss: DEV
🔍Vector Forensics
Data Literacy: Empowering Employees with Essential Data Skills for the Modern Workplace
hackernoon.com·21h
🛡Cybersecurity
DEPF: A UAV Multispectral Object Detector with Dual-Domain Enhancement and Priority-Guided Mamba Fusion
arxiv.org·2d
👁️OCR Enhancement
Automated SIRT7-Dependent Metabolic Pathway Optimization via Deep Reinforcement Learning
dev.to·3d·
Discuss: DEV
🔲Cellular Automata
From StackOverflow to Vibe Coding: The Evolution of Copy-Paste Development
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Personalized Inhibition Training with Eye-Tracking: Enhancing Student Learning and Teacher Assessment in Educational Games
arxiv.org·1d
🔲Cellular Automata
Examining Vision Language Models through Multi-dimensional Experiments with Vision and Text Features
arxiv.org·1d
🤖Advanced OCR
Unlocking the Future of Work: A Deep Dive into Automation and AI Agents
dev.to·16h·
Discuss: DEV
🤖Archive Automation