Global Mathematics Lecture IV, Kyoto University
freakonometrics.hypotheses.org·2d
🌀Differential Geometry
I Stopped Wasting Time in Excel When I Learned These 3 Functions
makeuseof.com·2d
📇Indexing Strategies
International Conference on Enumerative Combinatorics and Applications ICECA 2025 (August 25-27, 2025)
gilkalai.wordpress.com·2d
🔗Combinatory Logic
busy beaver function
ncatlab.org·3d
⚔️Lean Theorem
7 Steps to Mastering No Code Automation with n8n for Data Professionals
kdnuggets.com·1d
🌊Stream Processing
Paying attention to feature distribution alignment (pun intended)
alexshtf.github.io·1d·
Discuss: Hacker News
📐Linear Algebra
nodeWSNsec: A hybrid metaheuristic approach for reliable security and node deployment in WSNs
arxiv.org·11h
🕸️Network Topology
Luhn algorithm – Credit card number verification
en.wikipedia.org·2d·
Discuss: Hacker News
🔄CRC Algorithms
Optimizing multiprecision LLL in FLINT
fredrikj.net·5d
🧮Algebraic Datatypes
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·17h
🎯Performance Proofs
Nullable vs. Nullable in C#
einarwh.no·21h·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
Mathematical secrets of ancient tablet unlocked after nearly a century of study (2017)
theguardian.com·1d·
Discuss: Hacker News
🗝️Paleocryptography
Formal verification effort for the ABDK Math 64.64 library using echidna/hevm
github.com·1d·
Discuss: Hacker News
✅Format Verification
Show HN: DataCompose – Prevent downstream data failures with composite functions
datacompose.io·19h·
Discuss: Hacker News
✅Format Validation
Interpretable Early Failure Detection via Machine Learning and Trace Checking-based Monitoring
arxiv.org·11h
🔧Hardware Verification
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·11h
🗂️Vector Databases
Emulating aarch64 in software using JIT compilation and Rust
pitsidianak.is·7h·
Discuss: Lobsters, Hacker News, r/rust
🦾ARM Assembly
Uncertainty Propagation Networks for Neural Ordinary Differential Equations
arxiv.org·11h
📊Quantization
Why is my "optimized" O(1) space Python code slower than the "basic" O(n) space version?
leetcode.com·9h·
Discuss: r/programming
🔄Burrows-Wheeler
Deep Think with Confidence
arxiviq.substack.com·2d·
Discuss: Substack
💻Local LLMs