NetworkedBlogs on Facebook | Intuitionistically Uncertain

Facebook Pages are now supported. Click here for details

Intuitionistically Uncertain

Url:	http://hircus.wordpress.com/
Author(s):	Michel Salim
Language:	English
Tags:	technology, opensource, politics
Description:
Ratings	Not rated yet.
Popularity:	1 Followers

[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

2009-10-25

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

2009-10-24

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

2009-10-24

[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

2009-10-23

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

2009-10-21

Logic programming on the JVM

Just a quick post (the time is rather late) to note that my port of the Mini Kanren logic programming system to Scala is now available for download (and bug reports) on GitHub; for the scaladoc API...more

2009-10-19

OOP in Lua: abstract methods

I discovered Python’s delightful abc module (introduced in PEP 3119) a while back, and have been wondering how a similar functionality could be introduced to other dynamic languages (e.g. Lua...more

2009-10-18

[PYTHON] Find of the day: B+ Tree-based lists

I was looking at implementing Clojure’s persistent data structures on other languages — being able to assume that collections are immutable make writing concurrent programs much easier,...more

2009-10-10

Dear Interweb: Incremental improvement to credit/debit card security?

2009-10-06|11:30:07|12.34Many of us have fallen victim to credit/debit card fraud, either through operators illegally collecting the numbers of the cards they handle (the small fries) or through cr...more

2009-10-06

Wordling this blog