Hacker News new | ask | show | jobs
user: sternenseemann
created: 2014-07-14
karma: 37

submissions:

0 points | 0 comments
Remind(1) – a sophisticated reminder service
2 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Isabelle2016 released – Generic proof assistant
1 points | 0 comments
Announcing a new set of high-level SDL2 bindings
1 points | 0 comments
Combining Rust and Haskell
1 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Show HN: Go's defer in Haskell
3 points | 0 comments
Spotlight does appear to send live keystrokes to Apple
1 points | 0 comments
USB armory – a open hardware flash drive sized computer
4 points | 0 comments
Manfred Memorial Moon Mission (4M)
1 points | 0 comments
0 points | 0 comments
Show HN: Sternenblog – a file based blog written in C
2 points | 0 comments
A Python Script Controlled via Twitter
2 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Data Central – Tools for generating portable data portals
2 points | 0 comments