<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>zeroxcool.net &#187; automated reasoning</title>
	<atom:link href="http://zeroxcool.net/tag/automated-reasoning/feed" rel="self" type="application/rss+xml" />
	<link>http://zeroxcool.net</link>
	<description>Things I like to talk, think or dream about, in every sense of the word</description>
	<lastBuildDate>Mon, 26 Dec 2011 16:43:26 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.3.1</generator>
		<item>
		<title>Kerstavond, een terugblik op 2009</title>
		<link>http://zeroxcool.net/361/kerstavond-een-terugblik-op-2009.html</link>
		<comments>http://zeroxcool.net/361/kerstavond-een-terugblik-op-2009.html#comments</comments>
		<pubDate>Thu, 24 Dec 2009 22:08:48 +0000</pubDate>
		<dc:creator>Harm</dc:creator>
				<category><![CDATA[Kerstavond]]></category>
		<category><![CDATA[Music]]></category>
		<category><![CDATA[Personal]]></category>
		<category><![CDATA[School]]></category>
		<category><![CDATA[Sport]]></category>
		<category><![CDATA[Vakantie]]></category>
		<category><![CDATA[afstuderen]]></category>
		<category><![CDATA[alberta cross]]></category>
		<category><![CDATA[arctic monkeys]]></category>
		<category><![CDATA[automated reasoning]]></category>
		<category><![CDATA[broken side of time]]></category>
		<category><![CDATA[coldplay]]></category>
		<category><![CDATA[conditions]]></category>
		<category><![CDATA[cryptography ii]]></category>
		<category><![CDATA[doves]]></category>
		<category><![CDATA[editors]]></category>
		<category><![CDATA[eindhoven]]></category>
		<category><![CDATA[five o'clock heroes]]></category>
		<category><![CDATA[florence and the machine]]></category>
		<category><![CDATA[franz ferdinand]]></category>
		<category><![CDATA[fysiotherapeut]]></category>
		<category><![CDATA[hardware & operating system security]]></category>
		<category><![CDATA[humbug]]></category>
		<category><![CDATA[in this light and on this evening]]></category>
		<category><![CDATA[it's blitz!]]></category>
		<category><![CDATA[j.w. roy]]></category>
		<category><![CDATA[kasabian]]></category>
		<category><![CDATA[kerstavond]]></category>
		<category><![CDATA[kingdom of rust]]></category>
		<category><![CDATA[kings of leon]]></category>
		<category><![CDATA[knie]]></category>
		<category><![CDATA[law in cyberspace]]></category>
		<category><![CDATA[lungs]]></category>
		<category><![CDATA[master]]></category>
		<category><![CDATA[muziek]]></category>
		<category><![CDATA[nijmegen]]></category>
		<category><![CDATA[oasis]]></category>
		<category><![CDATA[podotherapeut]]></category>
		<category><![CDATA[proving with computer assi]]></category>
		<category><![CDATA[proving with computer assistance]]></category>
		<category><![CDATA[security in organizations]]></category>
		<category><![CDATA[software security]]></category>
		<category><![CDATA[sun gangs]]></category>
		<category><![CDATA[the gasl]]></category>
		<category><![CDATA[the gaslight anthem]]></category>
		<category><![CDATA[the prodigy]]></category>
		<category><![CDATA[the temper trap]]></category>
		<category><![CDATA[the veils]]></category>
		<category><![CDATA[tonight]]></category>
		<category><![CDATA[twente]]></category>
		<category><![CDATA[u2]]></category>
		<category><![CDATA[verification of security protocols]]></category>
		<category><![CDATA[west]]></category>
		<category><![CDATA[west ryder pauper lunatic asylum]]></category>
		<category><![CDATA[yeah yeah yeahs]]></category>

		<guid isPermaLink="false">http://zeroxcool.net/?p=361</guid>
		<description><![CDATA[In traditie op de afgelopen twee jaren wilde ik dit laatste jaar van het decennium afsluiten met een grote post, die dit jaar gaat samenvatten. Dit gebeurt dan ook geheel in lijn op Kerstavond. Inmiddels zitten paps en mams klaar om richting de kerk te gaan, terwijl Teun net terugkomt van de verjaardag van neefje [...]]]></description>
			<content:encoded><![CDATA[<p>In traditie op de afgelopen <a href="" target="_blank">twee</a> <a href="" target="_blank">jaren</a> wilde ik dit laatste jaar van het decennium afsluiten met een grote post, die dit jaar gaat samenvatten. Dit gebeurt dan ook geheel in lijn op Kerstavond. Inmiddels zitten paps en mams klaar om richting de kerk te gaan, terwijl Teun net terugkomt van de verjaardag van neefje Tijn &#8212; waarop het voor mij tijd is om de agenda te openen en eens te kijken wat er het afgelopen jaar zich allemaal heeft afgespeeld. Naast een grote samenvatting kan ik uiteraard ook niet om de lijstjes heen, dus in deze post vind je eveneens de beste singles, albums en concerten. Ja, het wordt me de post wel <img src='http://zeroxcool.net/wp-includes/images/smilies/icon_smile.gif' alt=':)' class='wp-smiley' /> .<br />
<span id="more-361"></span><br />
<strong>School</strong><br />
Waar we vorig jaar enkel een half jaartje master erop hadden zitten, zit ik inmiddels op anderhalf jaar master-studie. Wat inhoudt dat ik in februari ga beginnen met afstuderen, echter daarover vind je op 24 december 2010 wellicht meer informatie <img src='http://zeroxcool.net/wp-includes/images/smilies/icon_wink.gif' alt=';)' class='wp-smiley' /> .</p>
<p>Na het eerste semester van de master heb ik het tweede semester op maandag twee courses in Eindhoven gevolgd: Verification of Security Protocols en Cryptography II. Eerstgenoemde was wat minder interessant, maar met een voldoende afgerond, terwijl &#8216;crypto II&#8217; afgerond werd met een 1 &#8212; nouja, het tentamen dan. Dus bij dezen: mijn allereerste 1 ooit is in 2009 gevallen. Op de vrijdag heb ik in Nijmegen één vak gevolgd: Software Security, wat ook prima was afgerond. Tussentijds in Eindhoven nog de vakken Proving with Computer Assistance en Automated Reasoning gevolgd. Beide interessante vakken die ik ook voldoende had afgerond.</p>
<p>Na de zomer het laatste semester &#8216;echt les&#8217; gehad. Met op maandag in Nijmegen de vakken Security in Organizations en Hardware &#038; Operating System Security. En zo nu en dan vond ik het interessant om aan te schuiven bij Law in Cyberspace &#8212; een vak gegeven door de Universiteit van Tilburg. Op dinsdags in Eindhoven stond Algorithms for Model Checking op het programma &#8212; puur vanwege het feit dat ik dan tenminste ook een keer in Eindhoven ben <img src='http://zeroxcool.net/wp-includes/images/smilies/icon_smile.gif' alt=':)' class='wp-smiley' /> . Terwijl ik op vrijdag in Twente te vinden was, voor de vakken Secure Data Management en Network Security. Waarbij we voor het laatsgenoemde vak als project een honeypot op moesten zetten: interessant. Voor de Twente vakken inmiddels al tentamen gehad en die ook prima afgerond, nu de projecten die daarbij horen nog. De Eindhoven en Nijmegen vakken worden in de tentamenweek in januari afgerond; nog even geduld dus <img src='http://zeroxcool.net/wp-includes/images/smilies/icon_smile.gif' alt=':)' class='wp-smiley' /> .</p>
<p>Zonder vakken van het derde semester heb ik nu al 79 studiepunten bij elkaar gesprokkeld. Ik heb er 90 nodig om aan het afstuderen te kunnen beginnen, terwijl ik er nu theoretisch 29 kan verdienen. Dat moet wel gaan lukken dacht ik zo&#8230; Een jaar waarin er dus hard gewerkt is aan allerlei projecten en papers. Maar nog nooit met tegenzin de trein of bus naar Eindhoven, Nijmegen danwel Twente gepakt &#8212; iets wat alles zegt als je het mij vraagt&#8230;</p>
<p><strong>Knie</strong><br />
Afgelopen jaar schreef ik al dat ik hoopte dat ik aan dit akkefietje geen woorden meer hoefde te spenderen. Helaas, niet ieder goed voornemen vindt aftrek. Maar, misschien is er dan toch licht aan het einde van de tunnel.</p>
<p>Nadat ik begin dit jaar nog redelijk moedeloos van m&#8217;n beengewricht werd, is dat aan het einde van 2009 redelijk omgeslagen. Net voordat ik op vakantie ging &#8212; daar volgt later uiteraard ook een blokje over &#8212; kon ik niet veel met m&#8217;n knie. Direct dik na inspanning en zelfs de dag erna gewoon pijn tijdens de dagelijkse bezigheden. Enorm veel irritatie op de pezen en pezenbladen rondom de knie. De fysio kon niet heel veel meer doen, m&#8217;n spierkracht was zo goed als gelijkwaardig, evenals de spiercoördinatie. Tja, dan begin je toch te twijfelen&#8230; &#8216;Had ik die derde operatie wel aan moeten gaan&#8230;?&#8217;</p>
<p>Eenmaal terug van vakantie had ik totaal geen last meer van m&#8217;n knie. Zouden die vier weken relatieve rust (geen sporten) en het dagelijks veel bewegen (wandelen for the win <img src='http://zeroxcool.net/wp-includes/images/smilies/icon_wink.gif' alt=';)' class='wp-smiley' /> ) dan het wondermiddel zijn? Zo stom als ik was direct veel gaan hardlopen, wat allemaal prima ging. Totdat uiteindelijk de klad er weer in kwam: irritatie en veel pijn de volgende dag. Precies op dezelfde plaatsen. De fysio kon zoals gezegd niet veel doen. Daar zit je dan&#8230;</p>
<p>Begin oktober toch maar de laatste strohalm gegrepen die ik had: de podotherapeut opzoeken. Dingen die zowel de chirurg als de fysio eens tussen neus en lippen door hadden gemeld. Googlen, bellen en drie dagen later afgesproken. Er was inderdaad het nodige mis met m&#8217;n voeten en mijn loopgedrag, maar &#8216;hier was wel iets mee te doen&#8217;. Zou het dan toch?</p>
<p>Inmiddels loop ik nu zo&#8217;n dikke maand op m&#8217;n nieuwe orthopedische zolen en waarempel: zo&#8217;n beetje iedere klacht is verholpen en ik kan pijnvrij lopen, zelfs de dag erna! Dikke wow dus. Tijd om fit te gaan worden &#8212; ik scheurde de tweede week na aanschaf van de zolen m&#8217;n hamstring diep in <img src='http://zeroxcool.net/wp-includes/images/smilies/icon_sad.gif' alt=':(' class='wp-smiley' />  &#8212; om in de tweede helft van het seizoen op te gaan treden als KNVB scheidsrechter: eindelijk weer. Zou dit dan toch het laatste hoofdstuk zijn omtrent de knie in m&#8217;n jaarlijke samenvatting&#8230;?</p>
<p><strong>Muziek</strong><br />
Kwantitatief was het een minder jaartje met concert bezoek van ondergetekende. Echter, daar stonden wel de nodige namen van bands tegenover die op mijn &#8216;to-see-before-I-die&#8217;-lijst stonden. Zoals Kings of Leon, The Prodigy, U2 en Muse. Toegegeven, de één wat meer tegenvallend dan de ander, maar desalniettemin een prima concert jaar. Het waren er <a href="http://www.last.fm/user/zeroxcool/events/2009" target="_blank">15 dit jaar</a>, tegenover <a href="http://www.last.fm/user/zeroxcool/events/2008" target="_blank">24 vorig jaar</a>. Iets met kwantiteit zoals ik al aangaf <img src='http://zeroxcool.net/wp-includes/images/smilies/icon_wink.gif' alt=';)' class='wp-smiley' /> .</p>
<p>Maar goed, om maar met de deur in huis te vallen, hierbij de top-10 van dit jaar:</p>
<ol>
<li><strong>The Prodigy &#8211; dinsdag 3 maart &#8211; E-Werk, Keulen</strong><br />
Zoals gezegd, deze stond op de &#8216;to-see-before-I-die&#8217;-lijst. En man man man, wat hebben deze mannen mij deze doordeweekse avond vermaakt. We waren mooi op tijd in Keulen en stonden langs de geluidmannen toen het concert begon. Bij de eerste tonen ging de Duitse zaal (okay, met veel Nederlandse inbreng) al helemaal uit hun plaat &#8212; incluis ons. Snel naar voren gehaast waar iedereen direct elkander kwijt was: niet erg, gewoon stampen! Einde concert, lichten aan en weer hard balen dat je opnieuw helemaal doorweekt bent. Je kijkt om je heen (&#8216;hey, ik sta weer langs de geluidsmensen&#8217;) en ziet dat iedereen ook doorweekt is: <a href="http://zeroxcool.net/170/bloc-party-kings-of-leon-five-oclock-heroes-en-the-prodigy.html" target="_blank">H-E-L-L Y-E-A-H</a>!</li>
<li><strong>Coldplay &#8211; zondag 20 september &#8211; Wembley Stadium, Londen</strong><br />
Vorig jaar stonden ze ook op twee, toen had ik Chris Martin en kornuiten mogen aanschouwen in Keulen. Van de ene grote stad naar de andere, moet ik hebben gedacht. Ik had namelijk kaarten gescoord voor het afsluitende concert van de Viva La Vida-tour, in fucking Wembley Stadium. Nou weet ik niet of dat het was &#8212; wat een enorm vette locatie &#8212; of de regen die toen Coldplay net op de bühne kwam of gewoon de prima muziek. Anyways, het was een geweldig weekend!</li>
<li><strong>The Temper Trap &#8211; donderdag 17 december &#8211; Doornroosje, Nijmegen</strong><br />
Soms komen er van die bandjes die een debuut album afleveren die direct pakt. En als je dan ziet dat ze over een paar maanden om de hoek te bewonderen zijn: dan heb je geluk. Zo ging ik samen met Giel vorige week richting Nijmegen om deze Aussi&#8217;s te gaan aanschouwen. Wat een prachtige stem heeft zanger Dougy Mandagi toch: glashelder, hoog en aanstekelijk. Een enorm powervolle set, heel zwaar okay. Ik sta er niet van te kijken als de mannen over een aantal jaar de HMH platspelen. Kan ik er nog bij zeggen dat ik Dougy een hand heb geschud en hem succes daarmee gewenst heb <img src='http://zeroxcool.net/wp-includes/images/smilies/icon_wink.gif' alt=';)' class='wp-smiley' /> .</li>
<li><strong>U2 &#8211; dinsdag 21 juli &#8211; ArenA, Amsterdam</strong><br />
Over platspelen gesproken. Dat hebben Bono en z&#8217;n mannen al ontelbaar veel keren gedaan. Ook ditmaal in Amsterdam. Harm&#8217;s eerste keer. Wát een podium en wát een overweldiging. Het nieuwe album mocht behoorlijk tegenvallen, dat werd met gouden ouden helemaal goed gemaakt.</li>
<li><strong>The Gaslight Anthem &#8211; woensdag 10 juni &#8211; Doornroosje, Nijmegen</strong><br />
Een band tweemaal zien spelen kan, maar als er dan maar één nacht tussenzit, dan ben je of niet goed snik, of het is gewoon een top band. Dat laatste geldt hopelijk voor mij <img src='http://zeroxcool.net/wp-includes/images/smilies/icon_wink.gif' alt=';)' class='wp-smiley' /> . Jammer dat ik Brian Fallon en kornuiten pas dit jaar ontdekte, anders had de album top-10 van vorig jaar er heel anders uitgezien&#8230;</li>
<li><strong>Alberta Cross &#8211; donderdag 19 november &#8211; Doornroosje, Nijmegen</strong><br />
Samen met The Temper Trap toch wel het beste binnenkomer album van 2009. Dat dat live dan ook nog eens bevestigd wordt, levert dat alleen maar kudo&#8217;s op voor dit lijstje <img src='http://zeroxcool.net/wp-includes/images/smilies/icon_wink.gif' alt=';)' class='wp-smiley' /> . Achteraf opnieuw met een frontman gesproken: Petter Ericson Stakee was zo relaxt als de muziek is, heel cool.</li>
<li><strong>J.W. Roy &#8211; zondag 21 juni &#8211; Koningkerkje, Vierlingsbeek</strong><br />
Tijdens het festival &#8216;Op de Toffel&#8217; te Vierlingsbeek &#8212; waar ook De Staat en The Spades speelden &#8212; kwam ik in een klein kerkje waar singer-songwriters speelden J.W. Roy tegen. Een voor mij onbekende troubadour, maar iemand die ik daarna niet snel zal vergeten. Het is dat zijn CD&#8217;s voor gemiddeld 20 euro over te toonbank gaan, waarop ik het maar even van me af schuif. Maar dit is muziek zoals muziek bedoeld is: puur, direct vanuit het hart te hore gegeven, met een prachtige stem: wow!</li>
<li><strong>Five O&#8217;Clock Heroes &#8211; zondag 22 februari &#8211; Doornroosje, Nijmegen</strong><br />
Het is carnavalszondag en je favo spring bandje komt langs in Nijmegen. Wat doe je dan? Kei hard gaan natuurlijk! Samen met Mark en Jony verkleed richting Roosje, om aldaar door te gaan met feesten. Lees het maar even <a href="http://zeroxcool.net/170/bloc-party-kings-of-leon-five-oclock-heroes-en-the-prodigy.html" target="_blank">na</a> <img src='http://zeroxcool.net/wp-includes/images/smilies/icon_smile.gif' alt=':)' class='wp-smiley' /> .</li>
<li><strong>Kings of Leon &#8211; zaterdag 21 februari &#8211; HMH, Amsterdam</strong><br />
Dat was de zondagavond, de zaterdagavond was ik samen met Niels in de HMH te vinden om onze gezamelijke helden van de Kings of Leon te aanschouwen. Prachtige show, prima sfeer en meer dan prima muziek. <a href="http://zeroxcool.net/170/bloc-party-kings-of-leon-five-oclock-heroes-en-the-prodigy.html" target="_blank">Hier</a> vind je wat meer.</li>
<li><strong>Oasis &#8211; donderdag 22 januari &#8211; HMH, Amsterdam</strong><br />
Eindelijk kon ik mijn helden van de middelbare schooltijd aanschouwen. Meeschreeuwen met alle knallers van toen (&#8216;Champagne Supernova&#8217;, &#8216;Cigarettes &#038; Alcohol&#8217;, &#8216;Don&#8217;t Look Back in Anger&#8217; en last but not least: &#8216;Wonderwall&#8217;), ik zeg: bij een volgend album weer?</li>
</ol>
<p>Nog wat concerten die er buiten vielen: Muse (toch wel een kleine tegenvaller, misschien omdat we er te laat waren en wat aan de zijkant stonden), The Killers (niets speciaals), Bloc Party (helaas, prima concert, maar niet dat stukje extra) en de grootste tegenvaller: Michael Jackson. Man man, wat had ik de beste man graag live een keer zien schitteren in Londen!</p>
<p>Anyways, van de concerten richting de albums. Ik ben zo lui geweest om hier gewoon de lijst neer te plempen die ik ook bij <a href="http://www.applysomepressure.com/ASP/pivot/entry.php?id=1957" target="_blank">ApplySomePressure</a> heb neergegooid. Maakt het er niet minder leuk om uiteraard:</p>
<ol>
<li> <strong>Arctic Monkeys &#8211; Humbug</strong><br />
Dit album kent volgens mijn ster-aanduidingen geen slechte platen: ik zie enkel 4 sterren of meer. Om dan de echte juweeltjes aan te wijzen wordt lastig, maar toch: &#8216;My Propeller&#8217; en ook &#8216;The Jewellar&#8217;s Hands&#8217;. Wat meneer Turner hier flikt heeft iets weg van de magie die samen met maatje Kane ook bij The Last Shadow Puppets te beluisteren was: chapeau chapeau.</li>
<li> <strong>Yeah Yeah Yeahs &#8211; It&#8217;s Blitz!</strong><br />
Als je pas in 2009 met de Yeah Yeah Yeahs wordt geconfronteerd &#8212; zoals ik &#8212; dan heb je inderdaad onder een steen gelegen. Echter, met zo&#8217;n muziek kom je daar stuiterend onder vandaan. &#8216;Hysteric&#8217; en &#8216;Heads Will Roll&#8217; maakten hier het prettigst een rondje. Tijd om weer eens een keertje Nederland aan te doen, ja toch?</li>
<li> <strong>Florence And The Machine &#8211; Lungs</strong><br />
Het blijft leuk om bandjes die je ooit eens in een voorprogramma hebt gezien &#8212; bij MGMT te Doornroosje stond mevrouw Florence een kwartvolle zaal te showen wat ze in haar mars heeft &#8211;, zelf door ziet breken. Prachtige samenvloeiing van zang, melodie en een bergje power erbij! Dikke wow! Krakers: &#8216;Hurricane Drunk&#8217; en de single &#8216;Dog Days Are Over&#8217;.</li>
<li> <strong>Doves &#8211; Kingdom Of Rust</strong><br />
Nou ben ik niet bekend met het oude werk van de Doves, maar Kingdom of Rust raakte nadat het m&#8217;n hoofd trof er niet snel meer uit. Prachtige plaat, met mysterie alom. Maar liefst drie vijf-sterrers <img src='http://zeroxcool.net/wp-includes/images/smilies/icon_smile.gif' alt=':)' class='wp-smiley' /> : &#8216;Lifelines&#8217;, &#8216;Jetstream&#8217; en &#8216;House of Mirrors&#8217;.</li>
<li> <strong>Kasabian &#8211; The West Rider Pauper Lunatic Asylum</strong><br />
Wel jammer, deze plaat had zekersteweten hoger gestaan als het concert van de Engelse heren niet afgelast was dit jaar. Anyways, reden te meer er nog meer naar uit te zien in februari. Een album wat misschien wat meer toegankelijk is voor de mainstream, het maakt de toppers &#8216;Fire&#8217;, &#8216;Underdog&#8217; en &#8216;Fast Fuse&#8217; er niet minder om <img src='http://zeroxcool.net/wp-includes/images/smilies/icon_smile.gif' alt=':)' class='wp-smiley' /> .</li>
<li> <strong>The Temper Trap &#8211; Conditions</strong><br />
Ja, het concert wat ik afgelopen week hiervan bijwoonde heeft zeker aan deze plaats bijgedragen. Een bevlogen band en ook bevlogen muziek. Sommige nummers pakten meteen (ik zeg: &#8216;Fader&#8217;), anderen komen later rustig bovendrijven. Blijkt dan vaak dat dat juist dé parels zijn die je over jaren nog kunt luisteren&#8230;? Laten ik het voor m&#8217;n oren hopen, met &#8216;Soldier On&#8217; en &#8216;Resurrection&#8217;.</li>
<li> <strong>The Veils &#8211; Sun Gangs</strong><br />
Deze plaat is een beetje ondergesneeuwd in mijn gedachten over goede platen uit 2009. Desalniettemin, wat een prachtig album. Dezelfde soort onrust als bij Doves, maar dan net een beetje donkerder. &#8216;Sit Down By The Fire&#8217; staat héul hoog in mijn single van 2009 lijst.</li>
<li> <strong>Alberta Cross &#8211; Broken Side Of Time</strong><br />
Daar is de tweede nieuwkomer van 2009, en wat voor één. Een stemgeluid waar de frontman van The Temper Trap nog twee noten onder zit. Prachtig concert van gezien te Doornroosje. Beetje weinig airplay gehad &#8212; misschien iets minder toegankelijk. Maar mensen: ogen dicht en &#8216;City Walls&#8217; plus &#8216;Old Man Chicago&#8217; opzetten. Ja, ik zei toch: je bent om.</li>
<li> <strong>Editors &#8211; In This Light And On This Evening</strong><br />
Iets met een hele andere koers varen&#8230; Wat een verfrissend album van de Engelse heren. Topper &#8216;Papillon&#8217; viel hier direct en doet het buitengewoon verrassend nog steeds heel prima hier. Groeibriljant &#8216;Bricks And Mortar&#8217; heeft hier net te kort opgestaan om de gewenste 5-sterren te krijgen, maar wie weet wat het nieuwe jaar brengt.</li>
<li> <strong>Franz Ferdinand &#8211; Tonight</strong><br />
En dan band nummer twee die de synthesizers ontdekt hebben. Verfrissend is het zeker, dat het daarbij ook nog knalt om de dansvloer op te zoeken en te blijven is wel duidelijk. De &#8216;change&#8217; die na vier minuten en vijftig seconden doorbreekt in &#8216;Lucid Dreams&#8217; was misschien wel de grootste verrassing van 2009 <img src='http://zeroxcool.net/wp-includes/images/smilies/icon_wink.gif' alt=';)' class='wp-smiley' /> . Owja, ook &#8216;Twilight Omens&#8217; deed het erg prima hier.</li>
</ol>
<p>Tja, dan ben je aardig stil. Kortom, kom er maar in met die top-10 singles van 2009:</p>
<ol>
<li> Editors &#8211; Papillon</li>
<li> The Medics &#8211; Great Is My Fear</li>
<li> The Veils &#8211; Sit Down By The Fire</li>
<li> Alberta Cross &#8211; Old Man Chicago</li>
<li> Franz Ferdinand &#8211; Lucid Dreams</li>
<li> Flinke Namen &#8211; Wolken</li>
<li> Antony and The Johnsons &#8211; Epilepsy Is Dancing</li>
<li> Kasabian &#8211; Fast Fuse</li>
<li> Yeah Yeah Yeahs &#8211; Heads Will Roll</li>
<li> Florence and The Machine &#8211; Dog Days Are Over</li>
<li> Bruce Springsteen &#8211; Life Itself</li>
</ol>
<p>(<em>Links volgen&#8230;</em>)</p>
<p><strong>USA</strong><br />
<em>Volgt&#8230;</em></p>
<p><strong>Woordenwolk</strong><br />
Net zoals vorig jaar ga ik 2009 voor mijzelf samenvatten in een woordenwolk (kortom: gewoon een opsomming van dingen die mij gebeurden of opvielen in 2009). Sommige dingen zullen je kunnen plaatsen, voor anderen moet je toch echt Harm heten. Anyways:</p>
<blockquote><p>Keulen, Dublin, zolen, Santa Barbara, FlashForward, master, San Diego, Twente, Riga, papers, smartcards, Pinksteren, Californication, Londen, PEI, golf, Toronto, MANNEN weekend, Eindhoven, Niagara, Totaalnet, V, LA, The Gaslight Anthem, Nijmegen, lvm2, Wembley, Las Vegas</p></blockquote>
]]></content:encoded>
			<wfw:commentRss>http://zeroxcool.net/361/kerstavond-een-terugblik-op-2009.html/feed</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
		<item>
		<title>Een snelle update</title>
		<link>http://zeroxcool.net/197/een-snelle-update.html</link>
		<comments>http://zeroxcool.net/197/een-snelle-update.html#comments</comments>
		<pubDate>Thu, 04 Jun 2009 21:26:26 +0000</pubDate>
		<dc:creator>Harm</dc:creator>
				<category><![CDATA[Music]]></category>
		<category><![CDATA[Personal]]></category>
		<category><![CDATA[School]]></category>
		<category><![CDATA[automated reasoning]]></category>
		<category><![CDATA[canada]]></category>
		<category><![CDATA[fleet foxes]]></category>
		<category><![CDATA[los angeles]]></category>
		<category><![CDATA[moby]]></category>
		<category><![CDATA[nijmegen]]></category>
		<category><![CDATA[owasp]]></category>
		<category><![CDATA[phpbb]]></category>
		<category><![CDATA[proving with computer assistance]]></category>
		<category><![CDATA[software security]]></category>
		<category><![CDATA[suv]]></category>
		<category><![CDATA[the gaslight anthem]]></category>
		<category><![CDATA[tijd]]></category>
		<category><![CDATA[u2]]></category>
		<category><![CDATA[vlsi programming]]></category>
		<category><![CDATA[vs]]></category>

		<guid isPermaLink="false">http://zeroxcool.net/?p=197</guid>
		<description><![CDATA[Tijd blijft een ongrijpbaar iets. Soms heb je er te veel van &#8211; okay, bijna nooit &#8211; en soms dan is het nergens te bekennen. Dat laatste was de laatste weken het geval. Hoewel ik meende voor mezelf op de uni niet te veel hooi op m&#8217;n vork te hebben genomen, bleek dat toch niet [...]]]></description>
			<content:encoded><![CDATA[<p>Tijd blijft een ongrijpbaar iets. Soms heb je er te veel van &#8211; okay, bijna nooit &#8211; en soms dan is het nergens te bekennen. Dat laatste was de laatste weken het geval. Hoewel ik meende voor mezelf op de uni niet te veel hooi op m&#8217;n vork te hebben genomen, bleek dat toch niet helemaal te kloppen. De voorbije weken ben ik daar weer achter gekomen. Deadline na deadline, verslag na verslag en project na project. Al moet ik zeggen dat het einde dáárvan in zicht is.</p>
<p>Morgen een kleine presentatie over het groepwerk van het vak <a title="Software Security" href="http://www.cs.ru.nl/~erikpoll/ss/" target="_blank">Software Security</a> te Nijmegen. Waar we een soort van security audit aan de hand van <a title="OWASP" href="http://www.owasp.org" target="_blank">OWASP</a> gedaan hebben voor het open-source bulletin board systeem <a title="phpBB" href="http://www.phpbb.com/" target="_blank">phpBB</a>. Wij hebben als groep zijnde het session management onder de loep genomen, wel interessant, maar niet meer dan dat. Dan wordt er maandag een kleine presentatie verwacht betreffende een paper over <a href="http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/GPT-aplas07.pdf">A Probabilistic Applied Pi–Calculus</a>. Tot zover de kleine deadlines. De afgelopen weken hebben we voor de vakken <a href="http://www.win.tue.nl/~hzantema/ar.html" target="_blank">Automated Reasoning</a> en <a href="http://www.win.tue.nl/~cberkel/2IN35/" target="_blank">VLSI programming</a> ook al twee verslagen ingeleverd &#8211; 50 pagina&#8217;s ieder. Kortom, het ware drukke weken.</p>
<p>Rest ons nog een mondeling voor VLSI a.s. dinsdag en het inleveren van een gezamenlijke en individuele opdracht voor <a href="http://www.cs.ru.nl/H.Geuvers/onderwijs/provingwithCA/" target="_blank">Proving with Computer Assistence</a> over anderhalve week. En dan zijn we klaar? Nee hoor. Dan volgen er vanaf volgende week woensdag 3.5 week tentamens. En dan? Dan wordt er twee weken gewerkt.</p>
<p>En dan? Dan gaan we U2 bekijken en twee dagen daarna begint dan eindelijk m&#8217;n trip naar Canada. Waar ik anderhalve week blijf en dan doorvlieg naar LA, alweer ik Mark, David en Hans zie. Om samen drie weken door het westen van de VS te trekken, met een gehuurde SUV. Ik zeg: kom maar op met die deadlines, nog even vlammen en geld verdienen. Om het dan in een kleine maand waarschijnlijk allemaal weer uit te geven.</p>
<p>Owja, en in de tussentijd ga ik nog wel even The Gaslight Anthem (wat een gruwelijk, te gek, gaaf en geniaal album, zóóó&#8217;n zin in!),</p>
<p style="text-align: center;">
<p><a href="http://www.youtube.com/watch?v=dw4YwJppiec&#038;fmt=18">http://www.youtube.com/watch?v=dw4YwJppiec</a></p>
</p>
<p>de Fleet Foxes,</p>
<p style="text-align: center;">
<p><a href="http://www.youtube.com/watch?v=DrQRS40OKNE&#038;fmt=18">http://www.youtube.com/watch?v=DrQRS40OKNE</a></p>
</p>
<p>en Moby</p>
<p style="text-align: center;">
<p><a href="http://www.youtube.com/watch?v=enNE2oSTCKs&#038;fmt=18">http://www.youtube.com/watch?v=enNE2oSTCKs</a></p>
</p>
<p>zien. Maar dat had de oplettende lezer uiteraard al lang aan het menu aan de rechterkant gezien&#8230; Hell fucking yeah!</p>
]]></content:encoded>
			<wfw:commentRss>http://zeroxcool.net/197/een-snelle-update.html/feed</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
	</channel>
</rss>

