Articles 

• Brands in the bathroom

  2020/01/22

• Pandora’s track title display

  2020/01/05

• How Jekyll checks if a link is valid

  2020/01/04

• Which emoji scissors close

  2020/01/02

• Android Studio’s “Code contains easter egg” inspection

  2019/11/16

• Rasterization of coincident edges

  2019/11/05

• The essence of anticipation (2016)

  2019/11/02

• How IntelliJ determines if it can create a desktop entry

  2019/10/31

• How IntelliJ IDEA installs shellcheck

  2019/09/09

• Highlight All in Firefox 65

  2019/03/02

• Writing a ProxyCommand for SSH

  2018/03/18

• Windows disk space requirements

  2018/03/15

• The SSH protocol

  2018/02/27

• Firebase Messaging license

  2018/02/24

• build_file_checksums.ser

  2018/02/17

• Google AMP from the other side

  2018/02/06

• Uninstalling extraneous language optional features on Windows 10

  2017/12/28

• Subduing Windows machinations with Resource Monitor

  2017/12/14

• Those pound sign thingies in Rust

  2017/11/28

• Working with TensorFlow checkpoints

  2017/09/07

• How to get SLF4J to just work

  2017/08/30

• Transparency effects in Windows

  2017/08/25

• NullPointerException in getNavigationBarView

  2017/08/22

• Time zones in Jekyll on Ruby 2.4

  2017/08/21

• History navigation in Safari

  2017/07/27

• How to complete a filename in Bash

  2017/05/07

• Highlight All in Firefox

  2017/03/09

• Why my monitor went black

  2017/02/08

• Lift to check phone

  2017/01/19

• Cloud services, winter 2017

  2017/01/05

• Ambient display

  2016/12/23

• That thing you saw when you upgraded apt and SHA1 hashes stopped working

  2016/12/06

• Potluck

  2016/11/30

• Hunk editing in git checkout –patch

  2016/07/03

• Cloud services, summer 2016

  2016/07/02

• Android Doze inconveniences

  2016/06/30

• Disposal

  2016/06/12

• The awkward browsing game

  2015/11/22

• Transferring your Firefox profile

  2015/11/10

• Relinquishing control with suborigins

  2015/10/25

• Extension signing requirements for Firefox

  2015/10/14

• A new feature for this site

  2015/10/14

• GitHub’s online editing tools

  2015/10/11

• Modifying other people’s Ruby gems

  2015/10/10

• Meteor stuff

  2015/10/10

• Windows+D

  2015/10/10