👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

QtGrpc - Tips, Tricks & Sweet Spots
qt.io·10h
🌐Network Protocols
Travels, 10
cameroncounts.wordpress.com·5d
🎯Performance Proofs
using Sun Ray thin clients in 2025
catstret.ch·20h
❄Nix
Why I'm excited about effect systems
osa1.net·2d
✨Algebraic Effects
E = mc^2: Errors = More × (Code)^2
max-au.com·1d·
Discuss: Hacker News
📏Code Metrics
Building Scalable Systems While Paying the Bills
eric.mann.blog·2h·
Discuss: Hacker News
🔄Reproducible Builds
A language, IDE, and serverless runtime for spreadsheet-style logic
parabola.io·3d·
Discuss: Hacker News
🔄Language Evolution
Self-Improving CLI Agents in 5 minutes
colinharman.substack.com·3d·
Discuss: Substack
⚡Proof Automation
Is AI Just Software?
feld.com·2h·
Discuss: Hacker News
🎙️Whisper
Challenging projects every programmer should try
austinhenley.com·4d·
Discuss: Hacker News
📝Compiler Design
[D] Review clearly used an LLM, should I report it to AC?
reddit.com·23h·
Discuss: r/MachineLearning
🔍Concolic Testing
’We couldn’t live without it’: the UCSC Genome Browser turns 25
nature.com·9h
🧬Bitstream Evolution
Go makes sense in air-gapped ops environments
reddit.com·15h·
Discuss: r/golang
🤖Network Automation
NodeJS Fundamentals: export
dev.to·3d·
Discuss: DEV
🛡️WebAssembly Security
JavaScript Concept: Currying and its implementation in Redux
dev.to·2d·
Discuss: DEV
⬆️Lambda Lifting
Beyond the Hype: A Deep Dive into Generative AI's Latest Advancements
dev.to·2d·
Discuss: DEV
🧭Content Discovery
AI-SDK-cpp: Modern C++ AI SDK
github.com·23h·
Discuss: Hacker News
🎙️Whisper
Top 10 SoapUI Alternatives That Won't Give You a Headache in 2025
dev.to·11h·
Discuss: DEV
🌐Web Standards
Meet Potion: Your Smart Note-Taking Companion
dev.to·17h·
Discuss: DEV
🌀Brotli Internals
GSoC 2025 - Week 4: Jumping into Hardware Integration
dev.to·1h·
Discuss: DEV
🔌Interface Evolution