Atomic and Saturated Models
functor.network·1d·
Discuss: Hacker News
🔢Denotational Semantics
On This Day in Math - October 5
pballew.blogspot.com·3h·
Discuss: www.blogger.com
📐Linear Algebra
I Made an AI Document Analyzer So You Don’t Have To (But You’ll Probably Want To)
dev.to·1d·
Discuss: DEV
🤖Archive Automation
News for September 2025
ptreview.sublinear.info·22h
🧪Property-Based Testing
Footnotes to a couple of weeks: Category mistakes, Dutch courtyards, Martinů
logicmatters.net·16h
🔀Category Theory
Geometric Structures and Patterns of Meaning: A PHATE Manifold Analysis of Chinese Character Embeddings
arxiv.org·2d
📐Geometric Hashing
Hiding in Plain Sight: Steganography, C2, and SVG Files
infosecwriteups.com·46m
🕵️Steganographic Compression
Eliminating the Precision–Latency Trade-Off in Large-Scale RAG
thenewstack.io·1d
🎯Retrieval Systems
The Algorithmic Archive: a project overview
blogs.bodleian.ox.ac.uk·1d
🗜️Zstandardized Archives
Practical Linear Algebra: A Geometry Toolbox
farinhansford.com·4d
📐Linear Algebra
Microformats – building blocks for data-rich web pages
microformats.org·18h·
Discuss: Hacker News
📝Concrete Syntax
LLM Prompt Fixed Point: the Ultimate Prompt
funcall.blogspot.com·1d·
Discuss: www.blogger.com
✓Automated Theorem Proving
LLM-Based Instance-Driven Heuristic Bias in the Context of a BRKGA
researchgate.net·13h·
Discuss: Hacker News
🧮Kolmogorov Complexity
The Analyst’s Gambit: A Second Course in Functional Analysis
noncommutativeanalysis.wordpress.com·2d
⚔️Lean Theorem
Advanced Document Processing using AI
newsletter.techworld-with-milan.com·2d·
Discuss: r/programming
📄Document Digitization
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·2d·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Sharing is Caring: Arbitrary Code Execution for Breakfast
trebledj.me·2d
🔧Binary Parsers
Show HN: The Little Book of Maths for LLMs-The maths you need to understand LLMs
little-book-of.github.io·22h·
Discuss: Hacker News, r/LLM
λLambda Encodings
The Geek Code (1993)
github.com·1d·
Discuss: Hacker News
📜Binary Philology
MobileNetV2 Paper Walkthrough: The Smarter Tiny Giant
towardsdatascience.com·1d
⧗Information Bottleneck