8 years ago|discuss
user: subtenante
140 karma | created 16 years ago
recent submissions
From Kafka to ZeroMQ for real-time log aggregation (2015)
(tomasz.janczuk.org)
2 pts|8 years ago|discuss
5 pts|8 years ago|3 comments
Three Tricks to Make Termination Obvious
(gallais.github.io)
1 pts|8 years ago|discuss
Idris 1.1.0 released
(idris-lang.org)
2 pts|8 years ago|discuss
1 pts|8 years ago|discuss
8 years ago|discuss
8 years ago|discuss
8 years ago|discuss
Idris 0.99.2 Released
(idris-lang.org)
1 pts|9 years ago|discuss
9 years ago|discuss
9 years ago|discuss
A “proof by contradiction” is not a proof that ends with a contradiction
(existentialtype.wordpress.com)
2 pts|9 years ago|discuss
9 years ago|discuss
9 years ago|discuss
9 years ago|discuss
9 years ago|discuss
9 years ago|discuss
9 years ago|discuss
9 years ago|discuss