👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Mathematicians create a tetrahedron that always lands on the same side
newscientist.com·3h
📐Mathematical Art
Philosophers Among Recent Large ERC Grant Winners
dailynous.com·13h
🧮Theoretical Computer Science
Beyond Traditional Threats: The Rise of AI-Driven API Vulnerabilities
lab.wallarm.com·1d
🎯Threat Hunting
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·2d
🧮Prolog Parsing
Speeding up sideeffects with JIT in mountaineer
pierce.dev·1d·
Discuss: Hacker News
🦀Rust Macros
The Guide to the Foundation Models Framework
azamsharp.com·2d·
Discuss: Hacker News
λLambda Formalization
How Language Became Infrastructure—and Why That Should Worry Us
hackernoon.com·1d
📋Document Grammar
I couldn't find a job, so I built an open source project
zhakhan.com·9h·
Discuss: Hacker News
🔓Open Source Software
Coccinelle for Rust progress report (Collabora blog)
lwn.net·1d
🦀Rust Borrowing
Show HN: 10x Kubernetes Cluster on Hetzner Cloud
github.com·11h·
Discuss: Hacker News
📦Container Security
AI Course in Bangalore with Tools & Live Training
dev.to·8h·
Discuss: DEV
🗺️Competency Maps
Machine Learning Fundamentals: adam optimizer
dev.to·1d·
Discuss: DEV
📊Quantization
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1751016812847900）
dev.to·10h·
Discuss: DEV
🌐Network Protocols
SMOTE or Synthetic Data for Handling Class Imbalance? I Wrote About It on ThinkML
dev.to·16h·
Discuss: DEV
💧Liquid Types
Structural Optimal Jacobian Accumulation and Minimum Edge Count are NP-Complete Under Vertex Elimination
arxiv.org·3d
🎯Performance Proofs
Deciding Termination of Simple Randomized Loops
arxiv.org·3d
🌳Persistent Data Structures
Why We Chose Rust For Spin
dev.to·4h·
Discuss: DEV
🦀Rust Macros
Stochastic and Non-local Closure Modeling for Nonlinear Dynamical Systems via Latent Score-based Generative Models
arxiv.org·16h
🧠Machine Learning
How Keploy Transformed My API Testing Experience During Their Fellowship Program
dev.to·14h·
Discuss: DEV
🔍Concolic Testing
Pack Your Go Binary: Embedding Files Made Simple
dev.to·3h·
Discuss: DEV
🔢Binary Formats