Recommendations for intro to Formal Methods course?
2021-11-09
A new search experience on pkg.go.dev
2021-11-09
Ask HN: Best resource to teach non-techies how folder hierarchies work
2021-11-09
Ask HN: Any Experience with VirusDie?
2021-11-09
Ask HN: Lisp users, how powerful is metalinguistic programming?
2021-11-09
Ask HN: What's the Opposite of an NFT?
2021-11-09
A Shrubbery-Flavored Rhombus Experiment
2021-11-09
Whistleblower awarded $24M by NHTSA for exposing HyundaiKia engine security flaw
2021-11-09
Ask HN: How do you teach engineers to be better writers?
2021-11-09
Launch HN: Gallery (YC S21) – On-demand environments on any cloud provider
2021-11-09