Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Using Zig to Provide Stack Traces on Kernel Panic for a Bare Bones OS. Parent comment
Calling Rust a "simpler Agda" is a bit insane. Rust simply has a sensible, current type system. Agda is full dependent types.
There are no comments on this comment yet.
Calling Rust a "simpler Agda" is a bit insane. Rust simply has a sensible, current type system. Agda is full dependent types.