News for hackers. Stuff that matters.

A comment on 0.11.0 Release Notes. Parent comment

Re:0.11.0 Release Notes by ArtixFox on Friday August 04, 2023 @04:42AM (#36997199)
The way zig is designed, I think it will be fairly easy to embed Ada's Spark like proof system in it.
[ Parent | on HN ]
Re:0.11.0 Release Notes by CyberDildonics on Friday August 04, 2023 @10:05AM (#37000255)
Why do you think that?
[ Parent | on HN ]