Lion
So I'm trying to get used to OS X Lion now. One of the first things I noticed was that the Library folder does no longer show up in Finder by default. Of course that was rather trivial to fix using the following command:
OS X Lion
Just like almost every other geek on this planet, I'm downloading OS X Lion from the App Store right now. Rather slow... but that way I can do a full backup first while the update is downloading. #lion on Twitter is already busy discussing the new release.
Continue readingJekyllified CocoaHeads Siegen website
I just migrated the CocoaHeads Siegen website to also use Jekyll, and uploaded the source to GitHub (it is not hosted on GitHub Pages though).
Continue readingNew website
It was about time to get my website up2date... once again. In order to get it right this time, I decided to use Jekyll this time, and host everything on GitHub using their excellent GitHub Pages service.
Continue readingXCasts color theme for Xcode 4
Check out my Xcode 4 version of Ben Scheirman's XCasts color theme for Xcode 3, a dark theme loosely based on Ryan Bates' excellent Railscasts theme for Textmate.
Continue readingNice transition from splash screen to main application screen using fade out and zoom in animation
Change the -application:didFinishLaunchingWithOptions: method of your application delegate class like this (assuming your splash image is named Default.png):
Rounded rect additions for UILabel
Category on UILabel which adds a property showsRoundedRect, which, if set to YES, causes the label to be drawn on a rounded rect, similar to the emblem shown for the number of new mails in the iPhone Mail app. Check out the Gist on Github.
git-utils - Various git related utilities
Git Utils is a collection of simple utilities that made my Git life easier in some way or another. I tried to clean them up as much as necessary prior to putting here, so it should be easy to use for others as well.
Continue readingA Step-indexed Semantic Model of Types for the Call-by-Name Lambda Calculus
Step-indexed semantic models of types were proposed as an alternative to purely syntactic safety proofs using subject-reduction. Building upon the work by Appel and others, we introduce a generalized step-indexed model for the call-by-name lambda calculus. We also show how to prove type safety of general recursion in our call-by-name model.
Continue readingOCamlJIT2 vs. OCamlJIT
I did some final work on OCamlJIT2, and compared the result to OCamlJIT. The performance measures are presented in the following tech report (skip straight to section 4 for the performance results):
Continue reading