Home
Welcome
Welcome to my blog!
I've reproduced a list of recent posts here for your reading pleasure:
Posts
- How to use Private Storage on Android - August 7, 2023
- Run property tests until coverage stops increasing - July 30, 2023
- Android app in Haskell, six months, no previous Android experience - July 25, 2023
- SMT Solvers part three - April 11, 2022
- How to improve meaningful social interactions on the internet? - March 30, 2022
- Recurse Center again! - March 29, 2022
- Why does magit-status give me an error? - April 18, 2021
- Open Source Hardware Hearing Aid Part 1 - August 3, 2019
- Hyper and Super on my keyboard? - July 21, 2019
- Part two of SMT Solvers, Integer Linear Programming - July 12, 2019
- SMT Solvers, Integer Linear Programming - July 10, 2019
- Sparklines in text - June 16, 2019
- Markov Keyboard, The Rabbit Hole Factory - June 11, 2019
- Linux on RISC-V - June 8, 2019
- two weeks of recurse center - June 1, 2019
- markov keyboard - May 31, 2019
- mastermind in elisp - May 21, 2019
- xmonad the tiling window manager - May 11, 2019
- blogging with emacs' org-mode - May 2, 2019
- Recurse Center - May 1, 2019
- Faster Haskell code, by example! - July 9, 2017
…or you can find more in the archives.