This post is a literate haskell file. As is usual with such things, you can go ahead and paste it into a . lhs file and load it right up in ghci. As such, first some boring preliminaries. Module CoMenu where import Control. For the purposes of this discussi.

Convert scribbles into LaTeX symbols using Detexify. Web application is an interesting project that allows users to scribble symbols using the mouse and see similar-looking LaTeX symbols. Detexify is written in Haskell. Saturday, 7 August 2010. Microsoft Research may fund real-world adoption of Parallel Haskell. Duncan Coutts at Well Typed. Earlier this year that Microsoft Research had indicated that they might fund a 2-year project to push real-world use of Parallel Haskell.

Is a fast, lightweight source control management system designed for easy and efficient handling of very large distributed projects. My book tells you what it is, why you should care, and how you can use it effectively.

Random code snippets, projects and musings about software from Eric Kidd, a developer and entrepreneur. Proving sorted lists correct using the Coq proof assistant. About 15 years ago, I was hanging out at the MIT AI Lab, and there was an ongoing seminar on the Coq proof assistant. The idea was that you wouldnt have to guess whether your programs were correct; you could. Is true, and we know.

Stack Overflow is a Time Machine. Git Tag Does the Wrong Thing by Default. Using Git Bundle When Your Central Repo Fails. What Matters in an Asynchronous Job Queue. Automating Git Bisection for Rails Apps. Mdash; An XMPP-based Web Monitor. Good, Fast, Cheap? Eh, No Thanks. Stack Overflow is a Time Machine.

A confinement system for the Web. Virtualized, extensiable OS as a kernel module. A web framework for securely executing third-party apps. A Distributed Secure File System. A security orientated extension to Haskell. A TCP option for ubiquitous transport-layer encryption. An operating system that contains the harm of insecure code. The Coral Content Distribution Network.

Jabber about Haskell, Xen, Linux. io which currently includes my exploration of image processing as well as a run-down of commsec-keyexchange. Clean and reinstall those GHC packages! November 18, 2011.