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.
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 |
Visit the
blog page on Facebook.
Authors:
Followers:
Displaying 1 followers.
Popular in:
Not enough data.
Calculated for blogs with 20+ followers.
Calculated for blogs with 20+ followers.
Related Blogs
Questions? contact: networkedblogs@ninua.com
Copyright (C) 2008, Ninua, Inc.