Recent Posts

• AI Scientist: Is it really any good?
  by Darmanion 8/28/2024, 8:30:35 AM with 0 comments
• Never again compare a startup to a vitamin
  by Darmanion 11/20/2023, 8:51:12 PM with 0 comments
• It's Time for the "Sell Painkillers, Not Vitamins" Metaphor to Die
  by Darmanion 11/17/2023, 9:31:24 PM with 0 comments
• Puzzles to convince you you don't understand dependence
  by Darmanion 9/30/2022, 9:50:31 AM with 8 comments
• Solving the Dog-Bunny Puzzle with Program Verification Technology
  by Darmanion 9/21/2022, 4:55:27 PM with 3 comments
• How to build a program that cannot do the wrong thing
  by Darmanion 8/19/2022, 4:36:01 AM with 2 comments
• Demystifying Dependence, Part 2: The Three Dimensions of Dependence
  by Darmanion 8/18/2022, 5:32:29 PM with 0 comments
• Demystifying Dependence, Part 1: The Nine Dependency Puzzles
  by Darmanion 8/17/2022, 6:17:40 PM with 0 comments
• Show HN: Linguistic Antipatterns
  by Darmanion 8/11/2022, 4:50:31 PM with 3 comments