measurablefunc
- Karma
- 0
- Created
- ()
- Submissions
- 0
- A Hitchhiker's Guide on Distributed Training of Deep Neural Networks (2020) (sciencedirect.com)
- Combining SAT Solvers with CAS to Verify Combinatorial Conjectures (2016) (link.springer.com)
- Trouble Transitioning (2025) (lrb.co.uk)
- Applied Category Theory Course (2018) (math.ucr.edu)
- The US Government Is Now a Shareholder in 26 Companies (moeonmargin.substack.com)
- How to talk about "AI" without adding to the anthropomorphization (buttondown.com)
- A Survey on Lawvere's Fixed-Point Theorem (2025) (arxiv.org)
- Calculus in Coinductive Form (1998) (ieeexplore.ieee.org)
- Bad universal priors and notions of optimality (2015) [pdf] (jan.leike.name)
- Star Maker by Olaf Stapledon (philosophynow.org)
- Thermal Power and Climate Change (eartharxiv.org)
- Isbell Duality (2022) (alphaxiv.org)
- World food systems 'pushed to the brink' by extreme heat, UN warns (theguardian.com)
- The next food crisis may have begun (irishtimes.com)
- Energy and Human Ambitions on a Finite Planet (2021) (escholarship.org)