News for hackers. Stuff that matters.

A comment on Ask HN: Which books in your field do you think are perfect for self study?.

Re:Ask HN: Which books in your field do you think are perfec... by mbrodersen on Saturday April 30, 2022 @01:10AM (#31213499)
Software foundations:

https://softwarefoundations.cis.upenn.edu/

[ Parent | on HN ]
Re:Ask HN: Which books in your field do you think are perfec... by debanjan16 on Saturday April 30, 2022 @02:38AM (#31213894)
What do they teach?
[ Parent | on HN ]
Re:Ask HN: Which books in your field do you think are perfec... by mbrodersen on Saturday April 30, 2022 @09:03PM (#31221077)
How to prove software correct using proof assistants. It will make you a better developer even if you never use it at work. And it is good fun. Like a puzzle game.
[ Parent | on HN ]