> and his comment history only adds to the doubt for others following along: the comment history is mostly talking about how software engineering is dead because AI is real this time with a few diversions to fixate on…
China absolutely extends its jurisdiction to anywhere it thinks it can get away with it. cf. https://www.wsj.com/articles/famous-rich-powerful-missing-15... https://foreignpolicy.com/2018/03/29/the-disappeared-china-r...
Emphatically yes; Musk being the current head of Tesla and SpaceX has been the defining characteristic in preventing me from seeking work at either company. I'd be sending out applications to both if he announced his…
I'd really like to see something happen in Grand Rapids to help put it on the tech job map. My brief time working there was a _ton_ of fun, and I really hope that I'll be able to return at some point, either as a remote…
Not GP, but a listing of groups using PostgREST in production can be found here: https://postgrest.com/en/v4.1/intro.html#in-production
As a quick aside, your source also advocates for free-market healthcare and rejects national healthcare legislation and Medicare under the guise of individual choice. It has _also_ published such gems as "The Scientific…
Shotwell's response is in the best interests of her company, but SpaceX is (as well as Boeing) woefully behind on a reasonable timeline to reach human-rated flight for both their rocket and crew module. We should have…
Launch Abort is a system that should _never_ have to be activated. If you use Launch Abort, the series of failures preceding it was so catastrophic that you had no alternative to avoid loss of life.
> having a slow and stable industry base that favors backwards compatibility, stability and performance I feel as if GHC addresses backwards compatibility and stability fairly well with new language features being gated…
Big planes have an order of magnitude lower complexity than a rocket of the Falcon 9's caliber. That's a somewhat subjective statement, I'm sure, but even if it weren't the case there's so much variation between each…
Expanding on this a bit, the concept that Hoogle embodies is extremely powerful and I wish it were more widely available in other languages. In Haskell's case, due to the particulars of the type system, something like…
IMO, PureScript has some very interesting advantages in comparison to other functional languages targeting JavaScript. It has a very strong type system, a compiler that can produce optimized and human readable…
The software on these planes is written by software engineering companies. This is less of an issue of hardware manufacturers doing software wrong, and more of an issue with how monumentally complex, high assurance…
Two potential counter-examples to your productive software claim: Opaleye [0], an Arrow-based [1] DSL for Postgres SQL that allows the user to create type-safe, composable, and (generally) optimally fast SQL queries.…
I'd say they have very large advertising budgets for a fairly bad reason: advertisers for the most part throw shit at the wall to see what sticks. There's some science, but the advertising here is a perfect example that…
Regarding secure software, there are at least some efforts to make writing formally verified software more approachable. The seL4 project has produced a formally verified microkernel, open sourced along with end-to-end…
https://github.com/TheBB/spaceline/blob/master/README.org Scroll down for nyan mode, if you don't mind using an external package. :)
Ah yes; I sold out not-too-long-ago to go work in commercial software :) I suppose it might be worth it to keep including the disclaimer, as it'a possible I may be biased in some way that I'm not consciously aware of.…
> The AMA, and even that specific question was all about the engineering challenges... Re: that specific question, I may just have a different view of what constitutes a question on engineering challenges. That AMA is…
> "The radiation thing is often brought up, but I think it’s not too big of a deal" AFAIK no one else within the community would think of saying that. I'm sure that there are people within SpaceX studying this and…
I personally don't think that I have a lack of understanding of what Musk has claimed or SpaceX has demonstrated, and I'm incredibly skeptical of their ability to safely deliver on their promises within his proposed…
> ...the radiation exposure during flight which would be the worse is equivalent to smoking for two years and dropping it... Please provide a citation for this. As far as I'm aware, we simply have no idea the kinds of…
I'd encourage everyone reading the AMA to take a lot of what Musk is saying with a grain of salt. The Interplanetary Transport System (ITS) is a wildly ambitious project that is attempting to accomplish more things in a…
I would say that the leaders of the most powerful nations on Earth are a little more grounded in reality than Musk in this regard. Glass domes and underground Martian tunnels make for some very interesting science…
Servant is still _very_ rough around the edges, imo. I like it a lot for mocking APIs [0], but I'd be wary about using it in production for anything other than a small service. Right now I'm keeping an eye on…
> and his comment history only adds to the doubt for others following along: the comment history is mostly talking about how software engineering is dead because AI is real this time with a few diversions to fixate on…
China absolutely extends its jurisdiction to anywhere it thinks it can get away with it. cf. https://www.wsj.com/articles/famous-rich-powerful-missing-15... https://foreignpolicy.com/2018/03/29/the-disappeared-china-r...
Emphatically yes; Musk being the current head of Tesla and SpaceX has been the defining characteristic in preventing me from seeking work at either company. I'd be sending out applications to both if he announced his…
I'd really like to see something happen in Grand Rapids to help put it on the tech job map. My brief time working there was a _ton_ of fun, and I really hope that I'll be able to return at some point, either as a remote…
Not GP, but a listing of groups using PostgREST in production can be found here: https://postgrest.com/en/v4.1/intro.html#in-production
As a quick aside, your source also advocates for free-market healthcare and rejects national healthcare legislation and Medicare under the guise of individual choice. It has _also_ published such gems as "The Scientific…
Shotwell's response is in the best interests of her company, but SpaceX is (as well as Boeing) woefully behind on a reasonable timeline to reach human-rated flight for both their rocket and crew module. We should have…
Launch Abort is a system that should _never_ have to be activated. If you use Launch Abort, the series of failures preceding it was so catastrophic that you had no alternative to avoid loss of life.
> having a slow and stable industry base that favors backwards compatibility, stability and performance I feel as if GHC addresses backwards compatibility and stability fairly well with new language features being gated…
Big planes have an order of magnitude lower complexity than a rocket of the Falcon 9's caliber. That's a somewhat subjective statement, I'm sure, but even if it weren't the case there's so much variation between each…
Expanding on this a bit, the concept that Hoogle embodies is extremely powerful and I wish it were more widely available in other languages. In Haskell's case, due to the particulars of the type system, something like…
IMO, PureScript has some very interesting advantages in comparison to other functional languages targeting JavaScript. It has a very strong type system, a compiler that can produce optimized and human readable…
The software on these planes is written by software engineering companies. This is less of an issue of hardware manufacturers doing software wrong, and more of an issue with how monumentally complex, high assurance…
Two potential counter-examples to your productive software claim: Opaleye [0], an Arrow-based [1] DSL for Postgres SQL that allows the user to create type-safe, composable, and (generally) optimally fast SQL queries.…
I'd say they have very large advertising budgets for a fairly bad reason: advertisers for the most part throw shit at the wall to see what sticks. There's some science, but the advertising here is a perfect example that…
Regarding secure software, there are at least some efforts to make writing formally verified software more approachable. The seL4 project has produced a formally verified microkernel, open sourced along with end-to-end…
https://github.com/TheBB/spaceline/blob/master/README.org Scroll down for nyan mode, if you don't mind using an external package. :)
Ah yes; I sold out not-too-long-ago to go work in commercial software :) I suppose it might be worth it to keep including the disclaimer, as it'a possible I may be biased in some way that I'm not consciously aware of.…
> The AMA, and even that specific question was all about the engineering challenges... Re: that specific question, I may just have a different view of what constitutes a question on engineering challenges. That AMA is…
> "The radiation thing is often brought up, but I think it’s not too big of a deal" AFAIK no one else within the community would think of saying that. I'm sure that there are people within SpaceX studying this and…
I personally don't think that I have a lack of understanding of what Musk has claimed or SpaceX has demonstrated, and I'm incredibly skeptical of their ability to safely deliver on their promises within his proposed…
> ...the radiation exposure during flight which would be the worse is equivalent to smoking for two years and dropping it... Please provide a citation for this. As far as I'm aware, we simply have no idea the kinds of…
I'd encourage everyone reading the AMA to take a lot of what Musk is saying with a grain of salt. The Interplanetary Transport System (ITS) is a wildly ambitious project that is attempting to accomplish more things in a…
I would say that the leaders of the most powerful nations on Earth are a little more grounded in reality than Musk in this regard. Glass domes and underground Martian tunnels make for some very interesting science…
Servant is still _very_ rough around the edges, imo. I like it a lot for mocking APIs [0], but I'd be wary about using it in production for anything other than a small service. Right now I'm keeping an eye on…