HN Explorer

admingirl

↗ HN profile [ 20.8 ms ] full profile
Karma
6
Created
February 13, 2025 (1y ago)
Submissions
0
  1. Terence Tao: Formalizing a proof in Lean using GitHub Copilot and canonical (youtube.com)
    6 points 0
  2. I built Silk – to help myself (and others) decode emotional manipulation (silk-blush.vercel.app)
    4 points 2
  3. Ask HN: What's the best way to become a 10x full-stack engineer in 2025?

    I’m a junior in college studying math, physics, and CS. My goal is to become a world-class full-stack engineer who can build real-time systems, intelligent apps, and scalable infrastructure from scratch. I’m currently…

    1 points 9