thelambentonion

6 ms·

1.
by thelambentonion 1y ago
> 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 how overpriced univ
2.
by thelambentonion 7y ago
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/2
3.
by thelambentonion 8y ago
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 departure (or even
4.
by thelambentonion 9y ago
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 worker or
5.
by thelambentonion 9y ago
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
6.
by thelambentonion 10y ago
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 Case against th
7.
by thelambentonion 10y ago
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 learned from both
8.
by thelambentonion 10y ago
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.
9.
by thelambentonion 10y ago
> 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 by language pragm
10.
by thelambentonion 10y ago
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 eac
11.
by thelambentonion 10y ago
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 Hoogle is _relati
12.
by thelambentonion 10y ago
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 JavaScript, and dead simple FF
13.
by thelambentonion 10y ago
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 systems are currently imp
14.
by thelambentonion 10y ago
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. Halogen [2], a type-saf
15.
by thelambentonion 10y ago
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 many peopl
16.
by thelambentonion 10y ago
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 proofs of correctness
17.
by thelambentonion 10y ago
https://github.com/TheBB/spaceline/blob/master/README.org Scroll down for nyan mode, if you don't mind using an external package. :)
18.
by thelambentonion 10y ago
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. Although it
19.
by thelambentonion 10y ago
> 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 of exceptional cali
20.
by thelambentonion 10y ago
> "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 taking i
21.
by thelambentonion 10y ago
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 timeline. I&#x
22.
by thelambentonion 10y ago
> ...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 effects that r
23.
by thelambentonion 10y ago
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 shorter period
24.
by thelambentonion 10y ago
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 fiction, but I'm conc
25.
by thelambentonion 10y ago
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 servant-auth [1] and
26.
by thelambentonion 10y ago
Having just started a project in Swift due to some limitations with 'native' JS frameworks, I can honestly say I have _no_ idea why someone would use anything else unless they had a burning need for code reuse with Android.[0] The
27.
by thelambentonion 10y ago
> Math should be motivated by science and modeling, otherwise it's just an exercise in diddling numbers. I like a lot of what you said, but I do disagree with that point. Immediate application of mathematical concepts may be gratify
28.
by thelambentonion 10y ago
It depends on what the language developers are after, I suppose. Haskell's actually not that new [1], and its goal has been to both act both as an academic language for pushing the boundaries of CS research and as a foundation for more
29.
by thelambentonion 10y ago
I actually had a conversation about this earlier today, but overall I don't think I mind a whole lot. Chasing the next popular bit of research 10 years in advance is a bit of a fool's errand, so the best you can do is follow along
30.
by thelambentonion 10y ago
With the caveat that I don't really know what the next hot thing is going to be [1], I've found dependently typed programming to be particularly interesting (Idris being one of the more practical implementations) [2]. The Glasgow

More ›