Atomic and Saturated Models
functor.network·1d·
Discuss: Hacker News
🔢Denotational Semantics
Smart Specs: Automating Engineering Standards for Error-Free Design
vibe.forem.com·2h·
Discuss: DEV
📋Format Specification
Eliminating the Precision–Latency Trade-Off in Large-Scale RAG
thenewstack.io·1d
🎯Retrieval Systems
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·9h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Footnotes to a couple of weeks: Category mistakes, Dutch courtyards, Martinů
logicmatters.net·13h
🔀Category Theory
Microformats – building blocks for data-rich web pages
microformats.org·14h·
Discuss: Hacker News
📝Concrete Syntax
Towards Open-Ended Discovery for Low-Resource NLP
arxiv.org·2d
🤖Grammar Induction
Title: "Breaking Down Design Patterns in Python: A Guide for Developers"
dev.to·1d·
Discuss: DEV
🔤Type Theory
Fun with HyperLogLog and SIMD
vaktibabat.github.io·17h·
Discuss: Hacker News, r/rust
📊HyperLogLog
The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·2d
⚔️Lean Theorem
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·2d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
News for September 2025
ptreview.sublinear.info·18h
🧪Property-Based Testing
TypeNet Benchmark for development of authentication keystroke technologies
github.com·1h·
Discuss: Hacker News
🗜️LZSS Variants
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.me·2d
🔧Binary Parsers
original ↗
lmika.org·1d
🔗Concatenative Programming
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.io·19h·
Discuss: Hacker News, r/LLM
λLambda Encodings
Lazy text capitalization with low latency large language models
blog.florianschulz.info·14h·
Discuss: Hacker News
🌀Brotli Internals
Java Backend Coding Technology: Writing Code in the Era of AI
dev.to·1d·
Discuss: DEV
💻Programming languages
Superficial Safety Alignment Hypothesis
arxiv.org·2d
🎯Arithmetic Coding Theory
MobileNetV2 Paper Walkthrough: The Smarter Tiny Giant
towardsdatascience.com·1d
⧗Information Bottleneck