Gatlin Johnson
gatlin
| <!DOCTYPE html> | |
| <html> | |
| <head> | |
| <title>Large Type</title> | |
| <link rel="stylesheet/less" type="text/css" href="style.less"> | |
| <script type="text/javascript" src="lib/jquery-2.1.4.min.js"></script> | |
| <script type="text/javascript" src="lib/less.min.js"></script> | |
| </head> | |
| <body> | |
| <div class="out"><span contenteditable autofocus>*hello*</span></div> |
gatlin
/ yet-another-conway.hs
| {-# LANGUAGE DeriveFunctor #-} | |
| import Control.Applicative | |
| import Control.Comonad | |
| import Control.Monad (forM_) | |
| -- These two typeclasses probably make some people groan. | |
| class LeftRight t where | |
| left :: t a -> t a |
| ### | |
| # Markov models! | |
| # | |
| # A Markov model of some process is a model of different states you can be in, | |
| # where each state links to other states. These links are weighted by some | |
| # probability score. Markov models are designed to model systems where future | |
| # states depend only on the present state. | |
| # | |
| # In the case of words you may define "present state" to be "the current word," | |
| # or perhaps "the last 3 words." |
| #!/bin/bash | |
| ### | |
| # Script to launch jackd and reroute PulseAudio through it. And optionally | |
| # start fluidsynth. | |
| # | |
| # READ THE NOTES PLEASE | |
| ### | |
| # Usage (assuming this script is named `audio`, is in your PATH, and is |
| Code: (+ 5 5) | |
| Free (AApp (Free (ASymbol "+")) [Free (ANumber 5),Free (ANumber 5)]) | |
| --- | |
| Code: (lambda (x) (* x x)) | |
| Free (ALambda [Free (ASymbol "x")] (Free (AApp (Free (ASymbol "*")) [Free (ASymbol "x"),Free (ASymbol "x")]))) | |
| --- | |
| Code: ((\ (x) (* x x)) 5 (+ 10 2)) | |
| Free (AApp (Free (ALambda [Free (ASymbol "x")] (Free (AApp (Free (ASymbol "*")) [Free (ASymbol "x"),Free (ASymbol "x")])))) [Free (ANumber 5),Free (AApp (Free (ASymbol "+")) [Free (ANumber 10),Free (ANumber 2)])]) | |
| --- | |
| Code: '(1 2 3) |
| PID controller in Haskell | |
| === | |
| A major project I want to embark on at some point in the future is making a | |
| quadrotor. I've made one before but I was at the mercy of a lot of off-the-shelf | |
| software that I'm not altogether sure was entirely correct, either. | |
| So I want to eventually program a quadrotor (or similarly awesome robot thing) | |
| and I would really enjoy doing it in Haskell. It has a low footprint and is | |
| already used in other real time settings. |
gatlin
/ bikemath.md
Note: For the sake of clarity I'll probably write things you already know. It's just as much to eliminate communication errors as it is for me to keep track of what the fuck I'm even talking about. It does not imply any kind of judgment of what I assume about you :)
Here's the math behind gears and how they are used to efficiently rotate wheels. The same principles underlie how cars work but the mechanisms are
Note: you can copy the file 2-lenses.js below over to repl.it and
play along from home!
A lens in programming, much like a lens in the real world, allows you to focus in on a small part of a larger whole and then do something with or to
gatlin
/ fullwidth.js
| 'use strict'; | |
| let str = "anime is for losers"; | |
| let fw = Array.prototype.map | |
| .call(str, (c) => c === ' ' | |
| ? ' ' | |
| : String.fromCodePoint(c.codePointAt(0) + 0xFEE0)) | |
| .join(''); | |
| console.log(fw); |
| {- | | |
| Operational transformation in Haskell using (co)free (co)monads. | |
| -} | |
| {-# LANGUAGE DeriveFunctor #-} | |
| {-# LANGUAGE MultiParamTypeClasses #-} | |
| {-# LANGUAGE FlexibleInstances #-} | |
| import Data.List (splitAt) | |
| import Control.Monad |