HN Explorer

gsf_emergency

↗ HN profile [ 235 ms ] full profile
Karma
139
Created
November 21, 2024 (1y ago)
Submissions
0
  1. Simons Collaboration on the Global Brain (youtube.com)
    2 points 0
  2. Terence Tao: Formalizing a proof in Lean4 with Claude and o4 [video] (youtube.com)
    3 points 0
  3. Armies that still ride animals into battle (2021) (wearethemighty.com)
    1 points 0
  4. Juggling Gears (youtube.com)
    3 points 0
  5. Many a grad a moment: your subject's technical debt is beyond your chops (twitter.com)
    1 points 4
  6. Creating New Utopias in Portugal (ft.com)
    3 points 3
  7. Korean Assembly Speaker's adherence to procedure key to making troops stand down (aljazeera.com)
    9 points 1
  8. Analysis: South Korean airport design was 'unbelievably awful' (youtube.com)
    3 points 0