Detecting Narrative Shifts through Persistent Structures: A Topological Analysis of Media Discourse
arxiv.orgยท1d
๐Ÿ“„Text Mining
Show HN: I'm building an app to replace Overleaf and Notion
news.ycombinator.comยท20hยท
Discuss: Hacker News
๐Ÿ“‹Document Layout
Some Notes on Division, and its History (Including Alien Division for Fractions)
pballew.blogspot.comยท1dยท
Discuss: www.blogger.com
๐Ÿ“Interval Arithmetic
Linters, Formatters, and Type-Checkers
playfulprogramming.comยท1d
๐ŸŽฏGradual Typing
Advanced Data Analysis from an Elementary Point of View
stat.cmu.eduยท2dยท
Discuss: Hacker News
๐Ÿ“Linear Algebra
Evaluating Google Gemini for Document OCR Using Hugging Face Invoice Dataset
dev.toยท17hยท
Discuss: DEV
๐Ÿ“„OCR
The Art of Bijective Combinatorics
viennot.orgยท13hยท
Discuss: Hacker News
๐Ÿ•ธ๏ธGraph Algorithms
What I learned from the book Designing Data-Intensive Applications
newsletter.techworld-with-milan.comยท15hยท
Discuss: r/compsci, r/programming
๐Ÿ—„๏ธDatabase Internals
How to write a (software) 3D polygon pipeline (2000)
cbloom.comยท10hยท
Discuss: Hacker News
โŸทBidirectional Programming
Physics+ Orbit Geometry: UNIZOR.COM - Physics+ 4 All - Laws of Newton
unizor.blogspot.comยท12hยท
Discuss: www.blogger.com
๐ŸŒ€Differential Geometry
And the other Big Red Logic Books?
logicmatters.netยท14h
๐Ÿ”€Category Theory
Can All Knowledge Be Mined? A Formal Framework for ฯ†^โˆž Consequence Closure
researchgate.netยท13hยท
Discuss: Hacker News
๐Ÿ”ขDenotational Semantics
Algebra 2 Problems of the Day (Algebra 2, January 2025 Part I)
mrburkemath.blogspot.comยท1dยท
Discuss: www.blogger.com
โš”๏ธLean Theorem
graven-image: Portability library for CL image in REPL
github.comยท12hยท
Discuss: Lobsters
๐Ÿฆ€Rust Macros
PhD position in algebraic geometry and representation theory
pbelmans.ncag.infoยท1d
๐ŸŒ€Riemannian Computing
Friday 20 June, 2025
memex.naughtons.orgยท7h
๐Ÿ“กRSS Readers
New in Apache Iceberg 3.0: Fresh Data Types, NULL Vals, Change Capture
thenewstack.ioยท16h
๐Ÿ“ฆMETS Packaging
Programming Considered Harmful
flownet.comยท14hยท
Discuss: Lobsters, Hacker News
โŸทBidirectional Programming
Lean Workbook: A large-scale Lean problem set formalized from natural language math problems
arxiv.orgยท1d
๐Ÿ”ฌLean
Structured Output for Beginners and 3 Prompting Tips
pocketflow.substack.comยท6hยท
Discuss: Substack
๐ŸŒณIncremental Parsing