News for hackers. Stuff that matters.

A comment on “Pack it in, mathematicians, someone owes LLVM a million bucks”.

Re:“Pack it in, mathematicians, someone owes LLVM a million ... by cannabis_sam on Thursday August 19, 2021 @01:20PM (#28236610)
If only c++ and llvm constituted a proof assistant..
[ Parent | on HN ]

There are no comments on this comment yet.