👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·1d
🧪Binary Fuzzing
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·1d·
Discuss: Hacker News
⚡Hardware Transactional Memory
How Many Paths of Length K Are There Between a and B?
horace.io·2d·
Discuss: Hacker News
🕸️Graph Algorithms
Adversarial Examples Are Not Bugs, They Are Superposition
livgorton.com·2h·
Discuss: Hacker News
🧠Machine Learning
Emulating aarch64 in software using JIT compilation and Rust
pitsidianak.is·12h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming, r/rust
🦾ARM Assembly
Thoughts on systems thinking and production excellence from Release It
stevenoxley.com·5h·
Discuss: Hacker News
🛡️Error Boundaries
Linear Dynamics meets Linear MDPs: Closed-Form Optimal Policies via Reinforcement Learning
arxiv.org·16h
🔲Cellular Automata
Evaluation and LLM-Guided Learning of ICD Coding Rationales
arxiv.org·16h
🔗Constraint Handling
A Model for all Ranges
qt.io·6h·
Discuss: Lobsters, Hacker News, r/programming
🧩SQLite Extensions
Anemoi: A Semi-Centralized Multi-agent Systems Based on Agent-to-Agent Communication MCP server from Coral Protocol
arxiv.org·16h
🤝Consensus Protocols
Convergence and Generalization of Anti-Regularization for Parametric Models
arxiv.org·16h
🧠Machine Learning
Scheme Basics
courses.cs.washington.edu·4d·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Mojo Vision
docs.modular.com·16h·
Discuss: Hacker News
🔩Systems Programming
How to Develop Powerful Internal LLM Benchmarks
towardsdatascience.com·3h
🔍Concolic Testing
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·2h·
Discuss: Hacker News
🦀Rust Macros
Paying attention to feature distribution alignment (pun intended)
alexshtf.github.io·1d·
Discuss: Hacker News
📐Linear Algebra
Troubleshooting EKS with MCP: The Good, the Bad, and the Ugly (plus the Setup)
dev.to·9h·
Discuss: DEV
📦Container Security
Graph-R1: Incentivizing the Zero-Shot Graph Learning Capability in LLMs via Explicit Reasoning
arxiv.org·16h
💻Local LLMs
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
The MLOps Maturity Playbook: Practical Steps to Production-Ready ML
blog.devops.dev·1d
🔄Reproducible Builds