Hacker Newsnew | past | comments | ask | show | jobs | submit | formalsystem's submissionslogin
31.Automatic Differentiation Step by Step (medium.com/marksaroufim)
3 points by formalsystem on Nov 12, 2019 | past
32.How to Turn Physics into an Optimization Problem (medium.com/marksaroufim)
115 points by formalsystem on Nov 5, 2019 | past | 37 comments
33.Technical Books I Love (medium.com/marksaroufim)
12 points by formalsystem on Nov 4, 2019 | past | 1 comment
34.Build Your Own Reinforcement Learning Environments with Unity ML Agents (medium.com/marksaroufim)
2 points by formalsystem on Oct 30, 2019 | past
35.Implement a Reinforcement Library from Scratch Deep Dive into Reinforce.jl (medium.com/marksaroufim)
2 points by formalsystem on Oct 28, 2019 | past
36.How to Build Robots at Home (medium.com/marksaroufim)
2 points by formalsystem on Oct 22, 2019 | past
37.Can Deep Learning solve my problem? A type theoretic heuristic (medium.com/marksaroufim)
2 points by formalsystem on Oct 22, 2019 | past
38.How to Build Robots at Home (medium.com/marksaroufim)
3 points by formalsystem on Oct 19, 2019 | past
39.How to Build Robots at Home (medium.com/marksaroufim)
2 points by formalsystem on Oct 18, 2019 | past
40.A Brief Visual History of Mathematics (medium.com/marksaroufim)
2 points by formalsystem on Oct 18, 2019 | past
41.Roguelike Tutorial – In Rust (bracketproductions.com)
2 points by formalsystem on Oct 17, 2019 | past
42.A Brief Visual History of Mathematics (medium.com/marksaroufim)
6 points by formalsystem on Oct 17, 2019 | past
43.A history of the mathematical theory of probability (archive.org)
2 points by formalsystem on Oct 4, 2019 | past
44.On the Phenomenon of Bullshit Jobs: A Work Rant by David Graeber (strike.coop)
2 points by formalsystem on Sept 29, 2019 | past
45.Ask HN: Good long form presentation of the history of probability theory
1 point by formalsystem on Sept 18, 2019 | past | 1 comment
46.A layered grammar of graphics [pdf] (byrneslab.net)
2 points by formalsystem on Sept 18, 2019 | past
47.Visualizing complex analytic functions using domain coloring (liu.se)
3 points by formalsystem on Aug 31, 2019 | past
48.Isaac SDK (nvidia.com)
2 points by formalsystem on Aug 23, 2019 | past
49.The Moral Character of Cryptographic Work [pdf] (ucdavis.edu)
2 points by formalsystem on Aug 23, 2019 | past
50.What have we learned from market design (2007) [pdf] (nber.org)
2 points by formalsystem on Aug 14, 2019 | past
51.Open-Sourced Blueprints for Civilization (ted.com)
6 points by formalsystem on Aug 12, 2019 | past | 1 comment
52.Modia3d.jl: Modeling and Simulation of 3D Systems (github.com/modiasim)
2 points by formalsystem on Aug 1, 2019 | past
53.Rustarok: Multiplayer, fast-paced Moba style game (github.com/bbodi)
1 point by formalsystem on July 29, 2019 | past
54.LSTM Patent (patents.google.com)
1 point by formalsystem on June 23, 2019 | past
55.Game Theoretic Foundations for Probability and Statistics (amazon.com)
3 points by formalsystem on June 22, 2019 | past
56.Principia Politica (academia.edu)
2 points by formalsystem on June 10, 2019 | past
57.Calculus on Manifolds [pdf] (strangebeautiful.com)
1 point by formalsystem on May 28, 2019 | past
58.Computational Optimal Transport (arxiv.org)
1 point by formalsystem on May 21, 2019 | past
59.Uber's Undoing (elischiff.com)
2 points by formalsystem on May 20, 2019 | past
60.Observable History (observablehq.com)
1 point by formalsystem on May 14, 2019 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: