News for hackers. Stuff that matters.
Re:Code is Engineering; Types are Science by Rochus on Monday April 06, 2020 @09:35AM (#22793554)
Re:Code is Engineering; Types are Science by eternalban on Tuesday April 07, 2020 @10:04AM (#22803278)
Thanks!