👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

The Croco Carts
gbstudiocentral.com·19h
🎮Cartridge Preservation
Three-Year Birthday Offer: FINAL DAYS
thealgorithmicbridge.com·21h
📡Feed Archaeology
Node.js Lgbtqia+ Stories: Emelia Smith
nodejs.org·15h·
Discuss: Hacker News
🦋Format Metamorphosis
The Monorepo Culture
resync-games.com·5h·
Discuss: Hacker News
🔗Topological Sorting
Calculus Phobic's Introduction to Differentiable Programming
andersource.dev·4d·
Discuss: Hacker News
⚡Incremental Computation
The cost of ownership of a 1000 applications
frederickvanbrabant.com·20h·
Discuss: Hacker News, r/programming
📏Code Metrics
The Story of Mel
users.cs.utah.edu·1d·
Discuss: Hacker News
⚔️Lean Tactics
I'm a beginner need some advice
preview.redd.it·22h·
Discuss: r/homelab
🏠HomeLab
How to Do Autocomplete
bonsai.io·1d·
Discuss: Hacker News
📋Document Grammar
The Evolution of Caching Libraries in Go and Ristretto's zero hit rate mystery
maypok86.github.io·1d·
Discuss: Hacker News, r/golang
🔄Sync Engine
Programming Entry Level: learn self taught
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
StableCodec: Taming One-Step Diffusion for Extreme Image Compression
arxiv.org·1d
📊Rate-Distortion Theory
Canary Deployments with Flagger
dev.to·4h·
Discuss: DEV
👁️Observatory Systems
How (Not) To Write a Software Engineering Abstract
arxiv.org·1d
📊Static Analysis
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1751179017158100）
dev.to·2d·
Discuss: DEV
🌐Network Protocols
AI-Powered Cybersecurity Systems: Attack Prediction Models
dev.to·13h·
Discuss: DEV
🎯Threat Hunting
From Localhost to Production: A Guide to Remote Model Context Protocol (MCP) Servers
dev.to·1h·
Discuss: DEV
🔌Interface Evolution
Can Peter Pan Survive MT? A Stylometric Study of LLMs, NMTs, and HTs in Children's Literature Translation
arxiv.org·1d
🔤Character Classification
I Built a Tool to Search AI Conversations in 1 Week (With Heavy AI Assistance)
dev.to·18h·
Discuss: DEV
⚡Proof Automation
A Modern Blueprint for Digital Insurance Transformation
dev.to·16h·
Discuss: DEV
🌊Streaming Systems