Hacker News new | ask | show | jobs
user: anishathalye
created: 2014-03-21
karma: 3431

anishathalye.com

phd student @ mit, interested in systems, verification, security, and AI

[ my public key: https://keybase.io/anish; my proof: https://keybase.io/anish/sigs/YRVEA6S72qWpNVsXVWiRPESWpq8XLK2F-dqajqGbjQ8 ]

submissions:

Show HN: Gandalf the Grader
1 points | 0 comments
0 points | 0 comments
AI Agent Security Lecture
4 points | 3 comments
Mypy 2.0 Relased
4 points | 0 comments
0 points | 0 comments
0 points | 0 comments
The Missing Semester of Your CS Education – Revised for 2026
457 points | 132 comments
0 points | 0 comments
The Missing Semester of Your CS Education (2026)
9 points | 1 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Show HN: Semlib – Semantic Data Processing
63 points | 12 comments
0 points | 0 comments
Semlib: LLM-Powered Data Processing
1 points | 1 comments
Linearizability testing S2 with deterministic simulation
7 points | 1 comments
0 points | 0 comments
0 points | 0 comments
Sleep-Time Compute: Beyond Inference Scaling at Test-Time
1 points | 0 comments
Co-Adapting Human Interfaces and LMs
46 points | 4 comments
0 points | 0 comments
Overcoming Hallucinations with the Trustworthy Language Model
2 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Automated Data Quality at Scale
1 points | 1 comments