|
|
| 1. | | Remind(1) – a sophisticated reminder service (die.net) | | 2 points by sternenseemann on Aug 26, 2016 | past | |
| 2. | | Isabelle2016 released – Generic proof assistant (tum.de) | | 1 point by sternenseemann on March 17, 2016 | past | |
| 3. | | Announcing a new set of high-level SDL2 bindings (ocharles.org.uk) | | 1 point by sternenseemann on Oct 3, 2015 | past | |
| 4. | | Combining Rust and Haskell (snarc.org) | | 1 point by sternenseemann on Oct 3, 2015 | past | |
| 5. | | Show HN: Go's defer in Haskell (lukasepple.de) | | 3 points by sternenseemann on March 4, 2015 | past | |
| 6. | | Spotlight does appear to send live keystrokes to Apple (twitter.com/landonfuller) | | 1 point by sternenseemann on Oct 18, 2014 | past | |
| 7. | | USB armory – a open hardware flash drive sized computer (inversepath.com) | | 4 points by sternenseemann on Oct 3, 2014 | past | |
| 8. | | Manfred Memorial Moon Mission (4M) (luxspace.lu) | | 1 point by sternenseemann on Sept 26, 2014 | past | |
| 9. | | Show HN: Sternenblog – a file based blog written in C (github.com/lukasepple) | | 2 points by sternenseemann on Aug 9, 2014 | past | |
| 10. | | A Python Script Controlled via Twitter (zulko.github.io) | | 2 points by sternenseemann on July 27, 2014 | past | |
| 11. | | Data Central – Tools for generating portable data portals (github.com/centraldedados) | | 2 points by sternenseemann on July 16, 2014 | past | |
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
