HN Explorer

datascientist

↗ HN profile [ 131 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura (thedataexchange.media)
    2 points 0
  2. 1 points 0
  3. 1 points 0
  4. 1 points 0
  5. 1 points 0
  6. 1 points 0
  7. 1 points 0
  8. 1 points 0
  9. 1 points 0
  10. 1 points 0
  11. 1 points 0
  12. 1 points 0
  13. 1 points 0
  14. 1 points 0
  15. The genius who finally persuaded Boris Johnson to lock down (thetimes.co.uk)
    1 points 0
  16. Elastic Deep Learning with Horovod on Ray (eng.uber.com)
    1 points 0
  17. Demand for reinforcement learning has been quite stable (gradientflow.com)
    1 points 0
  18. Natural Language Processing in Industry: 2020 survey results (gradientflow.com)
    1 points 0
  19. Open source projects interact with users (gradientflow.com)
    1 points 0
  20. What you need to look for in a machine learning model server (anyscale.com)
    1 points 0
  21. When Workers Can Live Anywhere, Many Ask: Why Do I Live Here? (wsj.com)
    1 points 0
  22. Understand the Ray ecosystem and community in under seven minutes (youtube.com)
    1 points 0
  23. PBS Frontline: the rise and reign of Jeff Bezos (pbs.org)
    1 points 0
  24. What Is a Data Lakehouse? (databricks.com)
    1 points 0
  25. How Amazon Chose Speed over Safety in Building Its Delivery Network (propublica.org)
    1 points 0