Entries from May 2005
|
|
u p d a t e |
Project Punctuation
(19 May 2005 at 17:10) |
I made a project on Wikipedia (a free online encyclopedia) to fix the unreasonably popular mistake of leaving off punctuation at the end of paragraphs. It's called Project Punctuation, and it's a good way to spend time doing something easy and useful in order to, say, avoid working on your thesis proposal. It's based on my wikipedia-analyzing "periodbot" (source), which is written using a basic interface to mysql for mlton (source). |
|
p e r s o n a l |
Paper accepted!
(15 May 2005 at 09:55) |
My paper Distributed Control Flow with Classical Modal Logic was accepted to CSL 2005. This means I'll be visiting Oxford to present it in August. Hooray!
I'll put up a final version when I submit it, but you could look at the tech report version for now, if you want. |
|
p i c t u r e |
Highly Recommended
(10 May 2005 at 18:48) |
I think that the text "Highly Recommended" in quotes here is about the funniest piece of lawn-punditing I've seen all season. |
|
w e b l i n k |
dual photography
(10 May 2005 at 14:54) |
This is an awesome paper (as seen on slashdot). The basic idea is that since light transport is reversible, you can perform the following experiment:
* Set up a scene * Aim a projector at it ("light source") from a fixed location A * Take a number of pictures of the scene from a fixed location B, under different lighting conditions generated by the projector * perform a calculation on this set of images that allows you to view the scene from the location of the light source.
The best part is the final page of the paper, where they reconstruct a fairly high resolution image of the obverse of a playing card from 5,000 pictures of its reverse (and a nearby book) under different lighting conditions. World series of poker, here we come! |
|
p e r s o n a l |
Server OK
(02 May 2005 at 13:57) |
Server OK!!! in my most harrowing Twelf battle yet. |
|
u p d a t e |
UPD: midimml
(01 May 2005 at 17:04) |
I uploaded the new version of my software, midimml. Midimml is for composing Nintendo tunes using a MIDI editor. This version, aside from fixing some bugs, adds the ability to define instruments for your Nintendo bleeps, which allows you to make more interesting sounds than just straight-up square waves. I wrote two new songs using it for the Famicompo mini vol. 2, but their identities are secret until after voting ends (not that I have any particular aspirations for winning!). |
|
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 |