Duality-Based Fixed Point Iteration Algorithm for Beamforming Design in ISAC Systems
arxiv.org·1d
🐫OCaml
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
💬Mach Messages
Flag this post
How I solved nutrition aligned to diet problem using vector database
🔢Algebraic Data Types
Flag this post
An intro to the Tensor Economics blog
lesswrong.com·2d
🔀OCaml Multicore
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
🧮Z3 Solver
Flag this post
Equation Discovery, Parametric Simulation, and Optimization Using the Physics-Informed Neural Network (PINN) Method for the Heat Conduction Problem
arxiv.org·1d
🔲Cellular Automata
Flag this post
De Bruijn Numerals
🧮Lambda Calculus
Flag this post
Vectorizing for Fun and Performance
🏹Effect Systems
Flag this post
Curly Flow Matching for Learning Non-gradient Field Dynamics
arxiv.org·1d
🔀OCaml Multicore
Flag this post
Geometric Nets: Unleashing the Power of Shape in AI by Arvind Sundararajan
🔲Cellular Automata
Flag this post
Sguaba – hard-to-misuse rigid body transforms without worrying about algebra
🔢Algebraic Data Types
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
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Edge AI Systems
❓Existential Types
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
🔢Algebraic Data Types
Flag this post
Reflection for Aggregates (2020)
🔢Algebraic Data Types
Flag this post
Magisterium
🔲Cellular Automata
Flag this post
Loading...Loading more...