Clik here to view.
Probability And Types
I was thinking more about how you could use symbolic combinatorics for a type system and I had an interesting thought about probability and types. One neat thing having multivariate generating...
View ArticleClik here to view.
The New GHC.Generics
I found a subtle issue with the way GHC.Generics converts the general trees of sum and product types into binary trees. Instead of using the “put all the forests on the left” isomorphism it tries to...
View ArticleClik here to view.
Super Dag
I never thought about this before, but in flash because each node in the scene graph has a timeline, you really have a graph of graphs. A super dag to be more precise, where each dag at each node is...
View ArticleClik here to view.
Math Story Time
Bishop Berkeley identified a fundamental flaw in arguments for both the derivate and the integral made by Newton and other mathematicians of his day. At the time both the derivative and the integral...
View ArticleClik here to view.
Better Syntax FTW
I was reading the chapter Tensors and Multilinear Forms in Tensor Geometry: the geometric viewpoint and its uses. There was the following formula f: L(W;X) x L(X;Y) x L(Y;Z) -> L(W;Z) : (A, B, C)...
View ArticleClik here to view.
Of Montreal
Just got around to listening to “False Priest”. I never really stopped listening to “Hissing Fauna You are the Destroyer.” I can’t listen to “Our roitous defect” with out thinking of MC Chris or King...
View ArticleClik here to view.
The File Format of a Game
Thinking about the file format of game is usually attacked after a game exists for a while. It is an after the fact activity that occurs piecemeal, some what unconsciously, as game elements are...
View ArticleClik here to view.
The Symmetry of Entropy Conversation
I have been getting into Noether’s theorem and I’m curious about what symmetry is implied by the conservation of entropy. Also what shape exhibits that symmetry? Update: It looks like its temporal...
View ArticleClik here to view.
The Problems Haskell
Haskell has a many issues. How doesn’t. Usually they are from lack of resources. Things that could work well if anyone could give missing feature x some love. There are a few instances where the...
View ArticleClik here to view.
Algebraic Geometry to Geometric Algebra
You would think with names so similar there would be connection. Since it is math, there is almost always connection between everything. I’m starting to learn algebraic geometry to help me understand...
View ArticleClik here to view.
The Start of a Geometric Algebra Expression Lib
The Expression AST {-# LANGUAGE GADTs #-} module GeometricAlgebra.Expression where type Name = String data Expression a where Product :: Expression a -> Expression a -> Expression a InvProduct ::...
View ArticleClik here to view.
I Little Gem
Analytic Combinatorics is really growing on me. Its filled with all this little gems. One interesting one is using the integration by parts to setup a relationship between sum and product types. Here...
View Article
