How Wikimedia Commons is making microbiology open: lessons from Wikimedistas de Jujuy, Argentina
diff.wikimedia.orgยท5h
๐ŸฐManuscript Networks
The Dunhuang Culture ๆ•ฆ็…Œๆ–‡ๅŒ– Database
digitalorientalist.comยท1d
๐Ÿ“œText Collation
Where is Mathematics Going? Large Language Models and Lean Proof Assistant
hackaday.comยท2d
โš™๏ธProof Engineering
Letโ€™s Make a Tic-Tac-Deal!
thefiddler.substack.comยท1dยท
Discuss: Substack
๐ŸŽฏProof Tactics
Decoding Without Pictures
hollisrobbinsanecdotal.substack.comยท5hยท
Discuss: Substack
๐Ÿ‘๏ธOCR Evolution
Every Artist Has a Favorite Subject. For Some, Thatโ€™s Math.
nytimes.comยท1dยท
Discuss: Hacker News
๐Ÿ“Mathematical Art
We May Have a Path to the Fundamental Theory of Physics (2020)
writings.stephenwolfram.comยท12hยท
Discuss: Hacker News
โฐTime Crystals
Getting a Hypergraph of Functions to a Browser
systeminit.comยท2dยท
Discuss: Hacker News
๐Ÿ“E-graphs
Moving on from XML? A teaser for a possible alternative
genodians.orgยท2hยท
Discuss: Hacker News
๐Ÿ“Concrete Syntax
Adaptive Optimizable Gaussian Process Regression Linear Least Squares Regression Filtering Method for SEM Images
arxiv.orgยท1d
๐ŸบComputational Archaeology
Evaluating LLM-Generated Legal Explanations for Regulatory Compliance in Social Media Influencer Marketing
arxiv.orgยท1d
๐Ÿ”Information Retrieval
Automated Fault Isolation & Healing in Linear Control Systems via Multi-Modal Data Fusion & Reinforcement Learning
dev.toยท12hยท
Discuss: DEV
๐Ÿ›ก๏ธError Boundaries
Automated Microfluidic Enrichment & Quantification of Exosomal ctDNA via Hybrid-Optic Nanoparticle Resonance Mapping
dev.toยท20hยท
Discuss: DEV
๐Ÿ“„Document Digitization
Build-less manga scanlation workflow: vertical OCR, translation, and layout-preserving typesetting in the browser
dev.toยท1dยท
Discuss: DEV
๐Ÿ‡ฏ๐Ÿ‡ตJapanese Computing
Counterfactual Identifiability via Dynamic Optimal Transport
arxiv.orgยท1d
๐Ÿ”Vector Forensics
Fixed Points and Stochastic Meritocracies: A Long-Term Perspective
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
ResAD: Normalized Residual Trajectory Modeling for End-to-End Autonomous Driving
arxiv.orgยท1d
๐ŸŒ€Riemannian Computing
Cold Calculation
kae3g.codeberg.pageยท46mยท
Discuss: Hacker News
โšกIncremental Computation
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.comยท1dยท
Discuss: Hacker News
โš™๏ธProof Engineering
Parameterized Complexity of Temporal Connected Components: Treewidth and k-Path Graphs
arxiv.orgยท3d
๐ŸŽจGraph Coloring