| user: | subtenante |
| created: | February 19, 2010 |
| karma: | 140 |
| 1. | From Kafka to ZeroMQ for real-time log aggregation (2015)(tomasz.janczuk.org) |
| 2. | |
| 3. | Three Tricks to Make Termination Obvious(gallais.github.io) |
| 4. | Idris 1.1.0 released(idris-lang.org) |
| 5. | |
| 6. | Idris 0.99.2 Released(idris-lang.org) |
| 7. | 9 years ago | discuss |
| 8. | A “proof by contradiction” is not a proof that ends with a contradiction(existentialtype.wordpress.com) |
| 9. | EEL Tidal Energy Converter(eel-energy.fr) |