Viewing profile — piano

> because you simply are stating that exponential processes are going to continue. Exponential process continuing doesn't imply "we're going to get there soon" in any way, shape or…

> Well, the alternative is to learn an actual dozen of language I would say that this is actually almost always preferable, for two reasons: 1. I believe it's generally good for pr…

> - Pure functions: these allow you to statically guarantee that a piece of code doesn't perform any IO and is a completely deterministic function of its inputs. Is this actually t…

> but I prefer Go's culture much more To me, Go culture is very arrogant, so much in fact that it almost reminds me of some Lispers of old. Unfortunately similar thing can be said …

> Go is designed to do concurrency via message passing, not shared memory. ... and yet experienced gophers will criticize newcomer's code for using channels too much and they will …

> This article deals with "big picture" aspects Read: It's a rant and/or PR.

> Suppose Bob's codebase has a structure implA that implements interface A, and you want to use in terms of its interface. If the language requires Bob to declare implA as an imple…

> The thing I love about Go is its fundamental clarity. It's very upfront and literal. I find it easy to understand what is happening in any particular bit of code. When reading Go…

Yup, and besides, Go has the unsafe ( https://golang.org/pkg/unsafe/ ) package, which allows for basically the same sort of unsafety as Rust's unsafe. In fact, I would say Rust is …

You don't describe what you actually want or consider 'sane'. But the answer is probably "There's no such thing" anyway, unless you're looking for Rust, which you probably aren't.

> The number of stars on GitHub is significant because most people whose opinion you’d care about are on GitHub, they wouldn’t star project that they were not interested in and the…

In languages with termination analysis and dependent types, the source code _is_ the proof and it's verified by the compiler. Basically when such a program compiles, it's proved to…

> Sure, you can’t in the general abstract case, but my exact point is that you can do this in practice, for programs which we actually write. No, it can't be done with testing even…

> The previous poster is correct. Software cannot be proven to be bug-free. Yes, it can, that's what the whole formally verified software branch is about. Of course, even with form…

I never said people didn't like Spotify or Slack. In fact, I said the exact opposite. Please read the comment properly and try to understand, don't just skim checking for "the righ…

The thing about Electron - and the thing that Electron fanboys either don't realize or don't care - is that with Electron, the company/vendor wins at the expense of users, who have…

They really should cut the middle man. What surprised me reading that wiki page is that apparently the metric system was opposed in the US based on religious reasons . That is mind…

> Hey can you give what is the rationale behind the JS hate? JS has its overhead in terms of data and, more severly, performance. Many people tend to put unecessary JS stuff like c…

> It's always been surprising to me that their isn't a built in "undo" to `rm` Have a look at either the `trash-cli` package by Andrea Francia.

> But people need to feel productive quickly with a language, otherwise they'll drop it and move to something else which makes them feel that way. Yes, I agree, but that's not the …

> In Rust, if I want to write a similar thing, a HPACK decoder that returns both `io::Error` and `HPACK::DecodeError` for example, I need come up with another `Result` type that wr…

> This attitude is fine for personal projects, but it does not scale when working with other people. True, but the same is true of Go, which may be surprising to people. Despite it…

This is the n-th time I'm reading a suggestion to help Venezuela using Bitcoin/cryptocurrencies. I wonder whoever came up with this and whether there's any save reasoning behind it…

> Consider, however, that you are a computer scientist in 2012 that has been working in the field of image recognition using hand written algorthms for 20 years. You are the best i…

I use a terminal text editor when I'm doing something in the terminal, need to do a quick edit and don't want to have to switch away from the terminal into a GUI editor. For me tha…