|
|
| 1. | | From Kafka to ZeroMQ for real-time log aggregation (2015) (janczuk.org) | | 2 points by subtenante on Nov 9, 2017 | past | |
| 2. | | Ask HN: Which message broker do you use, and why? | | 5 points by subtenante on Nov 9, 2017 | past | 3 comments | |
| 3. | | Three Tricks to Make Termination Obvious (gallais.github.io) | | 1 point by subtenante on Aug 1, 2017 | past | |
| 4. | | Idris 1.1.0 released (idris-lang.org) | | 2 points by subtenante on Aug 1, 2017 | past | |
| 5. | | R and Haskell: best of both worlds with HaskellR (tweag.io) | | 1 point by subtenante on July 18, 2017 | past | |
| 6. | | Idris 0.99.2 Released (idris-lang.org) | | 1 point by subtenante on March 29, 2017 | past | |
| 7. | | A “proof by contradiction” is not a proof that ends with a contradiction (existentialtype.wordpress.com) | | 2 points by subtenante on March 8, 2017 | past | |
| 8. | | EEL Tidal Energy Converter (eel-energy.fr) | | 2 points by subtenante on Sept 11, 2016 | past | |
| 9. | | ESLint, a pluggable JSHint alternative (nczonline.net) | | 2 points by subtenante on July 16, 2013 | past | |
| 10. | | Show HN : Org-Mode parsing in Javascript (project stalled) (github.com/subtenante) | | 1 point by subtenante on June 28, 2012 | past | 1 comment | |
| 11. | | JFuncTest, small Java functional testing framework (hypomnema.net) | | 1 point by subtenante on Feb 19, 2010 | past | |
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
