anishathalye
- Karma
- 3,431
- Created
- 12 years ago
About
anishathalye.comphd 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 ]
Recent Submissions
- 1. ▲ Show HN: Gandalf the Grader (github.com)
- 2. ▲ AI Agent Security Lecture (github.com)
- 3. ▲ Mypy 2.0 Relased (mypy-lang.blogspot.com)
- 4. ▲ The Missing Semester of Your CS Education – Revised for 2026 (missing.csail.mit.edu)
- 5. ▲ The Missing Semester of Your CS Education (2026) (missing.csail.mit.edu)
- 6. ▲ Show HN: Semlib – Semantic Data Processing (github.com)
- 7. ▲ Semlib: LLM-Powered Data Processing (anishathalye.com)
- 8. ▲ Linearizability testing S2 with deterministic simulation (s2.dev)
- 9. ▲ Sleep-Time Compute: Beyond Inference Scaling at Test-Time (arxiv.org)
- 10. ▲ Co-Adapting Human Interfaces and LMs (jessylin.com)