HN Explorer

xvedejas

↗ HN profile [ 62.9 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. LeanDojo: Theorem Proving with Retrieval-Augmented Language Models (leandojo.org)
    5 points 0
  2. Understanding Transit Infrastructure Costs in American Cities (transitcosts.com)
    1 points 0
  3. Stupid CSS Part 1: Double-Click Handler (fishbotwilleatyou.com)
    1 points 0
  4. San Francisco: A Forbidden Fantasy Comes True (humantransit.org)
    2 points 0