> 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 form. The desired goal can still be…
> 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 programmers to know multiple languages,…
> - 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 true? As far as I know D's pure isn'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 about Rust. However, in Rust, most of…
> 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 tell you you need to use traditional…
> 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 implementation of A, you have to persuade…
> 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 codebase I'm not familiar with, I'm…
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 typically more safe than Go, because in…
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 there aren’t widespread fake accounts. I…
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 be correct according to the…
> 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 for practical everyday programs,…
> 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 formally verified software, there can be…
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 right" opinion.
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 to put up with their "application". No…
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-boggling.
> 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 full picture. People want a language in…
> 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 wraps both errors. This can sometime be…
> 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 its claims, Go didn't solve this problem.…
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 or if it's just a cryptonerd fantasy.…
> 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 in your field, highly respected. Your…
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 that's typically commit messages and…
It's not just the interface{} thing that's annoying. From my point of view, Go has way to many annoyances to be decent. No constness. No protection against copying. No compiler warnings. Crap error handling.…
> 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 form. The desired goal can still be…
> 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 programmers to know multiple languages,…
> - 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 true? As far as I know D's pure isn'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 about Rust. However, in Rust, most of…
> 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 tell you you need to use traditional…
> 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 implementation of A, you have to persuade…
> 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 codebase I'm not familiar with, I'm…
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 typically more safe than Go, because in…
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 there aren’t widespread fake accounts. I…
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 be correct according to the…
> 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 for practical everyday programs,…
> 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 formally verified software, there can be…
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 right" opinion.
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 to put up with their "application". No…
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-boggling.
> 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 full picture. People want a language in…
> 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 wraps both errors. This can sometime be…
> 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 its claims, Go didn't solve this problem.…
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 or if it's just a cryptonerd fantasy.…
> 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 in your field, highly respected. Your…
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 that's typically commit messages and…
It's not just the interface{} thing that's annoying. From my point of view, Go has way to many annoyances to be decent. No constness. No protection against copying. No compiler warnings. Crap error handling.…