Jaspers main weblog

Suggestion to improve ASDF

24 Jun 2010 21:25:51 UT

There was a

Experience with libraries

24 Jun 2010 16:45:00 UT

People look at different libraries to see which to use. We should write down our experience/opinion with/about various libraries, this information might be useful for other people looking for libraries.

Finally have rss

19 Jun 2010 22:15:57 UT

Finally got around to getting rss to work. Will probably catch up on posts.

About the recent proof that Absence of evidence is evidence of absence

18 Jun 2010 20:18:58 UT

The recent proof that

My blogging system sucks

18 Jun 2010 20:17:16 UT

It really does.. Actually the whole management of the website of GIL sucks.. Essentially, i need more tools..

Type calculation

18 Jun 2010 20:13:58 UT

In this article i attempt to explain the type system i have been speaking of, which probably is a known algorithm. Perhaps newer is the idea of allowing users to add their own type-calculators to functions, and making type-calculation more something to be inspected somewhat like how people look at macro-expand to test macros.