ninesigns's comments

ninesigns | 5 years ago | on: Cambridge Bitcoin Electricity Consumption Index

It's worth noting that current bitcoin capitalization ($600B) is also more than Argentina GDP ($445B), so it can be said that bitcoin users constitute a rather significant (bit)nation on this planet.

ninesigns | 5 years ago | on: I Still Use RSS

I want to point out excellent koreader[1] program for e-readers, that features RSS client. So you connect, fetch your articles and start reading without distractions.

For such use cases RSS is god-send and I am glad that substack and many blogs do support that.

[1] https://github.com/koreader/koreader

ninesigns | 7 years ago | on: Why Julia

I wish Julia would be more strict wrt type coercion of integer to float values.

I've once spent a day debugging the issue caused by the following line of code, where t1, t2 are floats and v is an array:

d = (t2 - t1) * length(v)

It should've been LinearAlgebra.norm():Float instead of length():Int. Had julia been stricter the code would have failed to run, saving me much time.

ninesigns | 8 years ago | on: Lispers

AFAIK Haskell doesn't support metaprogramming. Perhaps you mean "Template Haskell"?

ninesigns | 9 years ago | on: TOX – A New Kind of Instant Messaging

Could someone please write a summary on what has changed in Tox project over last year?

ninesigns | 9 years ago | on: TOX – A New Kind of Instant Messaging

Not so much on mobile phones.

ninesigns | 9 years ago | on: TOX – A New Kind of Instant Messaging

That's from wire terms of usage: http://dump.bitcheese.net/images/nexikud/wire.jpg

ninesigns | 9 years ago | on: TOX – A New Kind of Instant Messaging

https://en.wikipedia.org/wiki/Signal_(software)

ninesigns | 9 years ago | on: TOX – A New Kind of Instant Messaging

I did this once and ended up with corrupted profile.

ninesigns | 9 years ago | on: Introduction to Functional Programming in OCaml

Re: last part

Idris programming language has "Uniqueness types" [1], that are inspired by Clean and Rust.

There is also an interesting talk [2] where Idris author discusses state/side-effects management.

[1] http://docs.idris-lang.org/en/latest/reference/uniqueness-ty...

[2] https://www.youtube.com/watch?v=kpPyolN65s0