Friday 10 October, 2025
memex.naughtons.org·1d
📰RSS Archaeology
The Best Ways to Digitize Your Notes
lifehacker.com·16h
📄Document Digitization
Prime Portraits
archive.bridgesmathart.org·1d
📐Mathematical Art
Is GRPO Broken?
neelsomaniblog.com·3h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·1d
⛪Church Encoding
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·15h·
Discuss: Hacker News
🎯Performance Proofs
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.dev·1d·
Discuss: Hacker News
🔐Hash Functions
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·3d
📐Mathematical Art
Neuro-Symbolic AI
en.wikipedia.org·14h·
Discuss: Hacker News
🔲Cellular Automata
On Convex Functions of Gaussian Variables
arxiv.org·2d
📐Compression Mathematics
MetaGraph: Scalable annotated de Bruijn graphs for DNA indexing and alignment
github.com·1d·
Discuss: Hacker News
🔄Burrows-Wheeler
Bidirectional type checking step by step (in Ruby)
luizpvas.github.io·6h·
Discuss: Hacker News
⬌Bidirectional Typing
6D Phase Space Reconstruction: MENT-Flow Validation on Complex High-Dimensional Distributions
hackernoon.com·2d
💎Information Crystallography
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.org·1d
🧠Machine Learning
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·10h·
Discuss: Hacker News
🔗Concatenative Programming
CIR-CoT: Towards Interpretable Composed Image Retrieval via End-to-End Chain-of-Thought Reasoning
arxiv.org·1d
🧮Vector Embeddings
Parallel-in-Time Solution of Allen-Cahn Equations by Integrating Operator Learning into the Parareal Method
arxiv.org·1d
🕸️Tensor Networks
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·7h·
Discuss: DEV
⚙️Proof Engineering