Travels, 10
cameroncounts.wordpress.com·3h
🎯Performance Proofs
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
ByteSpan: Information-Driven Subword Tokenisation
arxiv.org·1d
💾Binary Linguistics
A Briefing on Logistic Regression
blog.engora.com·6h·
Discuss: Hacker News
🧠Machine Learning
Networking for Systems Administrators
mwl.io·5h·
Discuss: Hacker News
🌐DNS over QUIC
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·53m·
Discuss: Hacker News
⚡Proof Automation
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·14h
🔗Topological Sorting
The one-more-re-nightmare compiler (2021)
applied-langua.ge·1d·
Discuss: Lobsters, r/programming
🔍RegEx Engines
Why Your Next LLM Might Not Have A Tokenizer
towardsdatascience.com·23h
🤖Grammar Induction
4-input 2-output Boolean circuits (2020)
cp4space.hatsya.com·1d·
Discuss: Hacker News
⚙️Logic Synthesis
Slashing CI Costs at Uber
uber.com·8h·
Discuss: Hacker News
🔄Reproducible Builds
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·9h·
Discuss: Hacker News
🌀Brotli Internals
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.io·2d
λLambda Encodings
Building a Language Server
bullno1.com·2d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
On Union-Closedness of Language Generation
arxiv.org·1d
🔗Monadic Parsing
Plan for Speed -- Dilated Scheduling for Masked Diffusion Language Models
arxiv.org·14h
💻Local LLMs
Threaded Code
muforth.dev·7h·
Discuss: Hacker News
🦀Rust Macros
Text2Struct: A Machine Learning Pipeline for Mining Structured Data from Text
arxiv.org·1d
🔤Character Classification
Weakly Private Information Retrieval from Heterogeneously Trusted Servers
arxiv.org·2d
📊Compression Proofs