Schlagwort: Programmieren

Birthday DEMOnstration.

  • 2015-04-18

Download: PDF or Source Code

Finding Cheryl's birthday with DEMO

Thanks to all HeroInes who save my world regularly.

  • 2015-03-08

But we pretty much never explore the idea of strong female characters that save the world by being feminine, empathetic, and caring.

sailor mercury: Coding Like a Girl

Vertrauen ist gut.

  • 2015-03-02

Formal methods are often classified as irrelevant and/or impracticable by practitioners. This is not true: we found and fixed a bug in a piece of software that is used by billions of users every single day. Finding and fixing this bug without a formal analysis and the help of a verification tool is next to impossible, as our analysis showed. It has been around for years in a core library routine of Java and Python. Earlier occurrences of the underlying bug were supposedly fixed, but actually only made its occurrence less likely.

Stijn de Gouw, Jurriaan Rot, Frank S. de Boer, Richard Bubel and Reiner Hähnle: Proving that Android’s, Java’s and Python’s sorting algorithm is broken (and showing how to fix it)

Real Magic.

  • 2015-02-27

RealWorld is deeply magical. It is primitive, but it is not unlifted (hence ptrArg). We never manipulate values of type RealWorld; it's only used in the type system, to parameterise State#.

GHC.Prim documentation

Feature of the Past.

  • 2015-01-20

I'm overloaded with more tasks than I should be doing at this time and I'm going to keep only the more important tasks.

The Apollo 11 computer, programmed by Margaret Hamilton