Double Maths First Thing: Issue 2A
aperiodical.com·21h
👑Isabelle
derived set
ncatlab.org·14h
🧮Algebraic Archives
A New Pyramid-Like Shape Always Lands the Same Side Up
quantamagazine.org·14h·
Discuss: Hacker News
📐Mathematical Art
AI digital twins in supply chain execution
forbes.com·9h·
Discuss: Hacker News
🏠Homelab Orchestration
The first CNN for playing Scrabble – a game of imperfect information
cesardelsolar.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Counting with Categories (Part 1)
golem.ph.utexas.edu·3d
λLambda Formalization
Smart amplifier cuts power consumption, paving way for more qubits and less decoherence
phys.org·12h
⚛️Quantum Tape
On Union-Closedness of Language Generation
arxiv.org·2d
🔗Monadic Parsing
Unlocking Hyper-Security: The Power of AI in Multi-Modal Biometric Systems
dev.to·1d·
Discuss: DEV
🎵Spectral Hashing
Graph-Cover-based Characterization of the Bethe Partition Function of Double-Edge Factor Graphs
arxiv.org·3d
🕸️Tensor Networks
Using Wavelets and Clustering to Predict Odd or Even Numbers: An Overengineered Approach with Pretty (But Confusing) Plots
dev.to·15h·
Discuss: DEV
🧠Machine Learning
From Codicology to Code: A Comparative Study of Transformer and YOLO-based Detectors for Layout Analysis in Historical Documents
arxiv.org·56m
📃Manuscript Tokenization
👹 Longest Binary Subsequence K – LeetCode 2311 (C++ | JavaScript | Python )
dev.to·4h·
Discuss: DEV
λLambda Encodings
Learning-aided Bigraph Matching Approach to Multi-Crew Restoration of Damaged Power Networks Coupled with Road Transportation Networks
arxiv.org·1d
🕸️Graph Algorithms
Deciding Termination of Simple Randomized Loops
arxiv.org·2d
🌳Persistent Data Structures
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.com·2d
🧮Z3 Solver
Solving LinkedIn Queens Using MiniZinc
zayenz.se·2d·
Discuss: Lobsters, Hacker News, r/programming
🧮Z3 Solver
Tech Breakthroughs of June 2025
dev.to·1d·
Discuss: DEV
🖥️Modern Terminals
A large deviation view of \emph{stationarized} fully lifted blirp interpolation
arxiv.org·1d
📐Compression Bounds
What LLMs Know About Their Users
schneier.com·17h·
Discuss: Hacker News
💻Local LLMs