The Curious Engineer

All blogs / Math

Something Something Programming

nickdrozd.github.io

Mostly thoughts about programming. Maybe other stuff too.

MathSoftware / engineering practiceAI / ML

’18’19’20’21’22’23’24’25’26
Posts
101 from 4 Aug 2018 to 20 Oct 2026
Posting
now and then (5 in the last year)
Kind
personal blog
Feed
https://nickdrozd.github.io/feed.xml

2026 4

  1. Blanking Beavers: Results and Open Problems
  2. A Tetrational Self-Cleaning Turing Machine
  3. Where are those goalposts? I’m sure I put them here somewhere
  4. AI Reproduction of Lin’s Busy Beaver Proof

2025 8

  1. Running out of places to move the goalposts to
  2. Recursive Type Definitions in Rust
  3. AI-generated music is really starting to hit
  4. The Shape of a Turing Machine
  5. Performance Hacks for Brady’s Algorithm
  6. Busy Beaver Backwards
  7. What a Difference a Faster Hash Makes
  8. BBB(3, 3) > 10 ↑↑ 6

2024 6

  1. An ideology-induced bug in Mypy
  2. chatgpt undrstands gabarbled text
  3. Print Debugging and Print Profiling
  4. What if undecidability shows up all at once?
  5. www.thug.com
  6. Pro-AI?

2023 8

  1. `eval` should not be a built-in function
  2. Tetration
  3. Python Interface / Refactor Challenge
  4. Blogging in the Age of Internet-Scale AI Training
  5. When Only Real Math Will Do
  6. The High Price of Abstraction in Python
  7. There is no such thing as human-generated text
  8. How to Print-Debug Python Comprehensions

2022 16

  1. Some Advice for Browsing Wiktionary in Emacs
  2. The Walrus-While Python Pattern
  3. Collatz Counterexamples
  4. How Typical is the Solar System?
  5. Formal Proof Challenge: The Half-Collatz Theorem
  6. Heaven Must Be Missing a Syllable
  7. A Solution to the Halting Problem
  8. Does This Function Terminate?
  9. Performance Hot Spots
  10. Collatz Arithmetic
  11. Total Functions and Partial Functions
  12. A Formal Theory of Spaghetti Code
  13. ذس پوست س رتن ن ینگلش
  14. Latest Beeping Busy Beaver Results
  15. Brady's Algorithm for Program Generation
  16. Another New Record in Self-Cleaning Turing Machines

2021 15

  1. A Better Turing Machine Tape Model
  2. A History of Busy Beaver Hardware
  3. Binary Relations in Idris
  4. A Busy Beaver Champion Program Derived from Scratch
  5. Maybe the Spaghetti Code Conjecture is False
  6. Exciting New Ways To Be Told That Your Python Code is Bad
  7. A New Record in Self-Cleaning Turing Machines
  8. Structured Programming for Busy Beavers
  9. An Ounce of Riot Prevention is Worth a Pound of Riot Cure
  10. A Mathematical Fact from a Busy Beaver
  11. signed char lotte
  12. Lin Recurrence and Lin's Algorithm
  13. Blanking Beavers
  14. The Spaghetti Code Conjecture
  15. Halt, Quasihalt, Recur

2020 18

  1. The Lin-Rado Busy Beaver Proof
  2. A Christmas Tautology
  3. Is the Busy Beaver Sequence Well-Defined?
  4. Beeping Busy Beaver Results
  5. The Afterlife Behavior of Quasihalting Turing Machines
  6. Turing Machine Notation and Normal Form
  7. Are Turing Machines Programmable?
  8. Beeping Busy Beavers
  9. A Makefile for Getting Dressed
  10. Derek Chauvin Did This
  11. The Pronunciation of 'Kernighan', according to Foreign-Language Wikipedia
  12. Idris Algebra
  13. Why Aren't Idris Interfaces Verified?
  14. Answers to Questions about Chinese Characters and Dictionaries
  15. A Partly-Successful Attempt to Look Up a Chinese Character
  16. Dependently-Typed Proofs are Code, and Repetitive Code is Bad, So...
  17. The Disco Fallacy
  18. Material Implication is Not Paradoxical

2019 14

  1. Modified Emacs Mac Modifiers
  2. Four Years of Twenty-Five Days of Christmas Movies
  3. Emacs Lisp Challenge: flaky-if
  4. Book Review: The Little Typer
  5. A Correctness Proof for a Simple Compiler in Idris
  6. Python's `RecursionError` is a Misnomer
  7. Recursion Error While Handling Recursion Error
  8. I Got a Knuth Check for 0x$3.00
  9. Lispier Rust with Generics
  10. Remacs FAQ
  11. Propositional Logic Theorems as Types in Idris
  12. The Magic SysRq Key
  13. The Story of XEmacs
  14. Some Advice for How to Make Emacs Tetris Harder

2018 12

  1. My First Emacs Commit
  2. Real-World Uses for Dynamic Scope
  3. The Bubble Sort Machine
  4. Basic Web Scraping with Emacs
  5. Grepping Dictionaries, English and Otherwise
  6. Who Wrote the One-Star Reviews of SICP?
  7. Logic in Reazon II: Generating Propositional Logic Proofs
  8. Logic in Reazon I: Generating Sentences of Modal Logic
  9. Proving the Second Incompleteness Theorem from the First
  10. Solving Logic Puzzles in Emacs with Reazon
  11. The Python `in` Keyword(s)
  12. Anonymous Recursive Functions