Teuer
Komisch
Macros
Cool
Apple
Student
Debian
Google
Linux
LyX
Rezept
Windows
X-Plane
OSX
Vmware
Flickr
Sueddeutsche
U-Bahn
Muenchen
Firefox
Satire
Zitat
QBounce
iPhone
Werbung
Mac
Airbus
PmWiki
Frage
Safari
Paranoia
MVV
MacOSX
Handy
Gnus
Video
Emacs
Webdesign
Tablet
GoogleMaps
Keynote
Fusion
Spam
Study
Fun
Select Month
June 2008
May 2008
March 2008
January 2008
December 2007
November 2007
October 2007
September 2007
August 2007
July 2007
June 2007
May 2007
April 2007
March 2007
February 2007
January 2007
December 2006
November 2006
October 2006
September 2006
August 2006
March 2006
Twitter
wrote a mail to the Times author with some pretty obvious questions about usability. He must have heard that 100x times
2 days ago
Listened to the Core Intuition podcast, about version numbers on the Mac. Should rethink my 0.9.1023 scheme and call it 1.0a423. hmmm
2 days ago
On which kind of machines do the tuaw people test their website? This design makes Safari awfully slow when scrolling
2 days ago
Very nice. Qt gets a better tabbar widget
http://tinyurl.com/5bw378
3 days ago
argl. Spaces in 10.5.4 is totally broken. it moved between instances of Xcode on different desktops many times without me touching the Mac
3 days ago
More updates...
Titanic
Schimanskis Rezepte
MichaelSchimanski.de
Basil
Meta
Site Admin
Post
Logout
Entries
RSS
Comments
RSS
Results
05
Jul
Twelf talk
Thursday July 05th 2007, 8:54 pm
Tags:
Logic
,
Talk
,
Twelf
The file of my talk about
Twelf
from today can be found here:
underground.elf
.
0 Comments