App Out

Langt om længe blev R2N-app’en til Android færdig (søg på “r2n” i Market eller scan QR-koden nedenfor).

App’en giver et overblik over, hvilke restauranter der findes i nærheden (ordnet efter afstand). Oversigten indeholder bl.a. prisniveau og den rabatprocent, som opnås ved bestilling via app’en. Når man har fundet den restaurant man vil spise på klikker man på menu-tasten og derefter Reservér bord. Bekræftelse sendes pr. sms – nemmere kan det da ikke være.

Feedback og forslag til forbedringer modtages gerne.

Running Shoes and Socks

A while ago I decided to cut back on my running and take up cycling instead. The reason, unfortunately, is my knees. I have tried injections with hyaluronic acid – it helps a lot, but in the long run it is not an aceptable solution. Recently, a new revolutionary running shoe has been brought to my attention – it is called SIR ISAAC (Newton that is). The concept behind the design is stunningly simple – support natural running. I shall not try to give a detailed description but refer gear freaks and others to www.newtonrunning.com.

Another nice product I am definitely going to try out at the half maraton next weekend (yes, I still run, but not as much as before) is the 1000 Mile sock. Put simply it is a sock within a sock (i.e., double layer). The idea, of course, is that friction will occur between the two layers of fabric and not between your skin and the sock – this way one can avoid blisters altogether.

Thrift and Haskell

Since you are here you probably already know what thrift is all about. If not take a look at thrift’s apache incubator website. I am writing this because I have not been able to find any step by step tutorial describing how to use thrift with haskell. Let us cut to the chase and get started.

Create greet.thrift

We need a thrift IDL (Interface Definition Language) file. Save the following in greet.thrift:

struct Message {
 1: string msg = "default message"
}

service GreetingService {
 Message greet(1: Message msg)
}

Generate Haskell Code

To generate haskell bindings for the above IDL file we issue the following command:

thrift -gen hs greet.thrift

The Haskell Server

Save the following in GreetingServer.hs:

module GreetingServer where
 import GreetingService_Iface
 import GreetingService
 import Greet_Types
 import Thrift.Server

 data GREET = GREET
 instance GreetingService_Iface GREET where
 greet GREET Nothing = return Message {f_Message_msg = Just "No argument"}
 greet GREET (Just m) = return m {f_Message_msg = Just "Reply"}

 serve() = runBasicServer GREET process 7911

The Haskell Client

Save the following in GreetingClient.hs:

module GreetingClient where
 import Network
 import Greet_Types
 import GreetingService_Client
 import Thrift.Transport.Handle
 import Thrift.Protocol.Binary

 runclient() = do handle <- hOpen("localhost", PortNumber 7911)
 let m = Message {f_Message_msg = Nothing }
 result <- greet (BinaryProtocol handle, BinaryProtocol handle) m
 print result

Running the Code

Start the server and client from the command line using the following commands:

ghci -fglasgow-exts GreetingServer.hs
ghci -fglasgow-exts GreetingClient.hs

Output

Server

mortenib: gen-hs $ghci -fglasgow-exts GreetingServer.hs
GHCi, version 6.10.4: http://www.haskell.org/ghc/  :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer ... linking ... done.
Loading package base ... linking ... done.
[1 of 4] Compiling Greet_Types      ( Greet_Types.hs, interpreted )
[2 of 4] Compiling GreetingService_Iface ( GreetingService_Iface.hs, interpreted )
[3 of 4] Compiling GreetingService  ( GreetingService.hs, interpreted )
[4 of 4] Compiling GreetingServer   ( GreetingServer.hs, interpreted )
Ok, modules loaded: GreetingServer, Greet_Types, GreetingService, GreetingService_Iface.
*GreetingServer> serve()
Loading package parsec-2.1.0.1 ... linking ... done.
Loading package network-2.2.1.2 ... linking ... done.
Loading package Thrift-0.1.0 ... linking ... done.
Loading package syb ... linking ... done.
Loading package array-0.2.0.0 ... linking ... done.
Loading package containers-0.2.0.1 ... linking ... done.

Client

mortenib: gen-hs $ghci -fglasgow-exts GreetingClient.hs
GHCi, version 6.10.4: http://www.haskell.org/ghc/  :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer ... linking ... done.
Loading package base ... linking ... done.
[1 of 5] Compiling Greet_Types      ( Greet_Types.hs, interpreted )
[2 of 5] Compiling GreetingService_Iface ( GreetingService_Iface.hs, interpreted )
[3 of 5] Compiling GreetingService  ( GreetingService.hs, interpreted )
[4 of 5] Compiling GreetingService_Client ( GreetingService_Client.hs, interpreted )
[5 of 5] Compiling GreetingClient   ( GreetingClient.hs, interpreted )
Ok, modules loaded: GreetingClient, GreetingService_Client, GreetingService, GreetingService_Iface, Greet_Types.
*GreetingClient> runclient()
Loading package parsec-2.1.0.1 ... linking ... done.
Loading package network-2.2.1.2 ... linking ... done.
Loading package Thrift-0.1.0 ... linking ... done.
Loading package syb ... linking ... done.
Loading package array-0.2.0.0 ... linking ... done.
Loading package containers-0.2.0.1 ... linking ... done.
Message {f_Message_msg = Just "Reply"}
*GreetingClient>

