|
Entries from August 2004
|
 |
p
i
c
t
u
r
e |
Jello Party Pics
(29 Aug 2004 at 16:33) |
 I put up a gallery of photos from the Jello Party this weekend. |
|
|
p
e
r
s
o
n
a
l |
New Lens!
(26 Aug 2004 at 09:19) |
Yesterday I got a new lens for my camera. It's the Canon 50mm f/1.4. This is my "party lens" for taking indoor pictures at normal human field-of-view scales. (50mm is the focal length, which corresponds to the "zoom"; 50mm is around what our eyes see. f/1.4 is the maximum aperture width on a logarithmic scale with lower numbers being wider; the wider the aperture, the more light, the faster the shutter can go, and the less blurry hand-held shots are (among other things). f/1.4 is the fastest in a non-ridiculous lens for Canon. For comparison, my macro is about four times as slow and my crummy old zoom lens at least like eight times as slow.)
Anyway, what this really means is nice low-blur pictures at the Jello Party this friday. I also slapped a few new photos up in the New! section of my photo gallery, only a few of which were taken with the new lens. |
|
|
p
e
r
s
o
n
a
l |
Server OK!!!
(19 Aug 2004 at 17:46) |
Server OK!!!!!!!
I finally finished mechanizing all of my proofs for the Classical Modal Logic paper. The operational semantics was by far the hardest part, but it's done now and it is very satisfying to have an extremely picky computer program validate my work. (Peruse, if you like that sort of thing.)
I still have other research stuff to take care of this summer, but soon it's on to bigger things... |
|
|
p
e
r
s
o
n
a
l |
Real MD5 collision
(17 Aug 2004 at 20:51) |
Here is an example collision for the real, off-the-shell MD5 algorithm. You can verify for yourselves at home!
C:\tmp> sha1sum x1 x2 a34473cf767c6108a5751a20971f1fdfba97690a x1 4283dd2d70af1ad3c2d5fdc917330bf502035658 x2
C:\tmp> md5sum x1 x2 79054025255fb1a26e4bc422aef54eb4 x1 79054025255fb1a26e4bc422aef54eb4 x2
C:\tmp> hexdump x1 0000000 31d1 02dd e6c5 c4ee 3d69 069a af98 5cf9 0000010 ca2f 87b5 4612 ab7e 0440 3e58 fbb8 897f 0000020 ad55 0634 f409 02b3 e483 8388 7125 5a41 0000030 5108 e825 cdf7 9fc9 1dd9 f2bd 3780 5b3c 0000040 82d8 313e 3456 5b8f 6dae d4ac c936 c619 0000050 53dd b4e2 da87 fd03 3902 0663 48d2 a0cd 0000060 9fe9 4233 570f e87e 54ce 70b6 a880 1e0d 0000070 98c6 bc21 a8b6 9383 f996 2b65 f76f 702a
C:\tmp> hexdump x2 0000000 31d1 02dd e6c5 c4ee 3d69 069a af98 5cf9 0000010 ca2f 07b5 4612 ab7e 0440 3e58 fbb8 897f 0000020 ad55 0634 f409 02b3 e483 8388 f125 5a41 0000030 5108 e825 cdf7 9fc9 1dd9 72bd 3780 5b3c 0000040 82d8 313e 3456 5b8f 6dae d4ac c936 c619 0000050 53dd 34e2 da87 fd03 3902 0663 48d2 a0cd 0000060 9fe9 4233 570f e87e 54ce 70b6 2880 1e0d 0000070 98c6 bc21 a8b6 9383 f996 ab65 f76f 702a
(Webcast tonight at 10pm EST) |
|
|
w
e
b
l
i
n
k |
All Hash Functions Broken????
(16 Aug 2004 at 22:51) |
Rumors are circulating that all of the widely used cryptographic hash functions have been broken, and that this will be announced at CRYPTO this week. (!!!!!!?!?!?!)
This includes SHA-0 (already announced and verified), MD5 (sort of verified) and SHA-1 (rumored). MD5 is quite popular and SHA-1 is the government standard. These are used in digital signatures, which are a vital part of most public key cryptosystems, like the one used for securely browsing the web.
Someone has verified the collisions for MD5 (actually they are for a trivially different variant of MD5 with byte order swaps). Just knowing that collisions are out there would be bad enough, but their attack apparently only takes 1 hour to run (with an extra 15 seconds or so for subsequent collisions) on a medium-power cluster (IBM P690). When the details come out, that little padlock icon in your browser will become a lot less meaningful, at least until we refit the internet with replacement algorithms.
PS. Holy crap!!!!!!!?!?!?!
|
|
|
p
i
c
t
u
r
e |
NEW: Album-a-day #18 ''Fake Mars''
(08 Aug 2004 at 17:00) |
 This weekend I finally made a new album (my last one was over six months ago!). I think it came out pretty well, but you can judge for yourself by listening to Tom 7 AAD #18: Fake Mars. For those of you who are just joining us, almost all my music is made this way: in 24-hour explosions that I call album-a-day. |
|
|
u
p
d
a
t
e |
UPD: escape server
(06 Aug 2004 at 18:37) |
The escape server now has an RSS feed of new levels with screenshots. Thanks, libpng!
By the way, I expect to have a proper "beta" of escape sometime in the next week or so. There's just one more major feature on the critical path. |
|
|
p
e
r
s
o
n
a
l |
DOOM 3!
(04 Aug 2004 at 20:18) |
DOOM 3 !!!!
killing some zombies
DOOM 3 !!!! |
|
|
w
e
b
l
i
n
k |
Now you can pick up anything!
(04 Aug 2004 at 16:56) |
Can you eat with chopsticks Doctor told us Be intell eat by using chopsticks Lots of people use chopsticks So try eat your chopsticks Right Now
(via Jason) |
|
|
w
e
b
l
i
n
k |
Audioscrobbler Signups
(04 Aug 2004 at 16:38) |
It is now possible to sign up for an account again over at audioscrobbler. I've mentioned this site before: it is a non-intrusive plugin for Winamp (or iTunes, XMMS, etc.) that records what MP3s or CDs you play in a web database. It's cool to see the frequency with which you listen to certain stuff, and cooler to see what other people listen to, and coolest to see how often others listen to music that you made. ;)
|
|
|
2
0
2
4
| Posts from 2024 |
| Oct Sep Aug Jul Jun May Apr 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}
