Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
mdaniel
on April 23, 2024
|
parent
|
context
|
favorite
| on:
Ask HN: What rabbit hole(s) did you dive into rece...
Yesterday's submission may interest you:
https://blog.brownplt.org/2024/04/21/forge.html
(Forge: A Tool to Teach Formal Methods)
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
