👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Keynotes at APNIC 60: Leslie Daigle and Vu The Binh
blog.apnic.net·7h
🕸️Mesh Networks
sorin-ionescu/prezto
github.com·14h
⌨️Terminal Customization
Exploring the future of voice AI with Mati Staniszewski at TechCrunch Disrupt 2025
techcrunch.com·1h
🎧Learned Audio
Early return and goroutine leak
rednafi.com·3d·
Discuss: Hacker News
🦀Rust Verification
A2A Extensions: Empowering Custom Agent Functionality
developers.googleblog.com·19h
🔌Interface Evolution
“GoLand Can Do That?” Ten Secret Superpowers You Might Not Know
blog.jetbrains.com·1d·
Discuss: Hacker News
🔓Reverse engineering
Stop writing CLI validation. Parse it right the first time
hackers.pub·3d·
Discuss: Lobsters, Hacker News, r/programming, r/typescript
🛡️CLI Security
GPT-5’s Ethics Guidelines for Using It in Philosophical Research
dailynous.com·3h
⚖️Archive Ethics
Comparison of Signed Number Representations in Computers
en.wikipedia.org·1d·
Discuss: Hacker News
🎯Arithmetic Coding Theory
Stabilizing effect of amino acids on protein and colloidal dispersions
nature.com·33m
📜Document Physics
pathwaycom/llm-app
github.com·2d
🔄Archive Workflows
Official OSS MCP Registry in Golang
reddit.com·1d·
Discuss: r/golang
📻Homebrew Protocols
Intro to Python Module One: Getting Started with Python
dev.to·1d·
Discuss: DEV
🔗Lisp
Bio-Electrochemical Fuel Cell Optimization via Adaptive Microbial Consortium Modeling
dev.to·19h·
Discuss: DEV
⚡Incremental Computation
Dynamic Ferrofluidic Soft Robot Assembly via Gradient Magnetic Field Steering and Reinforcement Learning
dev.to·17h·
Discuss: DEV
🔧Cassette Engineering
The Hanamaruki Method for AI Dialogue Design — 03
dev.to·11h·
Discuss: DEV
🌍Cultural Algorithms
The 90/10 Rule: The Inconvenient Truth About Agentic AI — It’s All Plumbing, No Brain
dev.to·9h·
Discuss: DEV
🌊Stream Processing
Electricity Demand and Grid Impacts of AI Data Centers: Challenges and Prospects
arxiv.org·12h
🏠Homelab Orchestration
Enhancing Polyolefin Production via Dynamic Parameter Optimization in Plug Flow Reactors
dev.to·1d·
Discuss: DEV
☕Precision Brewing
**Go System Call Optimization: Reducing Kernel Transitions for High-Performance Applications**
dev.to·2d·
Discuss: DEV
🌊Stream Processing