The Curious Engineer

All blogs / Haskell

nomeata’s mind shares

joachim-breitner.de/blog

Joachim Breitners Denkblogade

HaskellFunctional / PL theoryCompilers

’15’20’25
Posts
626 from 19 Jul 2014 to 25 Feb 2026
Posting
now and then (2 in the last year)
Kind
personal blog
Feed
https://www.joachim-breitner.de/blog_feed.rss

2026 2

  1. Vibe-coding a debugger for a DSL
  2. Seemingly impossible programs in Lean

2025 3

  1. F91 in Lean
  2. Extrinsic termination proofs for well-founded recursion in Lean
  3. Coding on my eInk Tablet

2024 4

  1. Do surprises get larger?
  2. Blogging on Lean
  3. Convenient sandboxed development environment
  4. GHC Steering Committee Retrospective

2023 13

  1. The Haskell Interlude Podcast
  2. Joining the Lean FRO
  3. Squash your Github PRs with one click
  4. Left recursive parser combinators via sharing
  5. Generating bibtex bibliographies from DOIs via DBLP
  6. ICFP Pearl preprint on rec-def
  7. The curious case of the half-half Bitcoin ECDSA nonces
  8. Giving back to OPLSS
  9. More thoughts on a bootstrappable GHC
  10. rclone, WebDav, Mailbox.org
  11. Farewell quimby and fry, welcome richard
  12. git-multisect
  13. Pro-charity consulting

2022 8

  1. Serverless WebRTC instead of websocket
  2. rec-def: Minesweeper case study
  3. rec-def: Dominators case study
  4. rec-def: Program analysis case study
  5. rec-def: Behind the scenes
  6. More recursive definitions
  7. The Via Alpina red trail through Slovenia
  8. Telegram bots in Python made easy

2021 11

  1. Zero-downtime upgrades of Internet Computer canisters
  2. How to audit an Internet Computer canister
  3. A mostly allocation-free optional type
  4. A Candid explainer: Quirks
  5. A Candid explainer: Language integration
  6. A Candid explainer: Opt is special
  7. A Candid explainer: Safe higher-order upgrades
  8. A Candid explainer: The rough idea
  9. Sweet former employee appreciation
  10. Leaving DFINITY
  11. Verifying the code of the Internet Identity service

2020 12

  1. Don’t think, just defunctionalize
  2. Named goals in Coq
  3. Distributing Haskell programs in a multi-platform zip file
  4. Learn Haskell on CodeWorld writing Sokoban
  5. Tiptoi in Dresden
  6. Das Tiptoi-Projekt
  7. Template Haskell recompilation
  8. Managed by an eleven year old
  9. A Telegram bot in Haskell on Amazon Lambda
  10. 30 years of Haskell
  11. Animations in Kaleidogen
  12. git post-squash

2019 18

  1. Faster Winter: Statistics (the making-of)
  2. Faster Winter 7: The Zipper
  3. Faster Winter 6: Simpler Code
  4. Faster Winter 5: Eta-Expanding ReaderT
  5. Faster Winter 4: Export lists
  6. Faster Winter 3: Difference Lists
  7. Faster Winter 2: SPECIALIZE
  8. Faster Winter 1: Vectors
  9. Winter is coming even more quickly
  10. ICFP 2019
  11. Custom firmware for the YQ8003 bicycle light
  12. Ιωακείμ
  13. Artsy desktop background
  14. Drawing foldl and foldr
  15. How to merge a Pull Request
  16. Spring cleaning: local git branches
  17. Teaching to read Haskell
  18. Nonce sense paper online

2018 13

  1. Thoughts on bootstrapping GHC
  2. Sliding Right into Information Theory
  3. Swing Dancer Profile
  4. The merits of a yellow-red phase
  5. Continuity Lines
  6. Build tool semantic aware build systems
  7. WebGL, Fragment Shader, GHCJS and reflex-dom
  8. Proof reuse in Coq using existential variables
  9. Avoid the dilemma of the trailing comma
  10. Verifying local definitions in Coq
  11. Reservoir sampling with few random bits
  12. Interleaving normalizing reduction strategies
  13. The magic “Just do it” type class

