The Curious Engineer

All blogs / Other languages

Bill Wadge's Blog

billwadge.com

Just another WordPress.com site

Other languagesMathComputing historyAI / ML

Posts
94 from 21 Jul 2010 to 23 Mar 2026
Posting
now and then (2 in the last year)
Kind
personal blog
Feed
https://billwadge.com/feed/

2026 2

  1. PYFL 2.0 MANUAL
  2. In Memoriam: John W. Addison Jr, my Phd Advisor. [4200 views]

2025 4

  1. A Functional Approach to Dictionaries
  2. Functional OO in PyFL [130 views]
  3. PyFL and its While Clauses [160 views]
  4. The Yin and Yang of Programming [3100 views]

2024 5

  1. The Root of all Evil- more sayings [240 views]
  2. “Computers are Useless” and Other Sayings [510 views]
  3. Old Masters, New Technology [100 views]
  4. The complete story of Gödel incompleteness. [4400 views]
  5. The Rise and Fall of GOFAI [3100 views]

2023 3

  1. The Autocomplete Myth [ 210 views]
  2. A Bad Trip to Infinity [5200 views]
  3. GOFAI is dead – long live (NF) AI! [10,000 views]

2022 18

  1. 50 Years of Wow- I lived through 5 decades of computing milestones [4700 views]
  2. Let Cicero Help with your Grant Application [480 views]
  3. Just How Smart are You, ChatGPT? I quiz chatGPT about math.[7700 views]
  4. To Be or Not to Be – Mathematical Existence and the Axiom of Choice [4700 views]
  5. We Demand Data – the story of Lucid and Eduction [1900 views]
  6. Computing on the Baire Space – my Sochi talk. Part I, playing games
  7. Computing on the Baire Space – my Sochi talk. Part II, programming
  8. Hyperstreams – Nesting in Lucid [1100 views]
  9. Shennat dissertation: Dimensional analysis of Lucid programs [430 views]
  10. Portrait vs Landscape – more than meets the eye [2200 views]
  11. Tech Talks Don’t Have to be Boring; follow these simple rules. [3400 views]
  12. Stretchtext or Bust – Ted Nelson’s unrealized vision [1300 views]
  13. Some (crazy?) thoughts on the future
  14. Type Checking as Calculation [860 views]
  15. The Many Faces of Diversity
  16. Topology and Computability[3600 views]
  17. PyLucid : Calculating Dimensionalities with Yaghi Code [960 views]
  18. Functional Programming for the Rest of Us – get PyFL Now! [6900 views]

2021 11

  1. Unbeatable? Tictactoe in PyFL [1200 views]
  2. Parametric Programming – an equational approach to OO and beyond [3600 views]
  3. Six Pillars of Wisdom: lesser versions of famous books
  4. Functional while loops – no, really! [1700 views]
  5. PyFL Output: the magic of simple side effects [740 views]
  6. Monads Schmonads: Functional Input without tears (PyFL) [1800 views]
  7. PyFL: Putting the fun back in functional programming [680 views]
  8. Dimensionality – time sensitivity [1600 views]
  9. Intensional Logic in Context – from philosophy to technology [1500 views]
  10. Just Funnin’ – the infamous “Cowboys” section of the Lucid book [3200 views]
  11. Plotting Propositions – the Mathematics of Persuasion [1600 views]

2020 14

  1. Wadge Degrees – the origin story [1400 views]
  2. Lucid – the origin story [5100 views]
  3. Monads and Intensionality – Lucid is not an aberration [2800 views]
  4. Popcode, a FORTH-like language with looping [340 views]
  5. The Sin of Sloth – an external module system for C [3200 views]
  6. Software Development: the Secret of Success [17,000 views]
  7. The Intensional Spreadsheet [8000 views]
  8. Punched Cards? Sheer Bloody Luxury [2800 views]
  9. In This Talk … [4200 views]
  10. Markup Macro Processor [1400 views]
  11. Branching Time Iteration [2000 views]
  12. I’m good enough, I’m smart enough, and dog-gone it, people like me. Writing grant applications [13,700 views]
  13. The Secret of Academic Success – or fun filled failure if you prefer [14,400 views]
  14. Map Reduce for Mortals [4900 views]

2019 8

  1. Implementing pyLucid [1800 views]
  2. pyLucid – a Lucid Interpreter Written in Python [3800 views]
  3. Double Slit Experiment No Mystery [7800 views]
  4. Free Sex Pot Bust Rap – Introduction to Noun Talk [5000 views]
  5. Where is π today? The nature of the mathematical universe. [2600 views]
  6. One Day in the Greece [130 views]
  7. Laws of the Universe and Teaching [2100 views]
  8. Fun with Power Series [600 views]

2018 2

  1. Negative Time Iteration [1700 views]
  2. Programming With End-Of-Data [3300 views]

2017 6

  1. Multidimensional Dataflow [4100 views]
  2. Choose Your Paradox – the downside of the Axiom of Choice [6600 views]
  3. This Post is Meaningless – the Liar Paradox [3800 views]
  4. Grammar, Go, and the Unconscious – the Power of Facts and Rules. [520 views]
  5. Gödel, Grammar, Go – the Limits of Rules and Facts [8000 views]
  6. Logic without Bound Variables [240 views]

2016 5

  1. My Video Career [1500 views]
  2. Al-Khwarizmi Schmal-Khwarizmi [660 views]
  3. Extensional Higher Order Prolog [3400 views]
  4. Nuclear Pedagogy [1400 views]
  5. B before A [2600 views]

2015 6

  1. Department of Redundancy Department [1800 views]
  2. Wadge Degrees [1200 views]
  3. Lucid Meets Prolog [1900 views]
  4. Laws of the Universe and Teaching
  5. Universal Hybrid Calculus [250 views]
  6. I deduce you are studying logic [8900 views]

2012 3

  1. Intensional (versioned) web sites [320 views]
  2. Lucid – Retirement Plan [820 views]
  3. Lucid – Eduction [750 views]

2011 6

  1. Lucid – into the abyss [750 views]
  2. Quiz Script [680 views]
  3. Lucid – the dataflow language [2100 views]
  4. Lucid – the temporal language [1100 views]
  5. Lucid – the Origins [1200 views]
  6. Infinitesimal Logic [500 views]

2010 1

  1. Hello world! [250 views]