Hacker News new | past | comments | ask | show | jobs | submit | from login

OCaml Programming: Correct and Efficient and Beautiful, 2024 Edition (cs3110.github.io) 5 points by sebg on Jan 26, 2024 | past Defenses Against Bugs (cs3110.github.io) 2 points by __rito__ on June 17, 2023 | past OCaml Programming: Correct and Efficient and Beautiful (cs3110.github.io) 347 points by philonoist on June 23, 2022 | past | 239 comments OCaml Programming: Correct and Efficient and Beautiful (Book and Videos) (cs3110.github.io) 3 points by AlexeyBrin on April 30, 2022 | past | 1 comment OCaml Programming: Correct and Efficient and Beautiful (cs3110.github.io) 4 points by bytelane on Nov 12, 2021 | past OCaml Programming (cs3110.github.io) 5 points by hacknrk on Aug 25, 2021 | past

Join us for AI Startup School this June 16-17 in San Francisco! Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: