dæmonology

Yet Another Systems Programming Language

2009-11-13T02:33:45Z

I haven't posted much here lately because I've been consumed with a programming hobby project that has taken up almost all of my discretionary time. (I haven't been writing any fiction, mostly because I don't have any ideas I like as much as I li...

Read and post comments | Send to a friend

Jackie Speier Disappoints Me

2009-08-29T20:24:46Z

My member of the U.S. House of Representatives is Jackie Speier (D-San Mateo). I have just returned from her Families and Health Care Forum Event at Burton Park in San Carlos, which was attended by a few hundred constituents of which only a handf...

Read and post comments | Send to a friend

Persistent Union-Find Data Structure

2009-07-02T19:05:23Z

In my previous post, I whined about how it didn't seem to me that a pure-functional union-find data structure should be so hard to make as computationally efficient as the well-known imperative algorithms. After some wonkulation on the subject, I...

Read and post comments | Send to a friend

Pure Functional Disjoint Set Union-Find...

2009-07-01T18:26:26Z

...is apparently not terribly efficient. This makes me sad. The problem doesn't seem like it should be as hard as it appears to be. This makes me more sad. I've been doing a lot of pure functional programming. I wonder if I can discover a pu...

Read and post comments | Send to a friend

I Am Officially Weirded Out

2009-05-27T03:17:25Z

Apparently, the ghost of Jon Postel is leading a pack of superheroes determined to defend the Internet from Fear Uncertainty and Doubt. Promote The Internet Way with Team ARIN! Welcome to the world of Team ARIN! We hope you find these publicatio...

Read and post comments | Send to a friend

A Fine Rant For Colleagues To Read

2009-04-28T23:25:52Z

The Problem With Software Transactional Memory: Your Languages Still Suck. He's right, too. Parallelism is a bitch. Anyone who has ever had this experience... Classic threads and locks (or threads and synchronized, for you Java programmers) l...

Read and post comments | Send to a friend

Apparently...

2009-03-18T23:53:53Z

I am:Kurt VonnegutFor years, this unique creator of absurd and haunting tales denied that he had anything to do with science fiction. Which science fiction writer are you? For the record, yes I do continue to insist that I'm a writer of fan...

Read and post comments | Send to a friend

An Abstract Machine

2009-03-13T04:16:04Z

I seem to have one. Here's the OCaml signature. The module file is all of 250 lines at this point, but I expect to define a lot of built-in processes for the preamble. That will bloat out the module file. type 'a t module Op: sig val ( >>= )...

Read and post comments | Send to a friend

Hey, Ecuador!

2009-03-10T17:15:20Z

I want my coins back.

Read and post comments | Send to a friend

Toward An Abstract Syntax

2009-03-10T01:43:12Z

I continue to noodle around with an abstract syntax for types in my internal language. (Sigh. This is taking forever.) Here's what I'm looking at now: τ ::= α | ν⟨σ⟩ | λ(σ)σ ::= ∀δ,σ | ∃α,σ | τ,σ | ϵδ ::= α | α = τ | α > τ Explanation. A ty...

Read and post comments | Send to a friend