Enhanced Damping Factor Prediction via Multi-Scale Neural Network Ensemble
dev.to·7h·
Discuss: DEV
🩹Self-Healing Systems
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·1d
🧮SMT Solvers
Flag this post
Geometric Nets: Unleashing the Power of Shape in AI by Arvind Sundararajan
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·2d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
Magisterium
isaacbowen.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·8h
❄️Nixified Development
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·17h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Neural active manifolds: nonlinear dimensionality reduction for uncertainty quantification
arxiv.org·1d
🔢Matrix Decomposition
Flag this post
Monte-Carlo/Moments micro-macro Parareal method for unimodal and bimodal scalar McKean-Vlasov SDEs
arxiv.org·1d
🎨GADTs
Flag this post
InputDSA: Demixing then Comparing Recurrent and Externally Driven Dynamics
arxiv.org·1d
🔲Cellular Automata
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Edge AI Systems
dev.to·2d·
Discuss: DEV
❓Existential Types
Flag this post
Speedrunning an RL Environment
sidb.in·8h·
Discuss: Hacker News
🎮Verification Games
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·1d
➡️Category Theory
Flag this post
✅ Day 56 of My Data Analytics Journey — Deep Dive into Pandas 🐼✨
dev.to·2d·
Discuss: DEV
🔢Algebraic Data Types
Flag this post
The Pearson Correlation Coefficient, Explained Simply
towardsdatascience.com·3h
🔢Algebraic Data Types
Flag this post
BRIQA: Balanced Reweighting in Image Quality Assessment of Pediatric Brain MRI
arxiv.org·1d
🔢Matrix Decomposition
Flag this post
Fourier Neural Operators for Two-Phase, 2D Mold-Filling Problems Related to Metal Casting
arxiv.org·2d
🔢Algebraic Data Types
Flag this post
Approximating Heavy-Tailed Distributions with a Mixture of Bernstein Phase-Type and Hyperexponential Models
arxiv.org·1d
🎯Hindley-Milner
Flag this post
Automated Raman Spectroscopy Analysis & Classification of Graphene Oxide via Hyperdimensional Feature Mapping
dev.to·17h·
Discuss: DEV
🔢Matrix Decomposition
Flag this post