Parsing Safetensors File Format in C
leetarxiv.substack.com·1d·
Discuss: Substack, r/programming
✅Format Verification
News for June 2025
ptreview.sublinear.info·3d
🕸️Graph Algorithms
Security-Focused Homelab
reddit.com·4h·
Discuss: r/homelab
🏠HomeLab
My favorite use-case for AI is writing logs
vickiboykis.com·1d
🌳Incremental Parsing
Rethinking Distributed Computing for the AI Era
cacm.acm.org·12h
⚡Incremental Computation
FSM Library for Embedded C Projects
hackster.io·3d
🦀Embedded Rust
Training a Chunker with Burn
elijahpotter.dev·10h·
Discuss: Hacker News
📝Concrete Syntax
Billions of Edges per Second with Postgres
onesparse.com·1d·
Discuss: Hacker News
🗜️Graph Compression
Multiplicative Modular Nim (MuM)
arxiv.org·2d
🎞️Tape Combinatorics
10 Python Math & Statistical Analysis One-Liners
kdnuggets.com·19h
📐Interval Arithmetic
Good binding data is all you need
leashbio.substack.com·7h·
Discuss: Substack
🗂️Vector Databases
Efficient Private Inference Based on Helper-Assisted Malicious Security Dishonest Majority MPC
arxiv.org·2d
🤐Secure Multiparty
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
A distributed systems reliability glossary
antithesis.com·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Book Notes: The Dark Art of Linear Algebra by Seth Braver — Chapter 1 Review
ruslanspivak.com·1d
📐Mathematical Art
Zig Interface Revisited
williamw520.github.io·14h·
Discuss: Hacker News
🧩WASM Components
SIEVE: Effective Filtered Vector Search with Collection of Indexes
arxiv.org·3h
🗂️Vector Databases
Benford's Law and the Ahlstrom Conjecture
jamesmccaffrey.wordpress.com·1d·
Discuss: Hacker News
🎯Arithmetic Coding Theory
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·18h·
Discuss: DEV
📝Concrete Syntax
The breakthrough proof bringing mathematics closer to a grand unified theory
nature.com·21h·
Discuss: Hacker News
📐Mathematical Art