Parsing Safetensors File Format in C
leetarxiv.substack.com·2d·
Discuss: Substack, r/programming
✅Format Verification
Data Lakehouse Security: Supporting Scalable Analytics and AI Workloads
blog.min.io·3h
📦METS Containers
News for June 2025
ptreview.sublinear.info·3d
🕸️Graph Algorithms
FSM Library for Embedded C Projects
hackster.io·4d
🦀Embedded Rust
Machine Learning Fundamentals: dimensionality reduction
dev.to·1d·
Discuss: DEV
📐Linear Algebra
Discrete Differential Principle for Continuous Smooth Function Representation
arxiv.org·2d
🌀Differential Geometry
How to reason from first principles
caseyhandmer.wordpress.com·1d·
Discuss: Hacker News
🎯Proof Tactics
A PhD's Apology
cappadokes.github.io·1d·
Discuss: Hacker News
🧮Theoretical Computer Science
Show HN: Object database for LLMs that persists across chats (MCP server)
dry.ai·6h·
Discuss: Hacker News
🔄Sync Engine
How to actually use Model Context Protocol
seangoedecke.com·1d·
Discuss: Hacker News
⚡Proof Automation
A Neural Net For a Graphing Calculator?
hackaday.com·17h
🤖Advanced OCR
How to Add Generative UI to Any React App in 5 Minutes
dev.to·2h·
Discuss: DEV
🔗Concatenative Programming
COLI: A Hierarchical Efficient Compressor for Large Images
arxiv.org·1d
🧠Neural Compression
Which graph motif parameters count?
arxiv.org·21h
🔗Graph Isomorphism
Translation using deep neural networks – Transformer
aamster.github.io·3d·
Discuss: Hacker News
🧠Neural Codecs
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·2d·
Discuss: Hacker News, r/programming
🔒Type Safety
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·1d
🌳Context free grammars
Security Principles for Designing an Unhackable Crypto Wallet
cacm.acm.org·6h
🌳Archive Merkle Trees
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.com·2d
🔗Hash Chains
A Rust Shaped Hole
mnvr.in·2d·
Discuss: Lobsters, Hacker News
🦀Rust Macros