Something Something Programming

Posts

Sep 15, 2022
Collatz Counterexamples
Sep 13, 2022
How Typical is the Solar System?
Jun 7, 2022
Formal Proof Challenge: The Half-Collatz Theorem
May 18, 2022
Heaven Must Be Missing a Syllable
May 5, 2022
A Solution to the Halting Problem
Apr 13, 2022
Does This Function Terminate?
Apr 12, 2022
Performance Hot Spots
Apr 7, 2022
Collatz Arithmetic
Apr 1, 2022
Total Functions and Partial Functions
Mar 12, 2022
A Formal Theory of Spaghetti Code
Mar 10, 2022
ذس پوست س رتن ن ینگلش
Feb 11, 2022
Latest Beeping Busy Beaver Results
Jan 14, 2022
Brady's Algorithm for Program Generation
Jan 10, 2022
Another New Record in Self-Cleaning Turing Machines
Dec 31, 2021
A Better Turing Machine Tape Model
Dec 8, 2021
A History of Busy Beaver Hardware
Nov 17, 2021
Binary Relations in Idris
Oct 31, 2021
A Busy Beaver Champion Program Derived from Scratch
Sep 25, 2021
Maybe the Spaghetti Code Conjecture is False
Sep 2, 2021
Exciting New Ways To Be Told That Your Python Code is Bad
Jul 11, 2021
A New Record in Self-Cleaning Turing Machines
Apr 21, 2021
Structured Programming for Busy Beavers
Apr 14, 2021
An Ounce of Riot Prevention is Worth a Pound of Riot Cure
Apr 12, 2021
A Mathematical Fact from a Busy Beaver
Mar 30, 2021
signed char lotte
Feb 24, 2021
Lin Recurrence and Lin's Algorithm
Feb 14, 2021
Blanking Beavers
Jan 26, 2021
The Spaghetti Code Conjecture
Jan 14, 2021
Halt, Quasihalt, Recur
Dec 15, 2020
The Lin-Rado Busy Beaver Proof
Dec 12, 2020
A Christmas Tautology
Oct 15, 2020
Is the Busy Beaver Sequence Well-Defined?
Oct 9, 2020
Beeping Busy Beaver Results
Oct 8, 2020
The Afterlife Behavior of Quasihalting Turing Machines
Oct 4, 2020
Turing Machine Notation and Normal Form
Sep 14, 2020
Are Turing Machines Programmable?
Aug 13, 2020
Beeping Busy Beavers
Jun 24, 2020
A Makefile for Getting Dressed
May 30, 2020
Derek Chauvin Did This
May 28, 2020
The Pronunciation of 'Kernighan', according to Foreign-Language Wikipedia
Apr 26, 2020
Idris Algebra
Apr 23, 2020
Why Aren't Idris Interfaces Verified?
Apr 9, 2020
Answers to Questions about Chinese Characters and Dictionaries
Mar 9, 2020
A Partly-Successful Attempt to Look Up a Chinese Character
Feb 29, 2020
Dependently-Typed Proofs are Code, and Repetitive Code is Bad, So...
Feb 28, 2020
The Disco Fallacy
Feb 8, 2020
Material Implication is Not Paradoxical
Dec 28, 2019
Modified Emacs Mac Modifiers
Nov 30, 2019
Four Years of Twenty-Five Days of Christmas Movies
Nov 23, 2019
Emacs Lisp Challenge: flaky-if
Aug 1, 2019
Book Review: The Little Typer
Jun 10, 2019
A Correctness Proof for a Simple Compiler in Idris
Jun 4, 2019
Python's `RecursionError` is a Misnomer
Jun 3, 2019
Recursion Error While Handling Recursion Error
May 17, 2019
I Got a Knuth Check for 0x$3.00
Apr 18, 2019
Lispier Rust with Generics
Apr 16, 2019
Remacs FAQ
Apr 10, 2019
Propositional Logic Theorems as Types in Idris
Mar 19, 2019
The Magic SysRq Key
Feb 19, 2019
The Story of XEmacs
Jan 14, 2019
Some Advice for How to Make Emacs Tetris Harder
Dec 20, 2018
My First Emacs Commit
Dec 10, 2018
Real-World Uses for Dynamic Scope
Nov 2, 2018
The Bubble Sort Machine
Oct 17, 2018
Basic Web Scraping with Emacs
Oct 16, 2018
Grepping Dictionaries, English and Otherwise
Oct 4, 2018
Who Wrote the One-Star Reviews of SICP?
Aug 15, 2018
Logic in Reazon II: Generating Propositional Logic Proofs
Aug 14, 2018
Logic in Reazon I: Generating Sentences of Modal Logic
Aug 13, 2018
Proving the Second Incompleteness Theorem from the First
Aug 7, 2018
Solving Logic Puzzles in Emacs with Reazon
Aug 5, 2018
The Python `in` Keyword(s)
Aug 4, 2018
Anonymous Recursive Functions