HN Explorer

demibabs

↗ HN profile [ 19.9 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. A Critical Look at Lean4 (lesswrong.com)
    1 points 0
  2. Ask HN: Is Astra's writing starting to bother anyone else?

    As someone who pretty much only uses GPT models (due to how generous the limits are), I always felt like I’d dodged a bullet when people complained about Claude and its load-bearing Claude-isms. GPT models, up to 5.6…

    1 points 2