Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
marcoeilers
on July 16, 2018
|
parent
|
context
|
favorite
| on:
Nagini: A Static Verifier for Python [pdf]
Hi everyone, I'm the main author of the tool; it's really cool to see that there's some interest in this :) If you have any questions, I'd be happy to answer them.
Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: