Viewing profile — andreaferretti

What about noise cancelling earphones? They should allow to listen to music much less loud - any adverse effect is known?

Apparently, according to all the discussion following James Damore being fired, even USA have problems accepting the ideal of free speech fully. I am not sure that Germany is any m…

You may want to try Nim. It is an imperative language with meta programming capabilities, some functional features and an effect system

Unrelated, but please remember that not everyone here is a native English speaker. It is hard to make head or tails of your comment with all these abbreviations

I think the actual reason why it failed was that it was not Ubuntu at all. When I got mine, I expected to be able to apt-get install everything. The form factor may have been wrong…

Nim has pretty decent interop with C++. In general, though, you are right that C is much much easier to interop with

How is Rust type system helpful? If the codegen produces valid Rust, the Rust type system will not give errors. If it doesn't, I'd say it is a bug of the higher level language - an…

It's not that writing a GC is impossible - of course it is doable. The issue is that objects written in this hypothetical language will always make use of the GC because they do no…

In fact, as a compilation target, one wants a language with a lax semantics, not a strict one. This is (one of the reasons) why so many languages compile to C, instead of - say - t…

I was tricked by "A thousand pictures on the kitchen floor, Talked about a hundred years or more."

Hi antirez, I think we just have two opposing views about what constitutes simplicity. I agree that Redis has the rare advantage that one can understand a command at a time, and th…

Can anyone explain the sexual reference? I am not a native English speaker

I think Nim would be ideal for that kind of applications, in particular neural networks stuff. But definitely we are not there yet. I try to explain my reasons in this blog post: h…

But this is not at all what you said in the parent post. You said "Rust is in a category of performance that GC languages never reach in practice". This is not a claim about safety…

How does it work exactly? Both languages check things at compile time, but of course in c++ the length has to be known statically. Does idris generate code at runtime for the right…

This is exactly the use case I ran into most often, and I have designed a small library precisely to do these computations without touching the DOM. If you want to have a look, it …

Yeah, the graph chart is buggy, and advertised as such. I have been wanting to improve that for a while, but I did not find the time yet...:-(

Thank you for the feedback! Actually, the whole point of the library is to generate shape information based on data, and the actual rendering is left to the user. So the demo is le…

Also, Nim would be a good fit for those domains. Macros and custom operators allow one to write dsl for numeric and scientific programming, and you have complete control over memor…

I happen to find sbt one of the few build tools (together with lein) that are decent enough. Do you have any particular reason for your dislike?

For those who want to try it in a more modern context, there is this recent port of spitbol patterns for Nim: https://github.com/Henry/Nimbol

Yeah, I never noticed this particular reference, not knowing the poem itself

I guess that apart from the "Divina Commedia", it could be "L'infinito" by Giacomo Leopardi. But "If" is pretty well-known, as well as many things by Shakespeare

I may be ignorant, but I find weird that this is reported as the most famous poem of the 20th century in America, and possibly the world. In fact, I had never heard about it at all…

Done, thanks