Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
singularity2001
1 day ago
|
parent
|
context
|
favorite
| on:
We have proof automation now
Have you tried writing any programs in it?
help
ndriscoll
15 hours ago
[–]
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.
reply
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:
