|
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.) |
|
|
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. |
|
|
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. |
|
|
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 |
|
|
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."
|
|
|
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. |
|
|
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. |
|
|
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...
|
|
|
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. |
|
|
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. |
|
|
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! |
|
|
2
0
2
4
| Posts from 2024 |
| Mar Feb Jan |
2
0
2
3
| Posts from 2023 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
2
2
| Posts from 2022 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
2
1
| Posts from 2021 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
2
0
| Posts from 2020 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
1
9
| Posts from 2019 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
1
8
| Posts from 2018 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar Feb Jan |
2
0
1
7
| Posts from 2017 |
| Dec Nov Oct Sep Aug Jul Jun May Apr Mar 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 |
![[rss]](rss_button.gif){kind=small}