👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

StrongBox: Simple, Safe Data Encryption for Rust
hezmatt.org·23h
🦀Embedded Rust
Io_uring by Example
unixism.net·1h·
Discuss: Hacker News
🐚Shell Calculus
The MLOps Maturity Playbook: Practical Steps to Production-Ready ML
blog.devops.dev·2d
🔄Reproducible Builds
Introduction to Artificial Neural Networks – Part 1 (2013)
theprojectspot.com·20h·
Discuss: Hacker News
🧠Machine Learning
Go Struct Alignment: a Practical Guide
medium.com·5h·
Discuss: r/golang
🔧Binary Parsers
QEMU 10.1.0
wiki.qemu.org·13h·
Discuss: Hacker News
🕸️WASM Archives
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·3d
🧪Binary Fuzzing
Qt for MOSA: FACE Conformant Qt for Aerospace and Defense Software
qt.io·12h
⚡SMT Applications
Analysis of Harpy's Constrained Trotting and Jumping Maneuver
arxiv.org·1d
🌀Differential Geometry
We're doing context engineering wrong
news.ycombinator.com·1h·
Discuss: Hacker News
🌳Incremental Parsing
Demystifying Go Mutex: How Synchronization Works Under the Hood
dev.to·10h·
Discuss: DEV
🧠Separation Logic
"If Cats Could Code", a FOSS Book on CS Concepts
github.com·3h·
Discuss: Hacker News
⚔️Lean Tactics
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·20h
📰Content Curation
Using AI to build an AI Security Product
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Automated Identification of Subtle Genomic Biomarkers for Targeted Immunotherapy Response Prediction
dev.to·3h·
Discuss: DEV
🧬Copy Number Variants
Regarding formatting issues with AI-generated copy
dev.to·18h·
Discuss: DEV
✅Format Verification
SWiFT: Soft-Mask Weight Fine-tuning for Bias Mitigation
arxiv.org·20h
📊Rate-Distortion Theory
Using Gemini CLI as a Subagent for Claude Code
aicodingtools.blog·2d·
Discuss: Hacker News
⚡Proof Automation
A change in vision | Building Stocksimpy (Devlog 4)
dev.to·4h·
Discuss: DEV
🎯Gradual Typing