DrBearhands’ writings

Blog posts

• On automated versioning strategies for CI/CD pipelines
• The hardest thing I ever did: Hoare state monads
• Every bug is a type error
• The trias politica needs an IT branch

Tutorials

• Haskell for madmen

Development logs

• Making WebGL typesafe in Idris 2
• Making a hollistic programming language
  • Planning