Y Hacker News new | ask | show | jobs

user: subtenante created: 2010-02-19 karma: 140 submissions: 0 points | 0 comments From Kafka to ZeroMQ for real-time log aggregation (2015) 2 points | 0 comments Ask HN: Which message broker do you use, and why? 5 points | 3 comments Three Tricks to Make Termination Obvious 1 points | 0 comments Idris 1.1.0 released 2 points | 0 comments R and Haskell: best of both worlds with HaskellR 1 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments Idris 0.99.2 Released 1 points | 0 comments 0 points | 0 comments A “proof by contradiction” is not a proof that ends with a contradiction 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments EEL Tidal Energy Converter 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments