Parsing Safetensors File Format in C
leetarxiv.substack.com·2d·
Discuss: Substack, r/programming
✅Format Verification
‘Controlled chaos’: how to create an environment that fosters genius
nature.com·10h
📐Mathematical Art
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.org·10h
🦀Rust Macros
Everyone knows what a horse is: What we got wrong about universal translators
nimishg.substack.com·14h·
Discuss: Substack
💻Programming languages
When .999… Isn’t 1
mathenchant.wordpress.com·6h·
Discuss: Hacker News
📐Interval Arithmetic
Maybe writing speed actually is a bottleneck for programming
buttondown.com·2h·
Discuss: Hacker News
📏Code Metrics
How to actually use Model Context Protocol
seangoedecke.com·21h·
Discuss: Hacker News
⚡Proof Automation
Show HN: 1.5B LLM routing model that aligns to preferences, not leaderboards
huggingface.co·1h·
Discuss: Hacker News
📝ABNF Parsing
CoCre-Sam (Kokkuri-san): Modeling Ouija Board as Collective Langevin Dynamics Sampling from Fused Language Models
arxiv.org·17h
🔲Cellular Automata
Open Sesame: Poems with Entropy
benwr.net·17h·
Discuss: Lobsters, Hacker News
🔓Password Cracking
Achieving SOTA LongMemEval scores (80%) with RAG alone
mastra.ai·1h·
Discuss: Hacker News
🧠Memory Forensics
The Big OOPs: Anatomy of a Thirty-Five Year Mistake
computerenhance.com·3h·
Discuss: Hacker News
🏗️Compiler Archaeology
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
How to reason from first principles
caseyhandmer.wordpress.com·1d·
Discuss: Hacker News
🎯Proof Tactics
Compressed data structures for Heegaard splittings
arxiv.org·1d
🕳️Persistent Homology
I'm Switching to Python and Actually Liking It
cesarsotovalero.net·1d·
Discuss: Hacker News
🌀Brotli Internals
[R][D] Interpretability as a Side Effect? Are Activation Functions Biasing Your Models?
reddit.com·1d·
Discuss: r/MachineLearning
📊Learned Metrics
Grammatical Structure and Grammatical Variations in Non-Metric Iranian Classical Music
arxiv.org·1d
🎼Computational Musicology
A Minimal DDPM
github.com·1d·
Discuss: Hacker News
🧠Machine Learning
The Symbol Grounding Problem (1990)
arxiv.org·4d·
Discuss: Hacker News
🔢Denotational Semantics