Parsing Safetensors File Format in C
leetarxiv.substack.com·2d·
Discuss: Substack, r/programming
✅Format Verification
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·2d
🦀Rust Verification
FSM Library for Embedded C Projects
hackster.io·4d
🦀Embedded Rust
Dual numbers
funcall.blogspot.com·1d·
Discuss: www.blogger.com
📐Interval Arithmetic
Differential geometry of ML: a geometric interpretation of gradient descent
research.fal.ai·2d·
Discuss: Hacker News
🌀Differential Geometry
A £3.93/mo Nomad‑backed learning lab: Next.js · .NET · Postgres on a budget
craig.banach.dev·8h·
Discuss: Hacker News, r/selfhosted
🖥️Self-hosted Infrastructure
Poor man's bitemporal data system in SQLite and Clojure
evalapply.org·4d·
Discuss: Lobsters, Hacker News, r/programming
🗄️Database Internals
The Symbol Grounding Problem (1990)
arxiv.org·5d·
Discuss: Hacker News
🔢Denotational Semantics
Lessons from scaling PostgreSQL queues to 100k events per second
rudderstack.com·15h·
Discuss: Hacker News
🧬PostgreSQL Forensics
How Apex Fusion and Well-Typed Are Shaping the Future of Institutional DeFi on Cardano
hackernoon.com·1d
🤝Distributed Consensus
Neural Network-Guided Symbolic Regression for Interpretable Descriptor Discovery in Perovskite Catalysts
arxiv.org·1d
🕸️Algebraic Topology
DPNO: A Dual Path Architecture For Neural Operator
arxiv.org·2h
📊Quantization
Machine Learning Fundamentals: dimensionality reduction with python
dev.to·13h·
Discuss: DEV
🧠Machine Learning
The Top Programming Languages to Learn in 2025 (And Why You Should Look Beyond Python)
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Semantic-guided Fine-tuning of Foundation Model for Long-tailed Visual Recognition
arxiv.org·2h
📊Learned Metrics
MapIQ: Benchmarking Multimodal Large Language Models for Map Question Answering
arxiv.org·1d
🚀SIMD Text Processing
Exploiting Jailbreaking Vulnerabilities in Generative AI to Bypass Ethical Safeguards for Facilitating Phishing Attacks
arxiv.org·1d
🕵️Vector Smuggling
How AI Detects Cancer in Whole Slide Images
hackernoon.com·1d
🧠Machine Learning
Secure Pinching Antenna-aided ISAC
arxiv.org·2h
📐Compression Mathematics
🏛️ Using Blockchain to Anchor AI: Why Future AI Systems Require Consensus and Censorship Resistance
dev.to·16h·
Discuss: DEV
🤝Distributed Consensus