🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Coffee Break: Armed Madhouse – Drone Evolution
nakedcapitalism.com·19h
🇷🇺Russian Computing
The ReD Hat Consulting Breach – An Analysis
digitalforensicsmagazine.com·1d
🔓Hacking
Streamlining Vulnerability Research with the idalib Rust Bindings for IDA 9.2
hex-rays.com·22h
🦀Rust Macros
What are PolyForm licenses?
polyformproject.org·1d·
Discuss: Lobsters, Hacker News
🔓Open Source Software
Show HN: Blueprintor for Hardware Engineering
zima.run·1d·
Discuss: Hacker News
⚡Homebrew CPUs
Dopaminergic Modulation of Short-Term Associative Memory in C. Elegans
onlinelibrary.wiley.com·12h·
Discuss: Hacker News
📡Tape Modulation
How a top bug bounty researcher got their start in security
github.blog·21h
🔓Hacking
AI Tulips
mamund.substack.com·8h·
Discuss: Substack
🤖AI Curation
Show HN: Horcrux: Split files into encrypted fragments for Node and React Native
github.com·1d·
Discuss: Hacker News
🔒Homomorphic Compression
State of the Art of AI Tools in Micro-Frontend Architectures • Luca Mezzalira • GOTO 2025
youtube.com·2d
🌀Brotli Internals
No More Forgetful Robots: My Test Drive with Cognee AI's "AI Memory"
dev.to·35m·
Discuss: DEV
🤖AI Curation
Enhanced Stochastic Pathway Mapping for Cellular Heterogeneity Modeling via Adaptive MCMC
dev.to·31m·
Discuss: DEV
⚡Incremental Computation
High-pass filtered fidelity-imposed network edit (HP-FINE) for robust quantitative susceptibility mapping from high-pass filtered phase
arxiv.org·9h
📊Learned Metrics
The Rust Advantage: Building Bulletproof Systems When AI Writes Half Your Code
dev.to·1d·
Discuss: DEV
🦀Rust Macros
Development and Validation of a Low-Cost Imaging System for Seedling Germination Kinetics through Time-Cumulative Analysis
arxiv.org·9h
🧠Machine Learning
FinReflectKG - MultiHop: Financial QA Benchmark for Reasoning with Knowledge Graph Evidence
arxiv.org·2d
🔍BitFunnel
How to build your own simple Agent
dev.to·5h·
Discuss: DEV
⚡Proof Automation
SAFA-SNN: Sparsity-Aware On-Device Few-Shot Class-Incremental Learning with Fast-Adaptive Structure of Spiking Neural Network
arxiv.org·1d
🧠Machine Learning
Multimodal Function Vectors for Spatial Relations
arxiv.org·2d
🧮Vector Embeddings
# 12 Frustum ... History and Etymology of Math Terms
pballew.blogspot.com·7h·
Discuss: www.blogger.com
🔢OCR Mathematics