👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

StrongBox: Simple, Safe Data Encryption for Rust
hezmatt.org·17h
🦀Embedded Rust
Dependency Management with Uv in Kubeflow Pipelines
fabridamicelli.github.io·4h·
Discuss: Hacker News
📦Container Security
Zero-downtime Postgres upgrades only using logical replication
gadget.dev·50m·
Discuss: Hacker News
🔄Sync Engine
The MLOps Maturity Playbook: Practical Steps to Production-Ready ML
blog.devops.dev·2d
🔄Reproducible Builds
Paying attention to feature distribution alignment (pun intended)
alexshtf.github.io·2d·
Discuss: Hacker News
📐Linear Algebra
Introduction to Artificial Neural Networks – Part 1 (2013)
theprojectspot.com·14h·
Discuss: Hacker News
🧠Machine Learning
Deep Think with Confidence
arxiviq.substack.com·3d·
Discuss: Substack
💻Local LLMs
QEMU 10.1.0
wiki.qemu.org·6h·
Discuss: Hacker News
🕸️WASM Archives
Context Engineering ( RAG 2.0): The Next Chapter in GenAI
medium.com·8h·
Discuss: Hacker News
🌀Brotli Internals
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·2d
🧪Binary Fuzzing
Qt for MOSA: FACE Conformant Qt for Aerospace and Defense Software
qt.io·5h
⚡SMT Applications
Analysis of Harpy's Constrained Trotting and Jumping Maneuver
arxiv.org·1d
🌀Differential Geometry
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
arxiv.org·1d
✨Algebraic Effects
A Praxis of Influence: Framing the Observation and Measurement of Information Power
arxiv.org·13h
📰Content Curation
Demystifying Go Mutex: How Synchronization Works Under the Hood
dev.to·4h·
Discuss: DEV
🧠Separation Logic
Using AI to build an AI Security Product
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Regarding formatting issues with AI-generated copy
dev.to·11h·
Discuss: DEV
✅Format Verification
SWiFT: Soft-Mask Weight Fine-tuning for Bias Mitigation
arxiv.org·13h
📊Rate-Distortion Theory
Using Gemini CLI as a Subagent for Claude Code
aicodingtools.blog·2d·
Discuss: Hacker News
⚡Proof Automation
Join the Heroku "Back to School" AI Challenge: $3,000 in Prizes, just for students!
dev.to·43m·
Discuss: DEV
🏠Homelab Federation