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.
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…
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) *…
AFAIK Haskell doesn't support metaprogramming. Perhaps you mean "Template Haskell"?
Could someone please write a summary on what has changed in Tox project over last year?
Not so much on mobile phones.
That's from wire terms of usage: http://dump.bitcheese.net/images/nexikud/wire.jpg
https://en.wikipedia.org/wiki/Signal_(software)
I did this once and ended up with corrupted profile.
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]…
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.
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…
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) *…
AFAIK Haskell doesn't support metaprogramming. Perhaps you mean "Template Haskell"?
Could someone please write a summary on what has changed in Tox project over last year?
Not so much on mobile phones.
That's from wire terms of usage: http://dump.bitcheese.net/images/nexikud/wire.jpg
https://en.wikipedia.org/wiki/Signal_(software)
I did this once and ended up with corrupted profile.
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]…