The artificial complexity of OOXML files (the PPTX case)
blog.documentfoundation.org·13h·
Discuss: Hacker News
📟Terminal Typography
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·1d
🔗Graph Isomorphism
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·14h
📐Mathematical Art
Cactus Language • Semantics 3
inquiryintoinquiry.com·15h
🔢Denotational Semantics
Sales pitch about why you should learn statistics
minireference.com·13h
🧠Intelligence Compression
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·13h·
Discuss: Hacker News
📐Linear Algebra
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·16h·
Discuss: DEV
📊Multi-vector RAG
#15 Negative ..... Etymology and History of Math Terms
pballew.blogspot.com·37m·
Discuss: www.blogger.com
🔢OCR Mathematics
Markdown2pdf – pure md to pdf transpiler implementation in Rust
github.com·19h·
Discuss: Hacker News
📄PDF Internals
The Best Ways to Digitize Your Notes
lifehacker.com·18h
📄Document Digitization
Writing regex is pure joy. You can't convince me otherwise.
triangulatedexistence.mataroa.blog·1d·
Discuss: Hacker News, r/programming
✅Format Verification
Categorical systems theory
topos.institute·18h
🔀Category Theory
Show HN: Rebuilt Bible search app to run 100% client-side with Transformers.js
biblos.app·9h·
Discuss: Hacker News
📜Binary Philology
Friday 10 October, 2025
memex.naughtons.org·1d
📰RSS Archaeology
CSS Grid: A helpful mental model and the power of grid lines
webkit.org·1d·
Discuss: r/webdev
📖Nordic Typography
Building the Reasoning Engine at Axiom
axiommath.ai·10h·
Discuss: Hacker News
⚔️Lean Tactics
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📈Linear programming
Welcome to LIL’s Data.gov Archive Search
lil.law.harvard.edu·10h
💾Data Preservation
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
simonw/claude-skills
simonwillison.net·6h
📄PostScript