sternenseemann | Dark Hacker News

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