2017 21

  1. Finding bugs in Haskell code by proving it
  2. Existence and Termination
  3. Isabelle functions: Always total, sometimes undefined
  4. e.g. in TeX
  5. Less parentheses
  6. Compose Conference talk video online
  7. Communication Failure
  8. How is coinduction the dual of induction?
  9. Coinduction in Coq and Isabelle
  10. The Micro Two Body Problem
  11. Bundestag beschließt Ehe für alle
  12. The perils of live demonstrations
  13. Farewall green cap
  14. Mütze Ade
  15. ghc-proofs rules more now
  16. veggies: Haskell code generation from scratch
  17. Birthday greetings communication behaviour
  18. Why prove programs equivalent when your compiler can do that for you?
  19. Trump is so mean
  20. Global almost-constants for Haskell
  21. TikZ aesthetics

2016 23

  1. microG on Jolla
  2. Drei Jahreszeiten
  3. Nach der Wahl
  4. Showcasing Applicative
  5. Die Taxitür und ich
  6. T430s → T460s
  7. Swing-Tanzen in Philadelphia
  8. Ein Krankenhausbesuch in den USA
  9. The new CIS-194
  10. Explicit vertical alignment in Haskell
  11. Eine Woche Philadelphia
  12. Ein schlüsselloser Moment
  13. HaL deadline extended
  14. When to reroll a six
  15. Eindrücke von der GPN16
  16. Das Mitschriebwiki zieht um
  17. Doctoral Thesis Published
  18. Tiptoi-Bastelei mit meinem Neffen
  19. Doktorhut
  20. Free Paradoxes
  21. GHC performance is rather stable
  22. Protecting static content with mod_rewrite
  23. Dreaming of role playing

2015 23

  1. A multitude of early Christmas presents
  2. HaL 10
  3. Reproducible Builds World Summit
  4. Freierzone, jetzt erst recht
  5. Freierzone
  6. Mehr als Trinken mit Linken
  7. Constructing a list in a monad revisited
  8. Incredible Proof Machine put to the test
  9. The Incredible Proof Machine
  10. Quickest path to a local apt repository
  11. Running circle-packing in the Browser, now using GHCJS
  12. Tiptoi auf der GPN 15
  13. ZuriHac 2015
  14. Fifth place in Godingame World Cup
  15. Talk and Article on Monads for Reverse Engineering
  16. An academic birthday present
  17. Tiptoi-Artikel in der c’t
  18. Sim Serim geschenkt bekommen
  19. DarcsWatch End-Of-Life’d
  20. Tiptoi-Bastelei im Modellansatz-Podcast
  21. Tiptoi-Basteleien live im Radio
  22. Ein Tiptoi-Taschenrechner
  23. …und wo sind die Ings?

2014 13

  1. Wo sind die -ingens
  2. Geschenke mit dem Tiptoi-Stift verteilen
  3. Can one recommend Debian stable to Desktop users?
  4. Switching to systemd-networkd
  5. New website layout
  6. ghc-heap-view for GHC 7.8
  7. 11 ways to write your last Haskell program
  8. Using my Kobo eBook reader as an external eInk monitor
  9. Die ersten hausgemachten Tip-Toi-Bücher
  10. ICFP 2014
  11. DebConf 14
  12. This blog goes static
  13. Good bye GNOME

Undated 462

  1. The diameter of German+English
  2. Another instance of Haskell Bytes
  3. ZuriHac 2014
  4. Predicting the livetime of a Hackage package
  5. Does list fusion work?
  6. Going to TFP 2014
  7. gtk-vector-screenshot screencast
  8. Steuerhinterziehung bei Subway?
  9. Creative use of screen-message
  10. Personalisierte Tip-Toi-Datei als Geschenk
  11. Eine Woche Freizeitstress in Cambridge
  12. Sim Serim as a browser game
  13. My contribution to XKCD’s #949 is not needed
  14. My contribution to XKCD’s #949
  15. Eine Geschichte über Heizungen in Großbritannien
  16. Meine erste Woche in Cambridge
  17. Breaking News: Debian TC leaked decision on init system
  18. Constructing a list in a Monad
  19. First citation
  20. Why PVP is better than no PVP
  21. Experimenting with the TI eZ430 Chronos
  22. Heidelberg Laureates Forum 2013
  23. Adding safe coercions to Haskell
  24. You-Say-First has dice
  25. Bachelor Thesis on Monads for Uncertainty
  26. A song about Isabelle (the theorem prover)
  27. Real World Haskell Applications
  28. Ultimate Tic Tac Toe is always won by X
  29. Running Circle Packing in the Browser using Haste
  30. On taking the last n elements of a list
  31. Haskell and Debian talk at HaL8
  32. My first CTAN package: Typesetting Continued Equalities
  33. How to play Rock-Paper-Scissors online?
  34. The carbondioxide footprint of Debian's Haskell packages
  35. Evaluation-State Assertions in Haskell
  36. Going to FOSDEM after all
  37. “Haskell Bytes” again
  38. Brief an den KVV
  39. GHCi integration for GHC.HeapView
  40. Circle Packing
  41. Plätzchentetris
  42. Calculating the internal rate of return with hledger
  43. screen-message is now scriptable more easily
  44. Somewhere in Israel, someone printed 50 copies
  45. c't features Haskell
  46. Creating a Debian source package without unpacking the source
  47. Dennis Felsing’s thesis on ghc-vis submitted
  48. The mighty applicative left fold
  49. “Haskell Bytes”
  50. A copying garbage collector animated
  51. Mitschriebwiki endlich ohne Augenkrebs
  52. GPN12-Retrospektive
  53. Free Groups in Agda
  54. 10 years of using Debian
  55. ghc-heap-view: Complete referential opacity
  56. GHC 7.4.1 speeds up arbtt by a factor of 22
  57. Including full LaTeX documents in another LaTeX document
  58. c't features heisse-news
  59. First (academic) publication
  60. Guest lecture on Haskell performance
  61. Some late recognition of metainit
  62. Poetry in the problem class
  63. First contribution to a basic Haskell library
  64. Running GNOME 3 and noone will notice
  65. gtk-vector-screenshot featured in freiesMagazin
  66. Bildungssilo Uni?
  67. RÜBE - T-Shirts für Veganer
  68. Help wanted maintaining link-monitor-applet
  69. stm-stats published for factis research
  70. Yesod packaged for Debian
  71. Video des Lambda-Kalkül-Vortrags online
  72. Nicer URL formatting in LaTeX
  73. SAT-solving the testing transition problem
  74. Copying HTML from gnome-terminal
  75. A post card on detours
  76. gtk-vector-screenshot works with epiphany
  77. Flattr experiments
  78. gtk-vector-screenshot code published
  79. Better PDF screenshots with gtk 3
  80. 401 page family book published
  81. Satire on Gender Issues at IIT Bombay
  82. Conditional Elimination through Code Duplication
  83. Linux-Magazin-Programmierwettbewerb
  84. A talk on Church’s result about the Entscheidungsproblem
  85. Vizing’s theorem proved using Event-B and Rodin
  86. Spaziergang nach Süden
  87. Pornyness calculator pimped up
  88. The general triangle, formally
  89. Familiengerechte Arbeitsbedingungen
  90. Tor exit node shut down by server4you
  91. Nomen est Omen
  92. Goodbye server4you
  93. First day of GNUnify’11
  94. GNUnify started
  95. I’m going to talk at GNUnify 2011
  96. Ein paar Beobachtungen aus Indien
  97. A Mistake in Church’s Paper
  98. Haskell Demonstration at IIT Bombay
  99. Campusregeln
  100. Mein Alltag in Indien
  101. Erste Eindrücke aus Indien
  102. Going to IIT Bombay, Mumbai, India
  103. Giving up on the FreeRunner (again)
  104. Screenshots as vector graphics
  105. Student research project on Shivers’ control flow algorithm
  106. A Solution to the Configuration Problem in Haskell
  107. Haskell Hackathon in Gent
  108. Goodbye procmail, Hello Sieve
  109. Multi-Pointer Zaz
  110. ipatch on hackage
  111. ipatch, the interactive patch editor
  112. Protecting static content selectively by OpenID
  113. How forky may one maintain a Debian package?
  114. Kit-Card-Poster in der Mensa
  115. Free Groups Formalized
  116. nagstamon forklet necessary
  117. bluetile in Debian
  118. Making dictionary passing explicit in Haskell
  119. A mathematician’s status symbol
  120. zpub article in “Linux-Magazin”
  121. Ein Kulanz-Geschenk...
  122. libnss-gw-name: A stable name for your gateway
  123. Video of my CeBIT talk online
  124. kexec saved my day
  125. Talking at CeBIT tomorrow
  126. Teeth fashion
  127. Exploiting sharing in arbtt
  128. Diploma Thesis Finished
  129. If I were a caricaturist
  130. FontForge-Article in the German Linux-Magazin
  131. pidgin-blinklight goes subliminal
  132. Serna XML editor uploaded to Debian
  133. DebConf mugshots view statistics
  134. screen-message ported to Windows
  135. Building arbtt for Windows
  136. Die Photo-Kalender der Anderen
  137. Packaged unicode-screensaver properly
  138. Second Post!
  139. screen-message now in an online version
  140. arbtt now in Debian
  141. Parody Song: „College teacher“
  142. Darcs Hacking Sprint: Mission Complete
  143. Arrived at the Darcs hacking sprint
  144. Maxi-Max-Algorithm
  145. Parody song „Another year at university“
  146. Releasing zpub as Free Software
  147. Mimesweeper
  148. About the Freedoms of Web Services
  149. Parodielied „Cold Fingers“
  150. arbtt: Now with Documentation
  151. arbtt goes Binary
  152. Die Folgen der deutschen Einheit für Studenten
  153. Nicht-Fehler in „Inglorious Basterds“
  154. Freaking out with LaTeX
  155. The Automatic Rule-Based Time Tracker
  156. Already dead
  157. Ctrl-Alt-F1 in VirtualBox
  158. Stronger GPG key generated
  159. Rechtsfreie Räume im Internet gesucht?
  160. GPN8: 50% complete
  161. Introducing L-seed
  162. Bilderseite jetzt mit Tags
  163. Third place in AI programming contest
  164. Points of View
  165. Zensur und Rubbellose
  166. Buzz free
  167. Bejeweled AI in Haskell
  168. Parodielied „Das ist billig“
  169. Server updated to Lenny
  170. In a Letter to Ghana’s President
  171. Reliability testing for python-dbus applications
  172. Wilhelm Guttenberg auf Heisse News
  173. Openmoko User Meeting in Karlsruhe
  174. darcswatch uploaded to hackage
  175. Handling explicit and implicit recursion in Haskell data
  176. Familienversicherung und deutsche Rechtssprache
  177. MuMer relaunch – preview online
  178. 19 months of laptop battery data
  179. Good LaTeX Font Overview
  180. Linux Journal on the Neo FreeRunner
  181. My very first font
  182. 309 Runden
  183. Infinite loops in Haskell
  184. Heisse-News generalüberholt
  185. „Freiheit statt Angst“-Demo in Berlin
  186. Haskell work in Dresden
  187. Günstiger Webhoster mit eigenen VirtualHost-Einträgen?
  188. vm.overcommit_memory = 2, vm.overcommit_ratio = 0
  189. Debian on the FreeRunner
  190. Heisse News mit veraltetem Layout
  191. Xmonad on my mobile phone
  192. pam-dbus: authentication by bubbles
  193. Flow control with pam configuration
  194. One Week with an OpenMoko Freerunner
  195. Ich in KIT.intern
  196. GPN 7 Résumé
  197. Satirisches Poster in der Mensa
  198. My first OpenStreetMap Contribution
  199. FrakView: An Haskell Renderer for Iterated Function Systems
  200. Pausable IO actions for better GUI responsiveness
  201. Announcing DarcsWatch
  202. My stuff on YouTube
  203. Distance Map Morpher
  204. Neuer Supermarkt um die Ecke – für kurz
  205. How to make contour lines circles?
  206. The problem with turing complete editors
  207. Creative Week of Snowboarding
  208. Ways to fork privately
  209. How to fork privately?
  210. Stromausfall
  211. customdeb − easy modifications to binary Debian packages
  212. Children on sale
  213. Lebensqualitätsverlust
  214. Descendant tree drawing problem
  215. Ich bin strafverfolgungsbehördlich unbekannt
  216. Rückmeldung der Datenschutzbeauftragten
  217. Auskunft ersuchen!
  218. Formal und Formell
  219. Vor-Ort-Service im Wohnheim
  220. Haskell Hackathon almost over
  221. Haskell Hackathon: Hackage vs. Debian
  222. Call-a-Bike-Falle
  223. Die Vorteile des Überwachungsstaats
  224. Cron’s syslog messages
  225. Xen-Server-Sharing: The Setup
  226. Xen Server sharing started
  227. Comment-Feed für KA-Cliquen-Planet
  228. Haskell Syntax Gem
  229. Internet Trading Game Idea
  230. TTF-Glyph in pdflatex output
  231. Cliquen-Planet
  232. The trustworthy stranger
  233. Made it on bbspot
  234. sm – same fate as LaTeX?
  235. My own jabber server
  236. Werbung: nadel-adel.de
  237. Hausdorff immer nüchtern, Kolmogoroff nur manchmal
  238. Finding revoked signatures on a gpg key
  239. Shift-Caps-2
  240. screen-message uploaded to Debian
  241. DebCamp HalfTime
  242. Visualizer for Anagrams
  243. Arrived at DebConf7
  244. Going to DebConf 7
  245. Spontanious DHCP-Server: Done.
  246. Unicode against Smileys
  247. Wenzel bloggt jetzt auch
  248. Spontanious DHCP-Server
  249. gaim-thinklight → pidgin-blinklight
  250. XSA-Artikel jetzt online
  251. New parody song „Frequent Flyer“
  252. A shelf for darcs
  253. EC-Karte oder Kreditkarte
  254. Big Brother for your Window
  255. Gewerbe angemeldet
  256. Trains in the UK
  257. Debian Ideas: Instance-Capable Init Scripts
  258. My Debian Project Leader Vote
  259. A different Maybe maybe
  260. Document Archival Tool?
  261. News from the XaraLX front
  262. Die Rechtschreibprüfung weiß nix über mich!
  263. Linux’ flexibility
  264. SOSHGIC Reports
  265. Neue Heisse-News
  266. Du bist in einem entwickelten Land wenn…
  267. F(l)achinformatiker
  268. Free Software Volunteer wanted
  269. Zwei mal durch Ghana
  270. Stefan und die Waisen
  271. Mehr aus der Wortschatzkiste
  272. Aus der Wortschatzkiste
  273. New Kid on the Blog
  274. DeCaf taking on form
  275. Ghanesisches Weihnachtskonzert
  276. Geek Idiom
  277. No more Obroni Computer Club
  278. FourFours in Haskell
  279. A Developer’s GUI for Infon
  280. Personal Videocast Charts
  281. Podcastparade
  282. Tagesausflug nach Ada
  283. USBless in Africa
  284. Unicode Hack
  285. Linux Gaming Tournament
  286. Kofi-Annan Center for Excellence in ICT
  287. Infoning in Ghana
  288. Teaching Linux with Games
  289. graphing your gaim chat history
  290. Ghana-Rundtour-Bilder
  291. Voltasee und Mole-Natinalpark
  292. Building around Scamblocks
  293. Volta Region
  294. Giving up at SOSHGIC
  295. Turnkey Linux for Internet Cafés
  296. dpkg-statoverride halt
  297. xchat patch: GUI for autojoin setting
  298. openghana.org launched
  299. Don't let DWN die
  300. Typographische Anführungszeichen
  301. I'm responsible for reduced attention in a NY university
  302. African: Africa should stop blaming others
  303. latex-ucs
  304. My Software around the World
  305. Five Minutes about Free Software
  306. lkwiki wird MitschriebWiki
  307. Todesfall in der Schule
  308. Latexki, a Wiki for LaTeX in Haskell and Python
  309. Hosting PHP proven harmful
  310. Helsinki's Beschwerden
  311. Kwame Nkrumah
  312. World of Contrasts
  313. Straßenartisten in Accra
  314. Software Freedom Day 2006 in Accra
  315. "Privatschutz"
  316. My Name is jɔaχɪm
  317. BIOS vs Linux created Partition Table
  318. Meine Wohnung in Tema
  319. Afraid of the German Police
  320. Jugendarbeit in Ghana
  321. Free Software Club continues
  322. Ausflug zu den Shai Hills
  323. First Computer Club meeting
  324. Smart URLs
  325. 163 Accra
  326. Free Software Club in Tema, Ghana
  327. Brainfuck interpreter in Haskell
  328. Ein Afrikanischer Markt
  329. Millionär
  330. Koordinaten
  331. In Ghana angekommen
  332. Haskell on the Command Line
  333. RSS Feed für meine Bilder
  334. Bringing Free Software to Ghana
  335. GNU make instead of AxKit
  336. Hangman-AI in haskell
  337. Ein Jahr in Ghana
  338. Lenovos '4 Werktage'
  339. The BOFH song
  340. Ein Lied auf die Spamflut
  341. XSA-Article available online
  342. Deleting spam trackbacks
  343. little subversion helper script: svn-ignorer
  344. Design-Assimilation
  345. Ein neuer Blogger auf meinem Radar
  346. Vorlesungskommunikation
  347. RZ-Namens-Statistik
  348. Theatersport in Tübingen
  349. Haskell as a puzzle Solver
  350. KaLUG Party
  351. The law of -unknown-
  352. Debian Project Leader election
  353. Wanted: Code Deleter
  354. Analog Clock for Gnome, Take II
  355. Trennung mit Bugzilla-Nummer
  356. Grillsaison eröffnet
  357. Autobahn-WLAN
  358. Silencing my Slug
  359. Fixe Idee: Warfeu
  360. First Prelimary XaraLX debian package
  361. Got kicked from planet.debian.org
  362. Announcing the RiskRecorder
  363. Copyright infringement without Lawyers
  364. Werbung: fly-foto.de
  365. Analog Clock for the Gnome Panel
  366. Fixing my planet.debian.org subscription
  367. Rock die Burg
  368. On the right way - Meme Time
  369. Ubuntu ownz Utnubu - right from the start
  370. Sneak: Populärmusik från Vittula
  371. Blondinenwitz par excellence
  372. Bored? Try Geocamming
  373. Tad Williams’; Otherland - Part II
  374. Extended-range telepresence
  375. Harry Potter and the Goblet of Fire
  376. Lightweight Replacement for 111 lines of code
  377. Tapu goes live - ohne mich
  378. Schmiz' Katze im Jubez
  379. Evil Self-Irony
  380. International Journalism and me
  381. Sneak: Terkel i Knibe
  382. Nokia 77O
  383. Cell phone stolen, camera bought
  384. Mumer nimmt langsam Gestalt an
  385. Wallace und Gromit auf der Jagd nach dem Riesenkaninchen
  386. Mako Mako everywhere
  387. Clements Freiheitsrechte vs. Otto Schily
  388. Ken Follett: Das zweite Gedächtnis
  389. Bilder vom Autobrand und Balderschwang
  390. New Parody Song: “I'll be blogging it”
  391. In brennendem Auto durch die Gegend...
  392. Tapu - Taboo for the mobile phone
  393. Tad Williams' "Otherland"
  394. Don't come Knocking
  395. Visited Countries
  396. Parodielied "Hätt ich doch nur gelernt"
  397. Stiftung Wahlwerbespottest
  398. Broken Flowers
  399. Short Movie on "Trusted" Computing
  400. International Planet Debian
  401. 10000000000nm²
  402. Schwarz-Gelbe Regierung doch nicht mehr sooo sicher
  403. tor vs. spamcop.net
  404. Erste Schritte im Journalismus
  405. Mehr! Blogs! Hier!
  406. Ölreserven gegen Benzinpreise?
  407. Der trockene Humor des Supports
  408. Der verbotene Schlüssel
  409. Wahl-o-Maten
  410. Debian Quiz
  411. Good Bye Camera
  412. My Code in Pakistan
  413. Die Insel
  414. Charlie und die Schokoladenfabrik
  415. Zurück bei eBay
  416. Utnubu Paper Press Coverage
  417. Mundus Mercaturae
  418. Tastaturversuch für gescheitert erklärt
  419. Tag der deutschen Redefreiheit
  420. Neues Tastaturlayour Neo
  421. I am Linux Professional Institute Certified Something
  422. Blogosphäre wächst
  423. Home finally, but how!
  424. Last hour in Scandinaiva(?)
  425. Still alive...
  426. Sausages in the Sauna
  427. On the road again...
  428. Launchpad, Google and why Microsoft is not the problem
  429. Linux Ball / Utnubu
  430. gaim-thinklight uploaded to Debian
  431. 40 nackte Entwickler und russische Kanonen
  432. Like XSS, just simpler and harder to prevent: The Cross Site Auth (XSA) Attack
  433. DebConf Pictures and other stuff
  434. "Brightest Star"
  435. Bug Subscription Feature. Again.
  436. Played the Debian Boardgame
  437. Debian Bug Subscription Feature
  438. Debian Boardgame Rules available
  439. Announcing the Debian Developer Board Game
  440. Stockholm
  441. Bloggin from Berlin
  442. Insterburger Waldlauf
  443. Took part in the MIT survey, too
  444. Two new parody songs
  445. I'll get one of those N770s!
  446. Got my Tickets to Helsinki
  447. heisse-news von heise geduldet
  448. Created gaim-thinklight
  449. Wir vom Amt sind modern!
  450. LinuxTag Part III
  451. LinuxTag Part II
  452. Blogging with Nokia 770
  453. LinuxTag Part I
  454. Turned down Non-Free programming project
  455. Not that old, but close
  456. Kein "San Andreas" für mich
  457. Another Post, this time with gnome-blog
  458. Post mit Drivel
  459. Anhalter, wir kommen
  460. Nearly won the “Debian Release Date Bet”
  461. Debian Sarge Released
  462. Hab jetzt auch ein Blog