A proof that the set of encodings of Turning machines that accept all strings is not Turingrecognizable.

Tagged as

Visualizing Philosophers And Scientists By The Words They Used With Python and d3.js
Creating a wordcloud based off of publicly available project Gutenberg books, with d3.js and Python.
Tagged as 
It From Bit  A Brief Exploration Of Some Ideas and Results From The Theory of Computation
A presentation I gave to a group of physics graduate students, as an introduction to some ideas and results in theoretical computer science.

Understanding SAT by Implementing a Simple SAT Solver in Python
SAT is often described as the "mother of all NPcomplete problems." This post goes over what SAT is and why it is considered to be so important. A simple SAT solver is implemented using Python in the process.
Tagged as 
So How Do You Actually Calculate The Fibonacci Numbers?
You have seen it as an example a million times. But do you know how to do it efficiently?
Tagged as 
Combinatorial Generation Using Coroutines With Examples in Python
Approaching combinatorial generation algorithms using coroutines, with examples in Python. Inspired by Knuth's work in his volume 4 of The Art of Computer Programming, as well as his "Deconstructing Coroutines" paper, cowritten with Frank Ruskey.
Tagged as 
30 Python Language Features and Tricks You May Not Know About
A list of Python tips and tricks. See how many of them you already know.
Tagged as 
Multilinear Representation of Boolean Functions
Algorithm to compute the multilinear representation of a boolean function given its truth table.
Tagged as 
Understanding TwoStep Verification With An Example Using Python and Google Authenticator
An introduction to twostep authentication, HOTP and TOTP algorithms, with an example in Python on Heroku using Flask and pyotp and the Google Authenticator app for clientside.
Tagged as 
Line Intersecting Maximal Number of Circles (Circle "Stabbing" Problem)
Developing an algorithm to find a line that intersects a maximal number of circles, given a set of circles. Based on an ACM ICPC regional competition problem.

Finding the Tangent Line to Two Circles Demonstrated Using JSXGraph
An HTML5 applet demonstrating step by step how to find tangent lines to two circles, using the JSXGraph framework.
Tagged as 
Thales Inscribed Angle Theorem Demonstrated Using JSXGraph
An HTML5 applet demonstrating the Thales inscribed angle theorem.
Tagged as 
Expected Running Time of Two Randomized Sort Algorithms (ACM ICPC 2013 PACNW Regional)
Computing the expected running time of two randomized sort algorithms for a given input array. This problem appeared in ACM ICPC 2013 PACNW regional competition.

Pattern Matching in Fibonacci Words (ACM ICPC World Finals 2012)
A discussion of calculating the number of occurrences of a given pattern in Fibonacci words, with a Java solution. Problem from the 2012 ACM ICPC world finals.
Tagged as 
Programmer's Guide to Setting Up a Mac OS X Machine
My list of items to do to set up a Mac OS X machine for coding and other power user tasks.

Fibonacci Primitve Roots of Primes (Project Euler)
A problem on finding primes with Fibonacci primitive roots, from Project Euler and my Python solution.
Tagged as 
Common Substring Permutation
Short post on a simple problem on common subsequence permutations with a neat oneline Python solution.
Tagged as 
Visualizing the Convex Hull Using Raphaël
Visualizing a simple incremental convex hull algorithm using HTML5, JavaScript and Raphaël, and what I learned from doing so.

Basics of Cryptography Part I: RSA Encryption and Decryption
An introduction to RSA cryptography, with accompanying Python code implementing the basic algorithms used. A quick review of the number theory and group theory involved is given as well.
Tagged as 
Hundred Prisonors and a Room With a Light Switch
A hundred prisoners are given a challenge that might set them free. See if you can solve the puzzle involving a light switch and help them gain their freedom.

A Study of Python's More Advanced Features Part III: Classes and Metaclasses
A study of how Python handles classes and metaclasses.
Tagged as 
Interview Question: All Possible Products of a List of Primes (Facebook)
Facebook interview question to list all possible products of a list of primes, with two Python solutions and a short discussion of the problem.
Tagged as 
ProblemSolving Lessons From George Pólya
What I learned from Newman's selections of Pólya's How to Solve It, the influential and beautifully written book on problemsolving techniques and heuristics.
Tagged as 
Interview Question: Fair and Unfair Coins and Bayes' Theorem (Groupon)
Groupon interview question to infer the probability of an event using Bayes' theorem.
Tagged as 
A Study of Python's More Advanced Features Part II: Closures, Decorators and functools
A study of Python's function and class decorators. An appendix to explain Python's closures is given too. Plenty of examples.
Tagged as 
A Study of Python's More Advanced Features Part I: Iterators, Generators, itertools
A study of Python's iterators, generators and the itertools package, with ample (mostly) mathematical examples.
Tagged as 
Interview Question: Fairness from Unfairness (Groupon)
Groupon interview question to use an unfair coin to simulate a fair one. The question is the same as extracting randomness from an unfair Bernoulli process. A Python implementation is given.

Manbelbrot Meets HTML5  A Little Fractal Geometry
Simple HTML5 and JavaScript code to generate the Mandelbrot fractal on a canvas element.
Tagged as 
Interview Question: Grouping Word Anagrams (Facebook)
Facebook interview question to group words into anagram. Python solution is given.
Tagged as 
A ChristmasThemed Experiment  HTML5 Canvas Snowflakes
Little experiment with HTML5 and Canvas to generate random fractal snowflakelike patterns.
Tagged as