raichoo.blogspot.com
MOVED TO: raichoo.github.io: August 2011
http://raichoo.blogspot.com/2011_08_01_archive.html
MOVED TO: raichoo.github.io. Mittwoch, 24. August 2011. More Fun with Scala "Dependent" Types. In my last post. I wrote about lists that encode their length within their type and the possibilities that gives us to ensure correctness of our code. In this post I want to expand these ideas. To make this happen we first need boolean values in the type system to represent that a proposition is actually true and we need to be able to negate them. Type constraint which witnesses that two types are equal. Now th...
blog.tshw.de
Vorträge @ TSHW.de
http://blog.tshw.de/vortraege
Eine Internetseite ganz ohne Slogan…. Im Laufe meines Studiums und auch einiger Aktivitäten abseits davon habe ich in den vergangenen Jahren den einen oder anderen Vortrag gehalten. In der Hoffnung, dass damit vielleicht noch jemand etwas anfangen kann, und natürlich auch als Archiv für mich stelle ich diese hier in unregelmäßigen Abständen zusammen:. Vortrag über meine Master-Arbeit „Computational Analysis of Methylome Sequencing Data“. Vortrag im Rahmen eines Seminars über „Metagenomics“. Lord of Chaos...
blog.tshw.de
TSHW.de – Privates Blog über Bücher, Filme, Webtechnik und den wirren Alltag
http://blog.tshw.de/library/robert-jordan/the-path-of-daggers-the-wheel-of-time-book-8
Eine Internetseite ganz ohne Slogan…. Larr; Back to library. The Path of Daggers (The Wheel of Time, Book 8). You can view this book's Amazon detail page here. Für dieses Buch habe ich noch keine Rezension geschrieben. Till Helge Helwig ist ein Bioinformatiker (Master of Science) aus Dresden, der derzeit in Berlin lebt und arbeitet. Hier schreibt er über seinen Alltag, Bücher, Filme, Webtechnik und was ihn sonst noch beschäftigt. (mehr.). Winter’s Heart (The Wheel of Time, Book 9). Die Achse des Guten.
blog.tshw.de
TSHW.de – Privates Blog über Bücher, Filme, Webtechnik und den wirren Alltag
http://blog.tshw.de/library/joshua-bloch/effective-java-2nd-edition
Eine Internetseite ganz ohne Slogan…. Larr; Back to library. Effective Java (2nd Edition). You can view this book's Amazon detail page here. Für dieses Buch habe ich noch keine Rezension geschrieben. Till Helge Helwig ist ein Bioinformatiker (Master of Science) aus Dresden, der derzeit in Berlin lebt und arbeitet. Hier schreibt er über seinen Alltag, Bücher, Filme, Webtechnik und was ihn sonst noch beschäftigt. (mehr.). Winter’s Heart (The Wheel of Time, Book 9). Lord of Chaos (The Wheel of Time, Book 6).
blog.tshw.de
TSHW.de – Privates Blog über Bücher, Filme, Webtechnik und den wirren Alltag
http://blog.tshw.de/library/robert-jordan/the-dragon-reborn-the-wheel-of-time-book-3
Eine Internetseite ganz ohne Slogan…. Larr; Back to library. The Dragon Reborn (The Wheel of Time, Book 3). You can view this book's Amazon detail page here. Für dieses Buch habe ich noch keine Rezension geschrieben. Till Helge Helwig ist ein Bioinformatiker (Master of Science) aus Dresden, der derzeit in Berlin lebt und arbeitet. Hier schreibt er über seinen Alltag, Bücher, Filme, Webtechnik und was ihn sonst noch beschäftigt. (mehr.). Winter’s Heart (The Wheel of Time, Book 9). Raquo; In die Bibliothek.
blog.tshw.de
TSHW.de – Privates Blog über Bücher, Filme, Webtechnik und den wirren Alltag
http://blog.tshw.de/library/robert-jordan/the-fires-of-heaven-the-wheel-of-time-book-5
Eine Internetseite ganz ohne Slogan…. Larr; Back to library. The Fires of Heaven (The Wheel of Time, Book 5). You can view this book's Amazon detail page here. Für dieses Buch habe ich noch keine Rezension geschrieben. Till Helge Helwig ist ein Bioinformatiker (Master of Science) aus Dresden, der derzeit in Berlin lebt und arbeitet. Hier schreibt er über seinen Alltag, Bücher, Filme, Webtechnik und was ihn sonst noch beschäftigt. (mehr.). Winter’s Heart (The Wheel of Time, Book 9). Die Achse des Guten.
blog.tshw.de
Impressum @ TSHW.de
http://blog.tshw.de/impressum
Eine Internetseite ganz ohne Slogan…. Der Verantwortliche für alle Seiten des TSHW gemäß 6 Teledienstgesetz und 10 Medienstaatsvertrag ist:. Um mich zu erreichen, gibt es diverse Möglichkeiten:. Zur Realisierung dieser Internetseite kommt freie Software und frei verfügbare künstlerische Werke zum Einsatz. Dafür ein dickes Dankeschön an:. Team für eine sensationell gute Blog-Software. Team für eine bewundernswert einfache Photo-Galerie. Für sein herrliches Now-Reading WordPress-Plugin. Die gespeicherten D...
blog.tshw.de
TSHW.de – Privates Blog über Bücher, Filme, Webtechnik und den wirren Alltag
http://blog.tshw.de/library/robert-jordan/a-crown-of-swords-the-wheel-of-time-book-7
Eine Internetseite ganz ohne Slogan…. Larr; Back to library. A Crown of Swords (The Wheel of Time, Book 7). You can view this book's Amazon detail page here. Für dieses Buch habe ich noch keine Rezension geschrieben. Till Helge Helwig ist ein Bioinformatiker (Master of Science) aus Dresden, der derzeit in Berlin lebt und arbeitet. Hier schreibt er über seinen Alltag, Bücher, Filme, Webtechnik und was ihn sonst noch beschäftigt. (mehr.). Winter’s Heart (The Wheel of Time, Book 9). Raquo; In die Bibliothek.
blog.tshw.de
Curriculum vitae @ TSHW.de
http://blog.tshw.de/curriculum-vitae
Eine Internetseite ganz ohne Slogan…. Vor einigen Jahren für den Deutschunterricht im Gymnasium entstanden und dann weitergeschrieben, damit es auch ein Lebenslauf bleibt. In die Welt geworfen. Natur, Schönheit, Ruhe. Noch heute meide ich. Und des Lärms,. Um nicht zu vergessen,. Herausgerissen aus der Stille,. Gebracht an einen fremden Ort. Neue, fremde Menschen,. Großstadtlärm in den Ohren. Auf die Probe gestellt. Die Trennung vom Gewohnten. Und im weltweiten Netzwerk. Den Abschluss geschafft,. Till Hel...