Skip to content

Top Best Ask Show New Jobs

subtenante | Better HN

subtenante

140 karmaJoined February 19, 201070 submissions

Recent submissions

1

From Kafka to ZeroMQ for real-time log aggregation (2015) (opens in new tab)

(tomasz.janczuk.org)

2subtenante8y ago0

2

Ask HN: Which message broker do you use, and why?

5subtenante8y ago3

3

Three Tricks to Make Termination Obvious (opens in new tab)

(gallais.github.io)

1subtenante8y ago0

4

Idris 1.1.0 released (opens in new tab)

(idris-lang.org)

2subtenante8y ago0

5

R and Haskell: best of both worlds with HaskellR (opens in new tab)

(tweag.io)

1subtenante8y ago0

6

Idris 0.99.2 Released (opens in new tab)

(idris-lang.org)

1subtenante9y ago0

7

A “proof by contradiction” is not a proof that ends with a contradiction (opens in new tab)

(existentialtype.wordpress.com)

2subtenante9y ago0

8

EEL Tidal Energy Converter (opens in new tab)

(eel-energy.fr)

2subtenante9y ago0

9

ESLint, a pluggable JSHint alternative (opens in new tab)

(nczonline.net)

2subtenante12y ago0