NetworkedBlogs.com (beta) is an extension of the Facebook app NetworkedBlogs.

Intuitionistically Uncertain

You're new here, aren't you?

NetworkedBlogs allows you to stay up to date with blogs you love. Click the Follow button to follow updates from this blog.
 

Information

Blog Name: Intuitionistically Uncertain
Url: http://hircus.wordpress.com/
Language: English
Topics: technology, opensource, politics
Description:
Popularity: 1 Followers

Blog Feed

[Mini Kanren] Benchmarking different substitution data structures
In logic programming, a substitution is a mapping from logic variables to values (including other logic variables). Logic programs are composed of goals, with the type signature Subst => Subst*...more
Gnoetry 1-2-3
I’ve been fascinated with Jon Trowbridge and Eric Elshtain’s Gnoetry for quite some time, but have until recently contented myself with watching from the sidelines. There are several re...more
Discovering Rosetta Code
I discovered Rosetta Code over the weekend. It bills itself as a programming chrestomathy [wp] site, offering a place to learn, compare and contrast different programming languages by reading and w...more
[Packaging] Ships that pass in the night
Amusing (or depressing?) trail of bug-hunting:During the package review process for pure, we discovered that a dlsym-ed strcmp does not produce the right result on F-12The same problem turned out t...more
Mini Kanren: updates
Several updates to Mini Kanren, covering syntax, semantics and documentation.SyntaxImplicit conversions now allow you to write the more idiomatic x === y to mean mkEqual(x,y) . Likewise, you can us...more

Follow

Authors:


Followers:

Displaying 1 followers.

Popular in:

Not enough data.
Calculated for blogs with 20+ followers.

Related Blogs

This site uses BitPixels previews
Questions? contact: networkedblogs@ninua.com
Copyright (C) 2008, Ninua, Inc.