Structural vs. Mathematical “Under” (2023)
dyalog.com·13h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·9h
🗂️Vector Databases
FLINT: Fast Library for Number Theory
flintlib.org·18h
🧮Algebraic Datatypes
Mini-Review: The Life and Times of the Cubic-Solving Guy
daveagp.wordpress.com·10h
🗝️Paleocryptography
Simon Stevin's Non-fraction method of Decimals
pballew.blogspot.com·2d·
Discuss: www.blogger.com
📐Interval Arithmetic
Is Math Discovered or Invented?
curtispoe.org·6h
🔲Proof Irrelevance
Is math discovered or invented?
mathwithbaddrawings.com·1d
📐Mathematical Art
How Many Paths of Length K Are There Between a and B?
horace.io·1d·
Discuss: Hacker News
🕸️Graph Algorithms
6 Living Men Share Leonardo da Vinci’s DNA. They Might Prove Where He’s Buried.
popularmechanics.com·18h
🏰Manuscript Networks
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·1d
🤝Paxos Consensus
Mathematical secrets of ancient tablet unlocked after nearly a century of study (2017)
theguardian.com·1d·
Discuss: Hacker News
🗝️Paleocryptography
Review: The Mathematician’s Library, by Thomas K. Briggs
aperiodical.com·21h
📐Mathematical Art
Reloading classes in python and shared borders
andrewpwheeler.com·2h·
Discuss: Hacker News
🦀Rust Macros
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·9h
🎯Performance Proofs
Propose and Rectify: A Forensics-Driven MLLM Framework for Image Manipulation Localization
arxiv.org·9h
🖼️JPEG Forensics
Paying attention to feature distribution alignment (pun intended)
alexshtf.github.io·1d·
Discuss: Hacker News
📐Linear Algebra
k-NN Classification and Model Evaluation
dev.to·5h·
Discuss: DEV
🧠Machine Learning
Orders of magnitude (time)
en.m.wikipedia.org·3h
⏰Time Crystals
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·22h·
Discuss: Hacker News
✅Format Verification
Generative Artificial Intelligence and Agents in Research and Teaching
arxiv.org·9h
🔲Cellular Automata