ai Developing artificial intelligence, machine learning

  1. 1
    TorchLean: Formalizing Neural Networks in Lean (leandojo.org) ai formalmethods
    by raven 174 days ago | 0 comments
  2. 1
    Intel's 18A Process Node Debuts with 288-Core Xeon CPUs (tomshardware.com) ai hardware
    by raven 174 days ago | 0 comments
  3. 2
    GPT-2-like in 200 lines of pure Python with no dependencies (karpathy.github.io) ai
    by antonmedv 176 days ago | 0 comments