How-To

2022/02/14 Raspberry pi: set numlock at boot
2021/12/08 Globally replace a font in linux
2021/10/10 Build a split planck keyboard
2019/09/17 How to keep Windows 10 start menu from searching the web
2019/06/06 45 minute kayak paddle
2019/02/19 Friction folder knives
2019/01/31 Battery powered speaker
2018/12/02 A 3D printed gaming keyboard
2018/11/11 Traveler’s notebook
2018/08/17 A new favorite tool
2018/07/01 What do you use chisels for?
2018/05/22 Electrical conduit desk
2018/05/19 A Japanese style woodworking toolbox
2018/04/25 My DIY mechanical keyboard
2018/04/15 A cigar box mini amplifier
2018/03/13 A homemade karambit
2017/12/20 How to Fix the “Media change” error on a Debian-based system
2017/09/18 Quality headphones for cheap
2017/06/24 Grind your own stub nib