Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
dwattttt
4 days ago
|
parent
|
context
|
favorite
| on:
Partially Matching Zig Enums
To take an extreme example, what if I asserted the Riemann hypothesis in comptime? It's relying on comptime execution to act as a proof checker.
Which is fine for small inputs and uses, but it's not something that would scale well.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
Which is fine for small inputs and uses, but it's not something that would scale well.