DrBearhands’ writings
Blog posts
- Web Monetization debunked
- On automated versioning strategies for CI/CD pipelines
- Prematurely hand-optimizing C++ code for shits and giggles
- The hardest thing I ever did: Hoare state monads
- The trias politica needs an IT branch
Tutorials
Development logs
- Making WebGL typesafe in Idris 2
- Making a hollistic programming language