sternenseemann

37 karmajoined July 14, 2014On HN

Recent submissions

Remind(1) – a sophisticated reminder service linux.die.net
2sternenseemann10ydiscuss
Isabelle2016 released – Generic proof assistant isabelle.in.tum.de
1sternenseemann10ydiscuss
Announcing a new set of high-level SDL2 bindings ocharles.org.uk
1sternenseemann10ydiscuss
Combining Rust and Haskell tab.snarc.org
1sternenseemann10ydiscuss
Show HN: Go's defer in Haskell lukasepple.de
3sternenseemann11ydiscuss
Spotlight does appear to send live keystrokes to Apple twitter.com
1sternenseemann11ydiscuss
USB armory – a open hardware flash drive sized computer inversepath.com
4sternenseemann11ydiscuss
Manfred Memorial Moon Mission (4M)moon.luxspace.lu
1sternenseemann11ydiscuss
Show HN: Sternenblog – a file based blog written in C github.com/lukasepple
2sternenseemann12ydiscuss
A Python Script Controlled via Twitter zulko.github.io
2sternenseemann12ydiscuss
Data Central – Tools for generating portable data portals github.com/centraldedados
2sternenseemann12ydiscuss

All submissions and comments on Hacker News.