Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
ndriscoll
6 days ago
|
parent
|
context
|
favorite
| on:
We have proof automation now
I don't see why it would be particularly difficult beyond not already having a lot of IO libraries (like Kafka connectors or whatever). Pure functional programming in Scala with IO monads is quite pleasant.
help
Consider applying for YC's Fall 2026 batch!
Applications
are open till July 27.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: