Tammo 80Ik lees hieronder dat ik heb geschreven dat ik het algoritme toch nog O(n) had kunnen houden. Nou, dat is mooi mislukt! Het wordt nu O(p²+n), wat precies is wat Richard Moot in zijn proefschrift ook haalt. Het uitvissen van het algoritme was nog redelijk arbeidsintensief, ik vind dat Moot het best wel had mogen voorkauwen in zijn proefschrift. Maar goed, nu heb ik ook nog wat zelf gedaan (met dank aan Willem).
Bij de tussenbespreking van mijn scriptie vanmiddag begon de docent met “Nou, ik heb wel vaker scripties gezien, maar dit…” En dat was niet positief bedoeld. Het komt erop neer dat ik nog een goeie dag moet gaan zitten verbeteren, en verder mijn computerprogramma moet afmaken. Aan het eind van het gesprek heb ik hem enigszins kunnen verrassen met het werk dat ik gisteren nog heb gedaan: een algoritme ontwikkeld voor het controleren van bewijsnetten. Aanstaande dinsdag krijg ik m’n cijfer (dat wordt in mijn aanwezigheid vastgesteld). Ik heb voor de zekerheid even ge√Ønformeerd of het een voldoende zou worden, en dat was het geval. Pfoei.
Vandaag was het zo warm, dat m’n ventilator ervan gesmolten is. Ook m’n scriptie is nog niet echt opgeschoten, ik heb geprobeerd of het hielp als ik op m’n kop ging staan, maar ook dat had geen effect. Misschien later vannacht…
Ik kom er zojuist achter dat het algoritme dat ik voor m’n scriptie bedacht heb niet klopt. Argh! Ik ben momenteel hard aan het denken over een oplossing, en ik denk dat ik die ook wel gevonden heb (in ieder geval een oplossing voor het tegenvoorbeeld dat ik tegenkwam), maar het hele systeem wordt nu zo complex dat ik de grip erop aan het verliezen ben. Maar het blijft wel O(n), in plaats van O(n^2) — en over dat soort zaken horen computional scientists zich druk te maken :)
Niet dat ik er zelf altijd rekening mee hou hoor, maar is het nou echt een goed idee van de benedenbuurman om op zondag, terwijl ik aan m’n scriptie moet werken, met een klopboor gaten in de stoep te gaan staan boren? Nu ik erover nadenk, ik denk eigenlijk dat het √ºberhaupt niet echt een goed idee is: hij is een stuk van de stoep (openbare weg dacht ik) met een hek aan het afzetten, zodat zijn honden en kinderen niet kunnen weglopen. Mag dat?
Omdat ik gisteren vergeten was brood te kopen, heb ik zojuist een ontbijt samengesteld uit de voorraadkast: scrambled eggs en witte bonen in tomatensaus. Ik vond het iets te intensief om ook nog aardappeltjes te bakken, maar verder komt het aardig in de buurt van een english breakfast :-)
Ik had me voorgenomen om vandaag hard te werken, maar toen ik om drie uur zo’n beetje aan beginnen toe was (ik had toen al wel wat doelloos nagedacht en gepriegeld op een papiertje), zag ik Franka online, die me eraan herinnerde dat zij een feestje gaf. Dus toen ben ik snel een cadeautje gaan kopen en fabriceren (een fotocollage), en ben ik daarheen gefietst. Onderweg heb ik me nog wel voorgenomen de scriptieplannen voor vandaag niet weer een dag uit te stellen, maar gewoon vanavond te doen.
Het feestje was erg leuk, hoewel Franka er een beetje spijt van had dat ze zoveel systeembeheerders had uitgenodigd (5, mijzelf incluis). Het is zowaar laat geworden, ik was om half een weer terug. En nu heb ik dus zowaar twee√´neenhalf uur aan m’n scriptie gewerkt! Ik heb net een beslisboom gemaakt met maar liefst 14 mogelijke beslissingen. Hopelijk begrijpt de docent het zo, hoewel het er niet fraai uitziet.
Gisteren bij Lars zagen we op het nieuws dat er wat bos bij Zeist was afgebrand. Lars zei nog dat hij het wel sneu zou vinden om er dan direct naartoe te gaan. Maar toen onze kamers zo warm bleken te zijn dat er niet meer in te toeven was, zijn we toch maar op het fietsje gesprongen. Niet dat we een bosbrand hebben gezien overigens, maar we hebben wel 30 km gefietst!
Gisteren op het werk een rapport opgemaakt dat de veertiende bij de drukker moet liggen. Ik heb geadviseerd het nog even te laten lezen door een redacteur; ik heb zelf (zonder het expres te lezen) al verbeterd: “de huis” en “Wat zijn aanwezig?”. Het was wel gezellig op het werk, hoewel akelig rustig; maar 5 man, waar er toch zeker 40 werkplekken zijn.
Donderdagavond heb ik even geweldig bijgesnabbeld: ik heb de computer van Roel ge√Ønstalleerd. Een monsterlaptop van de Lidl: 2.5 gHz, 512 MB, 60 GB, et cetera. Niet alleen heb ik ‘m ge√Ønstalleerd, maar ik heb direct daar ook een netwerk aangelegd (d.w.z. netwerkkaart overgebouwd), zodat de laptop bij de gegevens van de oude computer kan. En nu mag ik – zowaar betaald – gaan uitzoeken hoe ik een Nokia 6310i met een Palm Thungsten kan laten praten via BlueTooth. Geweldig toch? ;-)