subtenante

Recent Submissions

1. 1. ▲ From Kafka to ZeroMQ for real-time log aggregation (2015) (tomasz.janczuk.org) 2 points · 8 years ago · 0 comments
2. 2. ▲ Ask HN: Which message broker do you use, and why? 5 points · 8 years ago · 3 comments
3. 3. ▲ Three Tricks to Make Termination Obvious (gallais.github.io) 1 point · 8 years ago · 0 comments
4. 4. ▲ Idris 1.1.0 released (idris-lang.org) 2 points · 8 years ago · 0 comments
5. 5. ▲ R and Haskell: best of both worlds with HaskellR (tweag.io) 1 point · 8 years ago · 0 comments
6. 6. ▲ Idris 0.99.2 Released (idris-lang.org) 1 point · 8 years ago · 0 comments
7. 7. ▲ A “proof by contradiction” is not a proof that ends with a contradiction (existentialtype.wordpress.com) 2 points · 8 years ago · 0 comments
8. 8. ▲ EEL Tidal Energy Converter (eel-energy.fr) 2 points · 9 years ago · 0 comments