moonhouse David Hall
Jaikus from moonhouse
Thursday, 5 November 2009
-
Jag kan säga ja på alla punkter i annonsen men det är 18 månader för sent.
Thursday, 29 October 2009
-
Samma frukost på tåget som vanligt.
Wednesday, 28 October 2009
-
@uchman: Det låter märkligt. Precis som @matpe undrar jag om du kör pdftex eller går omvägen över DVI och Postscript först.
När jag skrev exjobbsrapporten var det med vilje ett mindre format uppslaget som A4. Detta eftersom tryckeriet tog A4-sidor och förminskade dem. Alltså såg man till att ha marginalerna blev rätt först efter förminskning.
-
Intressant kunde man kalla luncherna på ett av lunchställena här på universitetet. Sällskapet var intressant på riktigt, rätterna mer om man använde det som förskönande omskrivning.
Tuesday, 27 October 2009
-
@jocke: Jag kom ihåg att jag skrivit om det på Jaiku. I detta fall sökte jag på "moonhouse halsingbord" på Google för att hitta tillbaka. Annars är chatloggarna från imku bäst, som @plindberg skriver.
-
"- Proof and model theory: soundness and completeness, semantic tableaux, natural deduction, sequent calculus, resolution, Horn theories, logic programming. Not all proof methods will be covered, but selected methods will be covered in depth.
Selected issues in meta theory of which the following are representative issues: Lowenheim-Skolem theorem, Herbrand's theorem, compactness, Lindström's theorem, Gödel's incompleteness theorem, axiomatization of natural, rational and real numbers.
Introduction to non-standard logics: modal logic, 2nd-order logic."
-
Första delen av kursen Logics II avslutades för en timme sedan. Inlämningsuppgifterna har inte avslöjats än.
-
Jag tror nu att felet kommer ifrån National Geospatial-Intelligence Agency. Halsingbord listas där som en variant av Helsingborg (liksom det mer korrekta Hälsingborg). Sedan har felet antagligen spritt sig till Google Maps, Yahoo Maps (antagligen via Teleatlas och liknande företag) och Geonames-databaserna.
Monday, 26 October 2009
-
@plindberg @pean: Jag får damma av mina Perl-skript för skrobblande som jag skrev 2007 låter det som.
-
@plindberg: moonhouse är kontot från Audioscrobbler, komiha från last.fm. #History">Integrationen verkar ha skett gradvis från 2003 till 2005.
-
Lägger man ihop tiderna blir det ju 11 år! ;)
Kommer du ihåg vilken tjänst plindberg-kontot ursprungligen kommer från?
Sunday, 25 October 2009
-
(Utställningen är någonstans mittemellan Östasiatiska och Moderna?)
-
Sött!
-
Man kan ju hjälpa till att tagga rätt åtminstone.
Jaikus from moonhouse