The artificial complexity of OOXML files (the PPTX case)
blog.documentfoundation.org·9h·
Discuss: Hacker News
📟Terminal Typography
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·22h
🔗Graph Isomorphism
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·10h
📐Mathematical Art
Cactus Language • Semantics 3
inquiryintoinquiry.com·11h
🔢Denotational Semantics
Sales pitch about why you should learn statistics
minireference.com·9h
🧠Intelligence Compression
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·10h·
Discuss: Hacker News
📐Linear Algebra
From Documents to Dialogue: A step-by-step RAG Journey
dev.to·12h·
Discuss: DEV
📊Multi-vector RAG
Markdown2pdf – pure md to pdf transpiler implementation in Rust
github.com·15h·
Discuss: Hacker News
📄PDF Internals
#14 Logarithm ....History and Etymology of Math Terms
pballew.blogspot.com·20h·
Discuss: www.blogger.com
📊APL Heritage
The Best Ways to Digitize Your Notes
lifehacker.com·14h
📄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·14h
🔀Category Theory
Show HN: Rebuilt Bible search app to run 100% client-side with Transformers.js
biblos.app·5h·
Discuss: Hacker News
📜Binary Philology
Friday 10 October, 2025
memex.naughtons.org·1d
📰RSS Archaeology
Building the Reasoning Engine at Axiom
axiommath.ai·7h·
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·6h
💾Data Preservation
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
simonw/claude-skills
simonwillison.net·2h
📄PostScript
How to tame a user interface using a spreadsheet
blog.gingerbeardman.com·3h
📟Terminal Physics