Posts

Posts

  • Intuiting Constructivism2024-07-29
  • How bad are buffer overflows?2024-07-26
  • Real numbers are hard2024-02-14
  • Why 12 notes in the Chromatic Scale?2023-08-25
  • Types as Power Series2022-07-30