February 06, 2006
Stuff I read
It has happened to me twice that all my bookmarks got blown away. So I won't put down all the bookmarks I have, but I will at least record the ones that I use all the time. These are Boing Boing, Slashdot, KW Weather page, Ars Mathematica blog, Lambda the Ultimate, Blogdex, Google News Canada, Maple Primes and the Front for the Arxiv. Yep, pretty darn geeky. Sure, I could put a link here to the bank I use, which mortgage company I deal with, and so on, but that would be desperately stupid, now wouldn't it?
Posted by Carette at 09:48 PM | Comments (0)
October 13, 2005
new GUI paradigm
The latest alert box from Jakob Nielsen would be rather fascinating if it wasn't so darned obvious: the latest paradigm in UI is no longer OO (ie WYSIWYG reified) but is declarative -- they call it results-oriented.
Posted by Carette at 05:24 PM | Comments (0)
September 07, 2005
LaTeX for logicians
Typesetting logic stuff can be awful in raw LaTeX, so a handy-dandy set of macros helps a lot. I really wish there was a similar list for type theory as well as for programming language semantics. There is a jumbled list in the archives of the Types mailing list.
Posted by Carette at 08:33 PM | Comments (0)
June 23, 2005
How to read a paper
Via LtU again, a link to a nice summary on how to read a paper.
Posted by Carette at 10:12 AM | Comments (0)
June 21, 2005
Stuff to check out
A bit of miscellany. It is definitely worthwhile to keep abreast of what Simonyi's Intentional Software company is doing. One of the blog entries points to Martin Fowler's recent essay on language workbenches. One of the items pointed out is JetBrains' work on Meta Programming Systems.
In a different vein, a post on LtU on Accurate Step Counting looks interesting, although the paper is currently marked as Draft.
Posted by Carette at 11:55 AM | Comments (0)
April 20, 2005
Movable Type
I want to experiment with different styles for keeping all of this information together, so I need to read everything at the Learning Movable Type site. Really, it's just re-learning CSS!
Posted by Carette at 10:38 PM | Comments (0)
Why ``The Blog'' ?
This can be interpreted in two ways: why the name, and why write this.
``The Blog'' is a wordplay on ``The Blob'', the name of the most popular game I wrote as a teenager. This was a game that ran on Commodore Pet machines, and was written in Commodore Basic.
Why write this? I don't aim for this to be a track-my-day blog. What I really need is a place to keep track of ideas (for projects, papers, etc), links to interesting work, and so on. Instead of using raw HTML, or ad hoc XML, it seemed better to give a try to blogging software.
Posted by Carette at 10:06 PM