λ-Files — All posts

2026

• 28 Apr Why Forcing Users to Change Passwords Is Bad for Security

2025

• 04 Dec Killing Voicemail with Twilio: A Simple Setup for People Who Hate Voicemail
• 28 Nov Essence and Accidents of AI-Generated Proofs
• 26 Mar Evolution email setup for Tufts.edu

2023

• 22 Feb Computer Archeology: UMT (Ultimate Mail Tool)

2021

• 12 Mar Importing mail from Google Takeout into another Gmail account

2020

• 20 Oct My computer setup

2019

• 06 Feb Switching between 3 languages with i3
• 06 Feb Keyboard layout indicator for i3 with i3status
• 31 Jan Dell XPS-13 Touchpad problem (analysis and solution)

2018

• 03 Nov The brave new world of computational photography, or why cell phones are killing SLRs

2017

• 09 Mar Writer comonad in Coq
• 08 Mar Writer comonad in Haskell
• 14 Jan Switching between 3 languages in Ubuntu

2016

• 02 Nov BitBucket Git checkout over SSH with multiple accounts
• 13 Jul Pokemon Go circa 2012
• 06 Feb State Monad in Coq Tutorial
• 04 Feb Auqamacs, Proof General and company-coq

2015

• 25 Oct Augmented reality whiteboard
• 21 Sep ranting on Android Permissions
• 12 Jul Pebble Chaser watch face concept
• 13 Apr smart watches
• 12 Feb Underground dead reckoning
• 10 Feb Digital Signature (sort of)
• 09 Feb Driving directions

2014

• 26 Dec Laptop power connectors
• 15 Dec Welcome To Files