habitue

9 ms·

1.
by habitue 16d ago
You kind of need to be more specific about what you mean by sovereign. Federal pre-emption exists[0]. There are lots of ways in which the federal government can enforce their will (constitutionally!) on states. But it's super complicat
2.
by habitue 2mo ago
Exact match on a typo brings up a submission with that typo, which is likely low quality
3.
by habitue 3mo ago
[flagged]
4.
by habitue 4mo ago
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 and producing it and selling it to customers. The simpl
5.
by habitue 5mo ago
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 distinguish Claude from a conscious being jus
6.
Free software is more valuable now(publish.obsidian.md)
2 points by habitue 7mo ago|1 comments
7.
by habitue 7mo ago
The first edition is expensive. The current edition is ~$90 for a full color hardcover (expensive but not ruinius if you really want it)
8.
by habitue 7mo ago
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 steelman the code-as-assembly POV, and I dont think th
9.
Spec driven development doesn't work if you're too confused to write the spec(publish.obsidian.md)
32 points by habitue 7mo ago|7 comments
10.
by habitue 10mo ago
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 have known properties etc. Software: there are few laws of
11.
by habitue 11mo ago
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 where the hosts get their energy from. Think a
12.
by habitue 11mo ago
...and will also have a deeper understanding of the problem that will help solving other problems down the line?
13.
by habitue 11mo ago
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 invoke the mcp, it's costing you. That's why
14.
by habitue 11mo ago
These kinds of tools should be standard in understanding code
15.
by habitue 1y ago
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 technology and re-building the stack from the gro
16.
by habitue 1y ago
I mean, bcachefs is basically the equivalent of rewriting all that code, without explicitly trying to be a clone. Same for btrfs
17.
by habitue 1y ago
I think Co-* is probably better, though more obscure I guess
18.
by habitue 1y ago
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 integrations with you and you have to break them. The lights aren
19.
by habitue 1y ago
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. I am imagining all these overpaid founders etc just sit
20.
by habitue 1y ago
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, they could kill you etc." kind
21.
by habitue 1y ago
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 your software to LTS versions. I meant support in terms o
22.
by habitue 1y ago
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 manually manipulate memory. At the very least, thi
23.
by habitue 1y ago
> 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 those relationships are represented in text, then in principl
24.
by habitue 1y ago
> 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 another language > The same propensity for human erro
25.
by habitue 1y ago
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 domain logic, find the right abstractions to repres
26.
by habitue 1y ago
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 with backward technology and re-building t
27.
by habitue 1y ago
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 with backward technology and re-building the sta
28.
by habitue 1y ago
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 technology and re-building the stack from the gro
29.
Maintenance Schedules(publish.obsidian.md)
2 points by habitue 1y ago|0 comments
30.
by habitue 1y ago
Continue to be happy to have deleted windows from all my computers, including for gaming. There are issues with closed source OSs in general, but microsoft has continually shown that they make bad decisions and just aren't trustworthy.

More ›