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

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

Missing the point of applicatives

Applicatives compose, monads do not

Switching from monads to applicative functors

Your easy guide to Monads, Applicatives, & Functors

Can you give some exampes of Applicative Functors which are not Monads?

Good examples of Not a Functor/Functor/Applicative/Monad?

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

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

- Auto-update via watchtower?
- CI: pick between:

- Patterns in reflex for people with reflex experience: Doug Beardsley: Real World Reflex

- A Beginner-friendly Step by Step Tutorial for Reflex-Dom
- dynamics
- beginner guide
- project development w/reflex-platform
- Introduction to Brick+Reflex

- 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

- Categorical programming section of Haskell Wiki on Category Theory

- 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

- ghcid for web dev
- A win for recursion schemes
- Looking for a terse Haskell-y solution to an Object-y problem in game design
- Lessons learned while developing Age of Empires 1 Definitive Edition (not haskell!)
- Haskell’s kind system - a primer
- Haskell/Denotational semantics
- Graph reduction, or “how Haskell programs are commonly executed on a real computer”
- Follow the Denotation
- Haskell roguelike (series)
- Shake build system manual
- Fixpoints in Haskell
- Keep your types small…
- Derriving Via
- Capability: The ReaderT pattern without boilderplate
- Reverse Mode Auto Differentiation is Kind of Like a Lens
- Cloud Haskell (erlang in hs)
- Semantic Design
- Talk, Slides, Workshop on Denotational Design
- Offline: Thinking Functionally with Haskell
- Tagless-Final Style
- Beautiful Aggregations with Haskell
- Monoids on Steroids
- Free Monoidal Functors
- What makes the Free Monad Free?
- Comonads as Spaces
- Counterexamples of Type Classes
- Presentation: Joys & frustrations of putting 34,000 lines of Haskell into production
- The nesting instinct
- Functor functors
- Error handling in Haskell
- Comonads as spaces
- Finite-State Machines, Part 1: Modeling with Haskell Data Types
- Pathfinding
- Compression decompressed
- apecs tutorial: An RTS-like game
- Graphs
- DSL for the Uninitiated
- Haskell DSL for shell scripting
- Encapsulation Considered Harmful
- Design Patterns in Haskell
- From design patterns to category theory
- The functor design pattern
- Yorgey
- Program Reduction: A Win for Recursion Schemes
- Recursion schemes
- Representable functors
- Adjunctions
- Category Theory Hierarchy
- Diagrams as a Monoid
- Algebraic patterns (identity, semi-group, monoid, monoid morphisms, category, + other interesting stuff)
- Semirings for breakfast
- Type isomorphism
- Practical introduction to Finger Trees
- Haskell with only one type family
- What the heck is typeable?
- A game in Haskell
- Introducing Haskell to a company

Scheduling effects - Learning Haskell: miscellaneous enlightenments
- Anatomy of a program in memory
- Category design pattern
- Detailed walkthrough for a beginner Haskell program
- Testing distributed-process Apps Using Hspec
- Graphs are to categories as lists are to monoids
- Compiling to Categories 3: A Bit Cuter
- Data.List Recursion Illustrated
- A tale on Semirings
- Introduction to state machine testing: part 1
- Wise Man’s Haskell
- dejafu
- Functor Functors
- The Nesting Instinct
- Error Handling in Haskell
- Intuitionism: The Rise of Intuitionistic Logic
- Lens into wrapped newtypes
- Haskell for Readers
- From Type Theory to Haskell in 10 minutes
- Haskell Development with Nix and Dante [learn nix]
- weeder package
- Maybe? Use a type parameter!
- Series on fltkhs
- Down with Show!
- Introduction to Tagless Final
- Why Dependent Haskell is the Future of Software Development
- Compiling to Categories 3: A Bit Cuter
- The Essence of Datalog
- Haskell, Nix and Vim: Getting started
- Recursion schemes by example
- Data Structures Are Antithetical to Functional Programming
- Don’t Eff It Up Freer Monads in Action
- The Curry-Howard-Lambek correspondence
- Curry-Howard Correspondence Example
- Classical Logic in Haskell
- Coeffects: Context-aware programming languages
- Algebra cheatsheet (with Haskell)
- Animation DSL with Effect Handlersl
- Adjacency_matrix
- Trie
- Functor Combinatorpedia
- Programming Language Foundations in Agda
- When children processes exit debugging story (typed-process library)
- Why would you use ContT?
- Why I (as of June 22 2019) think Haskell is the best general purpose language (as of June 22 2019)
- Implement With Types, Not Your Brain!
- Choosing properties for property-based testing
- Become a Better Haskeller by Learning About Inductive Types
- Animation DSL With Effect Handlers
- Rust for functional programmers
- How we made Haskell search strings as fast as Rust
- Backwards Compatible Configuration with Constraint Kinds
- Zero Bullshit Haskell
- Haskell IO inside
- Categories with Monadic Effects and State Machines
- An Intuition on Context I & II
- What the heck is polymorphism?
- Aeson’s mysterious lazy parsing
- Zero to Quake3 (in Haskell)
- Registry - DI in Haskell + Motivation for Registry

- floskell - code formatter for haskell
- Yaya - recursion schemes library
- Digestive functors
- Algebraic data modelling - functional DDD
- Fast Unicode normalization in Haskell
- Haskell library for string interpolation and formatting
- Inter font family - Inter is a typeface specially designed for user interfaces with focus on high legibility of small-to-medium sized text on computer screens.
- Pandoc CSS for Hakyll

- There is no Fork
- Fold and Unfold for Program Semantics (plus others in dir listing)
- The Two Dualities of Computation: Negative and Fractional Types
- How to Twist Pointers without Breaking Them
- Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire - or rewoked for Haskell
- Out of the Tar Pit
- Programming with Managed Time
- An Invitation to Category Theory for Designers
- Denotational design with type class morphisms
- Declarative UIs are the Future — And the Future is Comonadic!
- Trees That Grow
- Notions of Computations as Monoids
- Papers We Love
- Compiling to Categories

- 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

- 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

- tree
- rider

- lunar base
- 50s rockets

*Fix split with mighty putty*- Freeride
- Pick bindings

- tree
- rider

- lunar base
- 50s rockets

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

- Hidden Manchester
- Stuff Jenn wrote about

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

- 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

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

- 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