ianweatherhogg : theory   300

 « earlier
D3 Graph Theory
Graph Theory tutorials. Interactive, visual, concise and fun. Learn more in less time.
d3  graph  theory
april 2018 by ianweatherhogg
A Little About Color: RBG vs. HSV | kirupa.com
Get a quick and beautifully written overview of what the differences are between RGB and HSV.
colour  theory  art  4*
march 2018 by ianweatherhogg
Dependency graphs are everywhere in computing: Database tables have foreign key relationships with each other, programming languages have functions that call...
january 2018 by ianweatherhogg
LightNote
Write an awesome description for your new site here. You can edit this line in _config.yml. It will appear in your document head meta (for Google search resu...
music  theory
october 2016 by ianweatherhogg
freebroccolo (Darin Morrison)
freebroccolo has 148 repositories written in Agda, PureScript, and Shell. Follow their code on GitHub.
github  ocaml  agda  docker  haskell  category  theory  purescript
february 2016 by ianweatherhogg
The basics – MTU, MSS, GRE, and PMTU - Das Blinken Lichten
Cisco, VMWare, Docker, Kubernetes, DevOps, F5, Automation, etc, etc, etc
network  theory  lowlevel  protocol  5*  tcp  udp  head  security  wire  shark  topology
february 2016 by ianweatherhogg
Ant colony optimization in Scala
My own semi-coherent thoughts on technology, politics, local news, and whatever I happen to be reading, doing, or learning at the time. Anything posted on this blog represents my own views, and not those of my employer or any organization.
ant  scala  graph  theory
october 2015 by ianweatherhogg
AudioMulch Blog | AudioMulch
Modular audio software for live electronic music performance, composition and experimental sound. Now for Mac and PC.
blogs  sound  music  signal  theory  electronics  4*
march 2015 by ianweatherhogg
The Saddest Thing I Know about the Integers | Roots of Unity, Scientific American Blog Network
The integers are a unique factorization domain, so we can’t tune pianos. That is the saddest thing I know about the integers.

I talked to a Girl ...
music  note  math  theory  5*  frequency
december 2014 by ianweatherhogg
Graph search algorithms solve the following general problem: Suppose you have a graph, and you begin at some node on the graph. This graph, for example, could represent a map of New York City -- the edges could be streets, nodes could be intersections of streets, and the starting node could be your current location. The…
haskell  graph  theory  algorithm  search  3*
november 2014 by ianweatherhogg
Understanding ((->) r) as a functor. : haskell
I'm reading "learn you a haskell" and after the chapter on applicative functors I had some confusion: In haskell the Functor instance of ( (->) r) is...
august 2014 by ianweatherhogg
Viennese Mazes: what they are, and how to make one - __del__( self )
In this post I present an original concept of labyrinths and explain how they can be programmatically generated. For some time now I have been …
puzzle  python  numpy  matplotlib  network  graph  theory
may 2014 by ianweatherhogg
Why Category Theory Matters
Why are people excited about category theory? What is it? Why is it important? What's the big deal? What are some applications of category theory? Answers to these questions.
category  theory
may 2014 by ianweatherhogg
The way we board airplanes makes absolutely no sense - Vox
Most US airlines use the slowest possible method to board flights. Here are much faster options.
queue  theory
april 2014 by ianweatherhogg
Poleiro, the Coq blog - An introduction to combinatorial game theory
A blog about the Coq proof assistant and
programming language
coq  game  theory  combinator
april 2014 by ianweatherhogg
Poleiro, the Coq blog - Archives
A blog about the Coq proof assistant and
programming language
blogs  hakyll  coq  game  theory  combinator  proof  induction  type
april 2014 by ianweatherhogg
What is the correct definition of ideal monads? | Theory Lunch
This was the third and final lunch in my series about ideal monads. I talked about how to define ideal monads correctly. My talk was based on a discussion with Tarmo Uustalu. One bad and one good definition There is a common definition of ideal monads, which is used, for example, in the paper Coproducts…
april 2014 by ianweatherhogg
A short recap of monads | Theory Lunch
I used the first theory lunch meeting at the Institute of Cybernetics to recap some basics about monads. I discussed how monads are defined in category theory, and how they are implemented in Haskell. Categories A category $latex \mathcal C$ consists of the following: a class $latex \mathrm{Ob}(\mathcal C)$ of objects for any objects $latex A$ and \$latex…
april 2014 by ianweatherhogg
Monoid morphisms, products, and coproducts - Higher Order
Today I want to talk about relationships between monoids. These can be useful to think about when we’re developing libraries involving monoids …
scala  scalaz  monoid  apocalisp  5*  product  category  theory  free
march 2014 by ianweatherhogg
Implicits unchained – type-safe equality – part 2 - Heiko's Blog
In the last post we have discussed the problems with untyped equality and shown how to provide a simple type-safe equality operation using implicit …
scala  implicit  type  theory  class  annotation  equality  check  debug  functional  programming
august 2013 by ianweatherhogg
Implicits unchained – type-safe equality – part 1 - Heiko's Blog
Beside the fusion of object orientation and functional programming, I think that implicits – implicit classes, conversions, parameters and values – …
scala  implicit  type  theory  4*  equality  scalaz  functional  programming  check  debug
august 2013 by ianweatherhogg
per page:    204080120160

Copy this bookmark: