Viewing profile — habitue

Exact match on a typo brings up a submission with that typo, which is likely low quality

[flagged]

I'm no Musk fanboy but I think this kind of maximally cynical take is tiresome. They thought it would work, they expended significant engineering effort and money making it real an…

I am confused about why Gary Marcus thinks it's so obvious that Claude isn't conscious. As he points out, Dawkins is just taking a bog-standard behaviorist position: that he can't …

The first edition is expensive. The current edition is ~$90 for a full color hardcover (expensive but not ruinius if you really want it)

Sometimes, in the interest of having something rather than nothing, I have to press publish. This entails getting things wrong, which is regrettable. I will say, that I'm trying to…

This is an interesting distinction, but it ignores the reasons software engineers do that. First, hardware engineers are dealing with the same laws of physics every time. Materials…

This just doesn't explain things by itself. It doesn't explain why humans would care about reasoning in the first place. It's like explaining all life as parasitic while ignoring w…

...and will also have a deeper understanding of the problem that will help solving other problems down the line?

Skills wont use less context once invoked, the point is that MCP in particular frontloads a bunch of stuff into your context on the entire api surface area. So even if it doesn't i…

These kinds of tools should be standard in understanding code

Pylon ( https://pylonlending.com ) | ONSITE Menlo Park, CA What Stripe did for payments, Pylon is doing for the mortgage industry: We're taking a sleepy industry with backward tech…

I mean, bcachefs is basically the equivalent of rewriting all that code, without explicitly trying to be a clone. Same for btrfs

I think Co-* is probably better, though more obscure I guess

We did this at stripe when deprecating TLS 1.0, and called it a brown out (I don't know the origin of the term in software). You do it when you have a bunch of automated integratio…

There has to be adverse selection here from the amount of money being offered right? Like ok, very few people could turn it down, but it's not going to result in a motivated team. …

Maybe chess was wrong, it's adversarial. But there's definitely a qualitative leap between "adversary withing defined rules in a particular context" and "anything is on the table, …

I mean C89 has no support, it's not getting an update or a bugfix, the standard is what it is. So if vendor support is your overriding concern, you should be constantly updating yo…

Started watching, but "C89 is the safe option for long lived software" kind of turned me off. There are plenty of safe long lived stable languages out there where you dont have to …

> Symbols, by definition, only represent a thing. This is missing the lesson of the Yoneda Lemma: symbols are uniquely identified by their relationships with other symbols. If thos…

> by encoding more and more responsibility in the type system, you're just pushing your business logic to a different language Yes, this is 100% correct. Type systems are just anot…

Basically, this article is saying "modelling your domain logic in a type system is hard" and suggests wimping out. Just get good! Your job as a programmer is to think through the d…

Pylon ( https://pylonlending.com ) | ONSITE Menlo Park / San Francisco, CA What Stripe did for payments, Pylon is doing for the mortgage industry: We're taking a sleepy industry wi…