Contextualizing SUTRA: Advancements in Multilingual & Efficient LLMs
hackernoon.com·2h
💻Local LLMs
On Union-Closedness of Language Generation
arxiv.org·1d
🔗Monadic Parsing
Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
Deep Dive into Databend UDF, implementing your data solutions with Python, WASM
databend.com·4h·
Discuss: Hacker News
📋DFDL
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org·4d·
Discuss: Hacker News, r/programming
💻Programming languages
Algorithm Complexity: Time, Space, and Big-O Notation
dev.to·8h·
Discuss: DEV
🧮Kolmogorov Complexity
Threaded Code
muforth.dev·7h·
Discuss: Hacker News
🦀Rust Macros
Memory Safety in Web Rust System Zero Cost Secure（1750794401345600）
dev.to·22h·
Discuss: DEV
🦀Rust Borrowing
Counting with Categories (Part 2)
golem.ph.utexas.edu·2d
🔀Category Theory
Hypercubical manifolds in homotopy type theory
arxiv.org·14h
🔶Cubical Type Theory
Portable Network Graphics (PNG) Specification (Third Edition)
w3.org·21h·
Discuss: Hacker News
🕸️WebP Analysis
The one-more-re-nightmare compiler (2021)
applied-langua.ge·1d·
Discuss: Lobsters, r/programming
🔍RegEx Engines
Finetuning a Weather Foundation Model with Lightweight Decoders for Unseen Physical Processes
arxiv.org·14h
🔍Type Inference
BNFGen: A random text generator based on context-free grammars
baturin.org·38m·
Discuss: Hacker News
🌳Context free grammars
The Product Topology, or, How Not to Stumble into the Box Topology
relatedwork.blogspot.com·2d·
Discuss: relatedwork.blogspot.com
🏗️Constructive Mathematics
I Figured Out What the Voynich Manuscript Says; It's Something More Than Words
dmerullo.substack.com·3h·
Discuss: Substack
🏰Manuscript Networks
Using Wavelets and Clustering to Predict Odd or Even Numbers: An Overengineered Approach with Pretty (But Confusing) Plots
dev.to·4h·
Discuss: DEV
🧠Machine Learning
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
How much slower is random access, really?
samestep.com·2d·
Discuss: Hacker News
📼Tape Encoding