<- ahri.net

Hardware

• X210 (X201 mod) - see power optimisations on x62 too

Editing code

• rcrepl - like ghcid, but integrated, vim plugin
• shellcheck
• ACE JS editor
• Markdeep - markdown
• Ormolu code formatter
• Unicode groupings
• Kakoune
• vim-easy-align

Neat programs

• Exe packer - compress exes
• MagicaVoxel
• Windows X server
• fd / find
• entr - Run arbitrary commands when files change
• hsp / awk-haskell

command-line

• LaTeX in vim
• entr
• bat
• fd

Testing

• Hedgehog
• Find and work through some property-based testing - check out validity
• sizzy - multiple differently sized browsers

VPS

• Auto-update via watchtower?
• CI: pick between:
  • https://www.gocd.org/why-gocd/
  • https://travis-ci.org/
  • https://jenkins.io/
  • Circle CI
  • GitLab CI

Haskell

Blog ideas

• Category theory for TypeScript programmers -> haskell
• Traversable as group punishment
• Reader (Monad of functions) as a funnel; (cfg cfg cfg) -> (function function function function function)
• Denotational semantics for programmers - basics

Crossover with Category Theory

• Categorical programming section of Haskell Wiki on Category Theory
  • Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire - or reworked for Haskell
  • Generic Programming, an Introduction
  • Functional Programming with Apomorphisms/Corecursion
  • Categorical Programming with Iinductive and Coinductive Types
  • A Categorical Programming Language

Video

• YouTube TODO list
• LambdaConf 2017
• Denotational Semantics & DSLs
• The Algebra of Algebraic Data Types* + blogs: 1, 2, *3
• Monoids: theme and variations
• Categories for the Working Hacker

Reading

Already read, would recommend

Applicatives

• Applicatives compose, monads do not
• Your easy guide to Monads, Applicatives, & Functors

Books (Electronic/PDF)

• The Joy of Cats
• The Science of Programming
• The Algebra of Programming
• The Software Foundations series
• Type level programming in Haskell
• A Type of Programming (Haskell)
• To Kata Haskellen Evangelion - Learn Haskell the Easy Way
• Universal Machines
• How to Design Programs
• Crafting Interpreters

Later consideration

• Pipes, Conduit, Streaming - nice discusssion
• Acid State
• Teach yourself CS
• Transient
  • Slides
  • Tutorial

Maths

Books

• Category Theory for the Sciences
• The Joy of Cats
• Calculus Made Easy

Self-teach websites

• Programmer’s introduction to linear equations
• Calculus for Beginners and Artists
• A Brief Guide to A Few Algebraic Structures
• Immersive linear algebra
• Mathigon
• School Yourself
• Alcumus
• Math is fun
• HippoCampus
• Math doctor Bob
• The Catsters (category theory)
• The 20 Websites You Need to Learn Math Step by Step
• Order theory for computer scientists
• Math as Code
• Calculus for Beginners and Artists
• Cool Math Games

Japan Videos: GoPro Quik

Tattoo

• tree
• rider

Logo

• lunar base
• 50s rockets

Snowboarding

• Fix split with mighty putty
• Freeride
• Pick bindings

Tattoo

• tree
• rider

Logo

• lunar base
• 50s rockets

Snowboarding

• Fix split with mighty putty
• Freeride
• Pick bindings
• Bent Metal Solution
• Playlist

Exploration / outdoors

• Hidden Manchester
• Stuff Jenn wrote about

Boring Life Stuff

• Pick a situation in which to play handheld games on a regular basis
• Add stuff Jenn wrote about to exploring section

House

• Heating
• Infrared panel - feels like the sun, cheaper than most electric heating, silent, less likely to break down
• Bioethanol - actual flame, good aesthetics, cheaper to run, can be an expensive initial outlay
• Dripping taps
• Rice cooker
• Blinds
• PC Screen
• Kittie cam

Cat scratch post

• Inspiration
• 30m (100ft), 6mm (0.24in) sisal rope (not twine)

Media

• Books
  • Atlas Shrugged
• TV:
• Movies:
  • City of Lost Children
  • The Pervert’s Guide to Cinema
• Games
  • Home: Super Mario 64 / NO MORE HEROES
  • Out: Super Mario Land / Grand Theft Auto: Chinatown Wars