Download Files

You can download the above files here.

Using Castor’s Source Code Generator from C#

A Tiny Little Problem…

Recently I had to implement (de)serialization support in Java and C# for an XML format defined in a set of (mutually dependent) XSD files with circular group references. In Java my weapon of choice for source code generation is Castor, and as usual it worked seamlessly after writing binding files (to handle the inter XSD dependencies and element name clashes). On .NET however, I ran into problems.

First I tried to use xsd.exe, which is shipped with Microsoft Visual Studio 2009 (.NET 3.5 SP1) but it complained that:

Group 'Foo' from targetNamespace='http://Bar' has invalid definition: Circular group reference.

Next off I searched the web and tried a couple of GUI based XML tools. Not much luck either. Many of the tools crashed right away (I later learned that several of them are nothing but GUI front-ends for xsd.exe (wrt. code generation)), while others entered seemingly infinite loops (they did terminate, but I strongly suspect it was because the loops were programmed to terminate after a fixed maximum number of iterations).

After more than a little frustration with this, perhaps not trivial but at least common, code generation task I turned to Mono (version 2.2) and tried its version of xsd.exe. This time xsd.exe didn’t crash and it seems as if it handled the circular group references satisfactorily. However, my XSDs define multiple elements with the same name (but different types and contexts), which xsd.exe didn’t like at all.

Fearing I had to (waste precious time and) code the (de)serialization support by hand I was willing to search the web for quite a while before giving up and eventually I found a solution that worked. In fact it had been right in front of me all the time.

…and a Solution

Since Castor is so good at what it does one obvious solution is, of course, to translate the source code generated by Castor to C#. A priori this seemed like a daunting task, because it would require me to translate the source code for all the dependencies of my generated code as well (the generated code depends on Castor and Castor depends on several other components, with dependencies of their own). Fortunately there is an easier way! Just translate the Java bytecode of the compiled source code (along with the compiled versions of all its dependencies) to .NET bytecode (a.k.a. CIL).

On recommendation of a friend I decided to try IKVM for this task – and it worked! Here is what I did:

1. Use Castor‘s source code generator to generate (de)serialization support for the XML format.

2.a. Compile the source files and build one big jar file containing the class files for the generated code as well as all the dependencies.

2.b. Make sure everything works.

3. Use ikvmc.exe to translate the jar from (2.a) to a .NET dll.

4. Include the dll from (3) along with IKVM.OpenJDK.ClassLibrary.dll in your C# project.

5. Call the (de)serializer from C# in exactly the same way as you would have from Java.

That was easy, wasn’t it.

Hauptseminar

Jeg har mødt en tysk ekspert (måske endda baron) siden sidst, hvilket har givet mig lejlighed til at deltage i en række seminarer, og til at fejre med armagnac og Kina skak (teknisk set ouzo og den lokale udgave af klodsmajor) – ikke ligefrem en akademisk aktivitet, men sjovt er det. Desuden er det en befrielse at snakke med en europæer igen og bekræftende at finde ud af, at jeg ikke er den eneste, der er ved at få spat af  no worries og australiernes generelt alt for afslappede laissez faire livsstil. Nej, så er tysk pünktlichkeit at foretrække.

På arbejdet er jeg nået til en milestone med den rapport jeg skriver på (hvilket måske ikke siger så meget, når man selv sætter sine mål – men alligevel). Den sidste uge er så blevet brugt på at programmere det, som jeg beskriver i rapporten, og der går nok et par dage mere, inden jeg er helt færdig (programmering er som sagt aldrig “bare lige”). Heldigvis kan de godt li’ koden hernede, og tillægsord som very clean varmer, især når de kommer fra en tysker (min kontakt).

Ellers intet nyt. Kampen mod uret ser sådan her ud: 36.32, 34.39, 36.23, 33.00; så det går da den rigtige vej.

Og nå ja, så har jeg for øvrigt besluttet mig for at komme hjem til maj. Nærmere bestemt d. 20. maj.

KH Morten

Mensch und Maschine

