The Curious Engineer

All blogs / Essays / personal

Abuse of Notation

abuseofnotation.github.io

writings on math, logic, philosophy and art

Essays / personalMathHaskell

’17’18’19’20’21’22’23’24’25’26
Posts
112 from 4 Jul 2017 to 26 Aug 2026
Posting
monthly (7 in the last year)
Kind
personal blog
Feed
https://abuseofnotation.github.io/feed.xml

2026 4

  1. Entropy
  2. What can *you* do
  3. Predictable
  4. True and correct

2025 15

  1. Fear of the future
  2. When the tower crumbles
  3. I should stop doing category theory
  4. The case against boolean logic
  5. Monad
  6. The level of progress in programming language design
  7. Walk
  8. The road I walk
  9. Mushrooms
  10. I want to forget
  11. Why should I care? or why punks are correct and old wise philosophers are wrong
  12. I don't want to lose the human in me
  13. Agda
  14. To kill an art
  15. The things you fear

2024 16

  1. Teacher
  2. Society
  3. Unity of thought
  4. On Nazism
  5. Is the world discrete or continuous
  6. What is addiction
  7. Nothing to prove
  8. On Hokusai
  9. Conformity is not the way
  10. Which is better
  11. Haskell
  12. Plato's Republic and anarchy
  13. Wresling my ego
  14. Bash language
  15. The concept of maturity as a means of societal control
  16. How does knowledge work: using logic to model real-world communication

2023 35

  1. On non-authoritarian organizations
  2. Unix and Lambda
  3. Timezones
  4. We love opensource
  5. Good theories
  6. Data theories
  7. Elon and capitalism
  8. Services
  9. Win and lose
  10. Feedback loops
  11. Deep work in digital setting
  12. Old tech
  13. Why am I radical
  14. On going back to the office
  15. Critical and non-critical functionalities
  16. Wealth and skill
  17. On dependent types
  18. Mayday
  19. Writer's block
  20. On Godel's Second Incompleteness Theorem
  21. Determinism and free will are compatible
  22. On the law of diminishing returns
  23. Doing things poorly
  24. On federated networks
  25. Everything
  26. 1 + 1 and programming paradigms
  27. Art under capitalism
  28. On being self-critical
  29. Hard things in computer science
  30. Capitalism sick
  31. Questions I ask myself before buying something
  32. Capitalism and innovation
  33. What is capitalism about
  34. Occam's razor
  35. Short history of modern philosophy

2022 19

  1. Authority and christianity
  2. Early and late Wittgenstein
  3. Servants
  4. Intelligence and freedom of thought
  5. On luxury goods
  6. Kant's principle
  7. The fairy tale and reality
  8. Kant's discovery
  9. Ruling countries and corporations
  10. Science philosophy and mathematics
  11. On Godel-related strong AI refutations
  12. On dishonesty
  13. The principle of triviality
  14. Popper's argument
  15. Instant gratification
  16. Antinomy
  17. Human technology: Text files
  18. When Universality Breaks
  19. On systematic learning

2021 10

  1. Facts
  2. Wittgenstein and Kierkegaard's last words
  3. Kant vs Hume
  4. Deepest chapter of Kant's Critique
  5. Positive nihilism
  6. The concept of the self
  7. On spirituality and society
  8. On the concept of myriad of things
  9. On productivity
  10. Structured programming: how to write proper if statements

2019 3

  1. Epistemology for you all: Was Gettier a fraud?
  2. The case of "The case". Why did I spend 7 years writing a 27000-word novel
  3. the first installment of “How does knowledge work”

2018 1

  1. Booknotes - The critique of pure reason

2017 1

  1. Why is functional programming awesome

Undated 8

  1. article about Kant’s categories
  2. Details
  3. Category Theory Illustrated
  4. Mind Against The Machine
  5. The contours of the unknowable
  6. Humane Technology
  7. Epigrams
  8. What is a blogroll?