Tom 7 Radar
Back to tom7.orgRecent comments Other ways to read
x
Other ways to read Tom 7 Radar:

[rss] RSS feed for aggregator software
Entries from March 2004
p
e
r
s
o
n
a
l
Lambda 5 accepted! (28 Mar 2004 at 15:34)
My paper submission to LICS 2004 was accepted! Anybody know anything about Turku, Finland?

This will really bolster my confidence for writing this damn ICFP submission.

(You can read the Tech Report version here: A Symmetric Modal Lambda Calculus for Distributed Computing.)
(2 comments)   [ comment ]
p
e
r
s
o
n
a
l
Driving and Food (27 Mar 2004 at 23:06)
I drove a lot today. But all of my meals were free.
(2 comments)   [ comment ]
w
e
b

l
i
n
k
Squirm!!! (17 Mar 2004 at 17:10)
If you're up for a little Schadenfreude at Rumsfeld's expense, check him out squirming over remarks he made in this video.
(5 comments)   [ comment ]
p
e
r
s
o
n
a
l
Who needs a third-order regular world assumption? (16 Mar 2004 at 21:18)
Classical logic: 0wned
(5 comments)   [ comment ]
u
p
d
a
t
e
News Flash: Self-crucifixion is difficult (16 Mar 2004 at 17:43)
"When he realized that he was unable to nail his other hand to the board, he called 911."

  [ comment ]
u
p
d
a
t
e
Pi Day 2004 (14 Mar 2004 at 21:28)
Pi day is cancelled this year because it falls in the trailing weekend of our spring break. And I have a lot of fucken work.
Category:  pi day (3 comments)   [ comment ]
p
e
r
s
o
n
a
l
Twelf! (11 Mar 2004 at 15:54)
I love twelf! I verified my first metatheorem today. I struggled with my code for several hours last night, before taking my question to the top. It turned out to be a naive lack of parentheses introducing unwanted dependencies. But that is fixed and now I am a theorem proving maniac.

Man, if only one could do a thesis on admissibility of cut for various logics, because I am really good at that now.
  [ comment ]
w
e
b

l
i
n
k
Leibniz is "Tom -7"? (08 Mar 2004 at 21:10)
According to the Mathematical Genealogy Project, I've got some pretty famous ancestors. (This is by student/advisor relationship.) Viz:

Murphy - Harper/Crary - Constable - Kleene - Church - Oswald Veblen - EH Moore - HA Newton - Michel Chasles - Poisson - Lagrange - Euler - Johan Bernoulli - Jacob Bernoulli - Leibniz - ?

Maybe the lambda calculus and the calculus of variations (ie, high school calculus) have some relation after all...



(9 comments)   [ comment ]
w
e
b

l
i
n
k
Nutrigrain Ad (05 Mar 2004 at 09:52)
This is a really funny advertisement. Actually, I'm not sure it was sanctioned by Kellogg. But it is funny.
(10 comments — almost 11 years ago)   [ comment ]
u
p
d
a
t
e
UPD: papers (03 Mar 2004 at 16:25)
I put up my new technical report, A Symmetric Modal Lambda Calculus for Distributed Computing, on my papers page. There's a lot of math in there.
(8 comments)   [ comment ]
w
e
b

l
i
n
k
To 1,000 and beyond! (02 Mar 2004 at 09:33)
Oh yeah, I beat my brother Mike to 1,000 songs on Audioscrobbler. (Audioscrobbler is a neat plugin for winamp and other players that keeps on-line stats on what you play, and helps you see what music is related to it. The data are all supposedly free for everyone, which helps me believe it's not just some nefarious marketing data collection plot.) Want to attach "experience points" to something you do anyway? This is it!

I was cheated out of about 300 songs a few weeks ago when their server went down, but I still win: brighterorange vs. oatmeal2000!
(3 comments)   [ comment ]
2
0
1
7
Posts from 2017
Feb Jan
2
0
1
6
Posts from 2016
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
1
5
Posts from 2015
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
1
4
Posts from 2014
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
1
3
Posts from 2013
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
1
2
Posts from 2012
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
1
1
Posts from 2011
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
1
0
Posts from 2010
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
0
9
Posts from 2009
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
0
8
Posts from 2008
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
0
7
Posts from 2007
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
0
6
Posts from 2006
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
0
5
Posts from 2005
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
0
4
Posts from 2004
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
0
3
Posts from 2003
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
0
2
Posts from 2002
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
0
1
Posts from 2001
Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan
2
0
0
0
Posts from 2000
Dec Nov Oct Sep Aug Jul Jun May Apr Mar