Viewing profile — thelambentonion

> 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 ti…

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.c…

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 appl…

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 r…

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_…

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 r…

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 a…

> 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…

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 th…

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 particula…

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…

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 mo…

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 (ge…

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 adv…

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 microkern…

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 w…

> 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 o…

> "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 peopl…

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…

> ...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…

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 at…