A fast spectral overlapping domain decomposition method with discretization-independent conditioning bounds
arxiv.org·11h
🎯Performance Proofs
Flag this post
De Bruijn Numerals
text.marvinborner.de·1d·
Discuss: Hacker News
λLambda Encodings
Flag this post
5 Maths Gems #193
resourceaholic.com·19h·
Discuss: www.resourceaholic.com
📐Document Algebra
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·22h
🔗Combinatory Logic
Flag this post
The Quantum Schur Transform: Theory and Implementations
blog.wolfram.com·4d
⚛️Quantum Compression
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·17h·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
Duality-Based Fixed Point Iteration Algorithm for Beamforming Design in ISAC Systems
arxiv.org·11h
🎯Performance Proofs
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·10h·
Discuss: Hacker News
🧮Kolmogorov Complexity
Flag this post
✅ Day 56 of My Data Analytics Journey — Deep Dive into Pandas 🐼✨
dev.to·1d·
Discuss: DEV
🧪Data science
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·11h
🧠Machine Learning
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Edge AI Systems
dev.to·1d·
Discuss: DEV
🔲Lattice Cryptography
Flag this post
Budgeted Multiple-Expert Deferral
arxiv.org·11h
🧠Query Planners
Flag this post
InputDSA: Demixing then Comparing Recurrent and Externally Driven Dynamics
arxiv.org·11h
🧮Kolmogorov Complexity
Flag this post
Sguaba – hard-to-misuse rigid body transforms without worrying about algebra
github.com·1d·
Discuss: Hacker News
📊Computational Geometry
Flag this post
Distributional Multi-objective Black-box Optimization for Diffusion-model Inference-time Multi-Target Generation
arxiv.org·11h
🧠Machine Learning
Flag this post
Equation Discovery, Parametric Simulation, and Optimization Using the Physics-Informed Neural Network (PINN) Method for the Heat Conduction Problem
arxiv.org·11h
🧠Machine Learning
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·11h
🧮Algebraic Archives
Flag this post
What Can Be Recovered Under Sparse Adversarial Corruption? Assumption-Free Theory for Linear Measurements
arxiv.org·2d
🔍Vector Forensics
Flag this post
Vectorizing for Fun and Performance
ibm.com·1d·
Discuss: Hacker News
⚡SIMD Vectorization
Flag this post
Linear Causal Discovery with Interventional Constraints
arxiv.org·11h
✨Effect Handlers
Flag this post