Siden sidst har den mest stået på arbejd arbejd, men jeg forestiller mig, at det er de færreste af jer, som finder nyt fra den front interessant (jeg har været til seminar om High Performance GPU Computing with NVIDIA CUDA (speaker: Mark Harris, NVIDIA), og ellers arbejdet på min oversættelse af EARL (formerly known as ABS-RB) til varianter af BML og FOL (modulo theories)). Ellers har ugen budt på svømning, som er fantastisk hårdt og utilfredsstillende, når man har holdt pause i 5-6 uger (note to self: don’t let that happen again!), men jeg kom da igennem, selvom min stil nok mest af alt mindede om de høns, Jonas og jeg eksperimenterede med for efterhånden mange år siden (og jo, høns kan svømme – hvis de skal). Jeg har også været en tur i bjergene på mountain bike – helt fantastisk (hårdt) som altid. Turen blev lidt længere end planlagt (120 + 10-15 km), måske fordi jeg var ved at gå sukkerkold (is og Powerade er åbenbart ikke nok), men i hvert fald fik jeg taget en forkert vej tilbage til byen, hvilket udover den længere distance også blev straffet med 3 punkteringer på 6 km. Var der nogen, som sagde nyt profilgummi (maxxis naturligvis) til maskinen? Jo tak.

Ellers er vejret sådan lidt op og ned fra 9 grader om natten til 31 om dagen. Det er naturligvis en klar forbedring i forhold til sidste uge, sådan mht. dagstemperaturen, men det er faktisk også lidt træls, fordi det er for koldt om morgenen og aftenen til at have shorts og T-shirt på, men man bliver stegt til frokost, hvis man går udenfor i lange bukser. Luksusproblemer – jeg ved det.

Until next time…

Morten

Black Sunday

Efterhånden må jeg vist erkende, at det der med rejsebreve ikke kører helt for mig. Derfor har jeg nu taget konsekvensen, og prøver med en blog i stedet. Der er sket masser af nyt siden sidst (1. Dec. 2008), og vi tager den her i lidt tilfældig rækkefølge. I dag er det søndag – sort søndag! Ikke så meget fordi sommeren er forbi (her er 21 grader koldt), men fordi jeg vågnede alt for sent og til en af de her ubehagelige automatisk generede mails – fra SKAT. Mailen handlede om årsopgørelsen 2008, og med lidt held i sprøjten skulle det jo nok kunne lade sig gøre at få lidt tilbage i skat. Jeg havde i hvert fald håbet – især efter at have brugt en halv dag i skattecenteret inden jeg rejse herned (de lovede!!!), men sådan skulle det altså ikke være. Øv. Så mere end 50 kasser øl fattigere gælder det nu om at få et eller andet godt ud af søndagen.

En af de største og muligvis vigtigste nyheder er, at jeg kommer hjem til sommer. Helt præcist hvornår er uvist, men medio juni er nok ikke helt skudt ved siden af. Det præcise tidspunkt afhænger af, hvornår jeg bliver færdig med det arbejde, som jeg laver hernede. Egentlig var det også min plan at tage på ski i New Zealand, men det passer ikke rigtig ind og gør det hele mere besværligt, så det må blive en anden gang. Desuden trækker tre somre i rap også langt mere end en dobbelt vinter ( vinteren kommer desværre også til Canberra – ikke lige en del af min plan, og så absolut ikke noget jeg er forberedt på garderobemæssigt).

Ellers går min australske hverdag slag i salg – primært arbejd arbejd, men der bliver også tid til fornøjelse som fx cykelture i og på bjergene. Det er virkelig fedt at hamre nedad over grus og sten og mellem stok og træer (muligvis er det den bedste substitut for skiløb – nu da jeg ikke har den mulighed), og jeg kommer helt sikkert til at savne det i flade Danmark. Ellers finder jeg også tid til løb og svømning, og regner med at være i farlig form, når jeg kommer hjem til sæsonens klassikere såsom 4 x 100 meter grillfest etc. Den eneste væsentlige opdatering på min hverdag er, at jeg er flyttet til et nyt, bedre og billigere sted tættere på arbejdet (og tilmed med en acceptabel internetforbindelse). Det nye sted er et såkaldt share house, som jeg deler med to andre: en ph.d.-studerende (ven til en ven) og en gymnasielærer. Det er helt genialt og virkelig en forbedring af min levestandard at have køkken og dagligstue separat fra soveværelset igen, og så giver selskabet jo også en legitim grund til at drikke øl i tide og utide

Endelig har jeg haft besøg hernede både af hele familien og sød pige (men heldigvis ikke samtidig). Det har givet anledning til at se en del af Australiens østkyst både til lands og til vands. Her skal jeg fremhæve juleaften på Great Barrier Reef og Fraser Island, som begge var i absolut særklasse.

Jeg håber I har det godt alle sammen. Kærlig hilsen Morten