Schlagwort: Programmieren

git push.

Magic command that lets you work from home tomorrow. Just in case it might rain, you know...

Forest Freedom.

[...] and when you've spent too much time quietly thinking you'll need to go chop wood, or haul water, or jump in the river to cool off, depending on the season.

Joey Hess

Da(y)t(im)e.

My favorite time of the each day is m:d.

But you probably knew that already.

Understanding Research.

Most papers in computer science describe how their author learned what someone else already knew.

Peter Landin

Expected type Target, found Foot.

Informally, though, safe languages can be defined as ones that make it impossible to shoot yourself in the foot while programming.

Benjamin C. Pierce: Types and Programming Languages