A Haskell Reading List Here is a list of papers and writings of what I consider are essential Haskell reading. Haskell 2010 Language Specification Typeclassopedia The Essence of Functional Programming How to make ad-hoc polymorphism less ad hoc Monads for functional programming Monad Transformers: Step-By-Step Some interesting features of Haskell’s type system Functional Programming with Bananas,

Wired is an extension to the hardware description library Lava targeting (not exclusively) semi-custom VLSI design. A particular aim of Wired is to give the designer more control over on-chip wires' effects on performance. The goal is a system with the following features: Convenient circuit description in monadic style. Layout/wiring expressed using optional annotations, allowing incremental speci

Summary: Ninja is a build system focused on being fast. Some limited benchmarking suggests the Shake build system might be faster. The Shake build system aims to be both powerful and fast. The Ninja build system describes itself as small with a focus on speed. Now that Shake can run Ninja build files, I benchmarked Shake against Ninja. The Test I have been benchmarking Shake vs Ninja as part of th

CCTV footage captures moment Asimo robot kicks a guard off the top of Honda Robotic Laboratory Headquarters in Tokyo, Japan. Tokyo, Japan – Japan had to call in US special forces to help track down Honda’s advanced Asimo Robot. Standing at 4’3″ tall and near 120 pounds, the robot went on a murderous rampage after its programming apparently allowed it to violate its Asimovian ‘no harm’ rules. Bewil