Something Something Programming
About

Posts

  • 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

subscribe via RSS

Something Something Programming

  • Something Something Programming
  • nicholasdrozd@gmail.com
  • nickdrozd

Mostly thoughts about programming. Maybe other stuff too.