User Profile

avatar for kirjoittaessani

kirjoittaessani

kirjoittaessani@wyrms.de

Joined 1 year, 10 months ago

Physicist turned sysadmin, father, orienteer, Go player. kirjoittaessani.de Formal verification with SPARK.

Halber Ostfriese, aufgewachsen im Rheinland, wohnt jetzt ganz im Süden vom Norden

Follow on Fediverse

This link opens in a pop-up window

kirjoittaessani's books

To Read (View all 33)

J.R.R. Tolkien: Taru Sormusten Herrasta (Hardcover, Finnish language, 2000, WSOY)
Kenneth Kunen: Set Theory (Paperback, 2011, College Publications)
No cover

Royce Buckingham: Die Karte der Welt (Paperback, German language, 2013, Blanvalet)

Currently Reading (View all 5)

Thomas A. Limoncelli, Christina J. Hogan, Strata R. Chalup: The Practice of System and Network Administration: Volume 1: DevOps and other Best Practices for Enterprise IT (3rd Edition) (2016, Addison-Wesley Professional)
Max Golem: Proverbs (The Handbook Series) (Nihon Ki-In Handbook) (Paperback, 1999, Yutopian Enterprises)
Luke Humphrey: Hansons Marathon Method (2012, VeloPress)

Read (View all 604)

Der Spiegelplanet (Hardcover)
Noson S. Yanofsky: The Outer Limits of Reason: What Science, Mathematics, and Logic Cannot Tell Us (2013)
Roger Leloup: La Fille du vent (French language, 1989)

User Activity

RSS feed Back