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