Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
Causality1
on June 20, 2019
|
parent
|
context
|
favorite
| on:
Use Coq in Your Browser: The Js Coq Theorem Prover...
Yeah, but the thing about drama is that for it to be drama there has to be someone saying "No, this behavior is not ok." Those voices have largely been silenced and the behavior proceeds apace.
Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: