Identi.ca Identi.ca
  • Login
  • Public

    • Public
    • Groups
    • Featured
    • Popular

Jaap Boender (semprini)

  1. Jaap Boender Jaap Boender

    Ah, #freebsd has a new version of png in ports. This seems like a good moment to go buy groceries...#couldtakeawhile

    about 11 hours ago from Choqok
  2. Jaap Boender Jaap Boender

    Book just in "Et si la France avait continué la guerre" pt 2: France continues WW2 from N Africa. Wishful thinking, perhaps, but great fun!

    about a day ago from Choqok
  3. Jaap Boender Jaap Boender

    Important theorem proving tip: do not assume bugs in prover where user stupidity is involved. This saves a lot of time.

    about a day ago from Choqok
  4. Jaap Boender Jaap Boender

    Scientific progress today is hindered by constant leakage out of my nose. #snirf

    about 2 days ago from Choqok
  5. Jaap Boender Jaap Boender

    Het regent, het regent, de pannetjes worden nat...#ploink

    about 2 days ago from web
  6. Jaap Boender Jaap Boender

    Combination of wordreference's conjugator and Konqueror's shortcuts is amazing. No more Italian conjugation errors in the future! (I hope)

    about 3 days ago from Choqok
  7. Jaap Boender Jaap Boender

    Off to the Netherlands to have a walk, meet friends and family, and kick the Germans out of Mother Russia. на Родину!

    about 10 days ago from Choqok
  8. Jaap Boender Jaap Boender

    Spending my entire day correcting off-by-one bugs, and replacing < by ≤ and vice versa. Ah yes, the glory of science...

    about 11 days ago from Choqok
  9. Jaap Boender Jaap Boender Stefano Zacchiroli

    @zack Yeah - maybe I could pretend to be an Italian painter and name myself after my hometown, that should do the trick...

    about 16 days ago from Choqok in context
  10. Jaap Boender Jaap Boender

    Food for thought: is my name unpronounceable enough to become a famous Dutch computer scientist? (De Bruijn, Dijkstra, Barendregt...) #hmmm

    about 17 days ago from Choqok in context
  11. Jaap Boender Jaap Boender

    Theorem proving and the dancing procession of Echternach: there are parallels. Also walking in a desert.

    about 17 days ago from Choqok
  12. Jaap Boender Jaap Boender

    Trias politica, iemand? http://ur1.ca/991o1 #zucht

    about 17 days ago from Choqok
  13. Jaap Boender Jaap Boender

    Oh dear, I'm calling my lemmas 'blerp' and 'blorp' again... #punchy

    about 17 days ago from Choqok
  14. Jaap Boender Jaap Boender

    "Timeo Danaos et electiones facentes."

    about 18 days ago from Choqok
  15. Jaap Boender Jaap Boender

    A language that contains the word "Einstellungsvoraussetzungen" cannot be anything but awesome. #deutschmachtspaß

    about 19 days ago from Choqok
  16. Jaap Boender Jaap Boender

    And then BWV 565 is on the radio and suddenly even our quiet and peaceful university office feels like a horror movie... #scaryorgan

    about 19 days ago from Choqok
  17. Jaap Boender Jaap Boender

    http://ur1.ca/989a3 #boter #hoofd #pot #ketel #zwart #balk #splinter #zonderzonde #steen

    about 21 days ago from web
  18. Jaap Boender Jaap Boender

    Hey, this malmsey stuff isn't half bad! If I ever get condemned to death, I might do a Clarence...

    about 22 days ago from web
  19. Jaap Boender Jaap Boender

    "Merkollande". Glad to see we're taking politics seriously again... #sigh

    about 22 days ago from Choqok
  20. Jaap Boender Jaap Boender

    Listening to a gypsy jazz version of the Marseillaise - somehow I think this would be less successful with the Wilhelmus... #ploink

    about 24 days ago from Choqok
  • Before

User actions

  • Subscribe
  • List
Jaap Boender

Jaap Boender

Bologna, Italy

http://www.kerguelen.org

So, yeah.

Tags
  • (None)

Site notice

  • API
  • Status

Following 4

  • mustard mustard
  • Gerdriaan Mulder mrngm
  • Stefano Zacchiroli zack
  • Identi.ca microblogging service identica

Followers 9

  • Nikki Lundberg nikkilundberg
  • Martin Broerse broerse
  • Joleen Foret joleenforet
  • Enoch hexlightflashlight
  • Gerdriaan Mulder mrngm
  • Andrea Tavazzani harrison3001
  • IRILL irill
  • Stefano Zacchiroli zack

Groups 0

    (None)

    Statistics

    User ID
    378378
    Member since
    8 Feb 2011
    Notices
    214
    Daily average
    0

    Feeds

    • Activity Streams
    • RSS 1.0
    • RSS 2.0
    • Atom
    • FOAF
    • Help
    • About
    • FAQ
    • TOS
    • Privacy
    • Source
    • Version
    • Contact

    Identi.ca is a microblogging service brought to you by Status.net. It runs the StatusNet microblogging software, version 1.1.0-alpha1, available under the GNU Affero General Public License.

    Creative Commons Attribution 3.0 All Identi.ca content and data are available under the Creative Commons Attribution 3.0 license.

    Switch to mobile site layout.

    Built in Montreal