admingirl

3 ms·

1.
Terence Tao: Formalizing a proof in Lean using GitHub Copilot and canonical(youtube.com)
6 points by admingirl 1y ago|0 comments
2.
by admingirl 1y ago
Hi HN, I'm a college student, and this is an MVP I built to help people identify patterns of emotional manipulation—things like gaslighting, guilt-tripping, boundary erosion, etc. It’s very much a prototype, not a finished product. I k
3.
by admingirl 1y ago
I’m in my early twenties, still early. I know the goals sound ambitious, but I’m serious about them and moving fast. Appreciate the reminder, most people who really move the needle aren’t loud about it. They’re just sharp and consistent.
4.
by admingirl 1y ago
Yes, thank you for calling this out. It’s so easy to fall into the “solo genius” myth. I’m aiming for range, not virality. I'd rather build things that last than chase a highlight reel. Survivorship bias is real.
5.
by admingirl 1y ago
You’re totally right, systems at scale aren’t solo efforts. I think my goal is to be the kind of engineer who can prototype ambitious ideas from scratch, understand all the layers, and be dangerous across the stack. Also really appreciate t
6.
by admingirl 1y ago
This is fire. I know exactly what you mean by “the burn”, that restless energy in your chest that makes you have to figure it out, even at 2am. I’ve felt it. Still learning how to stay lit without burning out, but this spoke to me. Thank yo
7.
I built Silk – to help myself (and others) decode emotional manipulation(silk-blush.vercel.app)
4 points by admingirl 1y ago|1 comments
8.
Ask HN: What's the best way to become a 10x full-stack engineer in 2025?
1 points by admingirl 1y ago|8 comments
9.
by admingirl 2y ago
It would be cool if the pattern to solve the maze has both people's initials/names in it.