Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.com·2d
🌳Archive Merkle Trees
Lab note #072 A language with affordances for vibe coding
interjectedfuture.com·3d
🔗Concatenative Programming
How Does Graph Theory Shape Our World?
quantamagazine.org·5h·
Discuss: Hacker News
📐Mathematical Art
What LLMs Know About Their Users
schneier.com·1d·
Discuss: Hacker News
💻Local LLMs
Schema In, Data Out: A Smarter Way to Mock
hackernoon.com·2d
🐛Fuzzing
PATCH! {P}sychometrics-{A}ssis{T}ed Ben{CH}marking of Large Language Models against Human Populations: A Case Study of Proficiency in 8th Grade Mathematics
arxiv.org·1d
🧠Intelligence Compression
Video Perception Models for 3D Scene Synthesis
arxiv.org·15h
📐Projective Geometry
Why Your Next LLM Might Not Have A Tokenizer
towardsdatascience.com·2d
🤖Grammar Induction
Lazyeat: Control Your World with Hand Gestures!
dev.to·5h·
Discuss: DEV
✋Tactile Computing
From Codicology to Code: A Comparative Study of Transformer and YOLO-based Detectors for Layout Analysis in Historical Documents
arxiv.org·15h
📃Manuscript Tokenization
On Union-Closedness of Language Generation
arxiv.org·2d
🔗Monadic Parsing
AI is Hallucinating Package Names - And Hackers Are Ready
dev.to·18h·
Discuss: DEV
🚀Indie Hacking
New rust mocking library Injectorpp 0.4.0 is released! Type check is added and more
reddit.com·2d·
Discuss: r/rust
🦀Rust Verification
[$] Supporting kernel development with large language models
lwn.net·4h
💻Local LLMs
15 Go Packages Worth Your Time
dev.to·7h·
Discuss: DEV
💧Liquid Types
MFTCXplain: A Multilingual Benchmark Dataset for Evaluating the Moral Reasoning of LLMs through Hate Speech Multi-hop Explanation
arxiv.org·1d
⚙️Compression Benchmarking
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.org·1d
📐Compression Bounds
Just some example work notes
dev.to·4d·
Discuss: DEV
💧Liquid Types
Argumentative Ensembling for Robust Recourse under Model Multiplicity
arxiv.org·15h
🔗Parser Combinators
Stop Words Using Spacy - NLP
dev.to·2d·
Discuss: DEV
📝Text Parsing