lmm

12 ms·

271.
by lmm 6mo ago
If engineering ability actually became cheaper you would want more of it, as ideas that were previously too marginal became worthwhile.
272.
by lmm 6mo ago
In practice all use of AI rapidly becomes vibe coding. Even if someone says they're going to carefully manually review everything that's generated, within a couple of days they get bored and just click approve.
273.
by lmm 6mo ago
> From my experience having used Haskell (a long time ago), the main benefit of Monads is the `do` and <- syntax. Once you got your thing to satisfy the Monad interface, you unlocked the nice syntax for writing code. Nah, I don't
274.
by lmm 6mo ago
On the contrary, every monadic effect is a side effect. It's just that what exactly that means is specific to the monad in question.
275.
by lmm 6mo ago
Very few languages let you write a function that works for both Option and for other not particularly related monadic types (e.g. Future), while being fully typesafe, which is what I'd call "having monads".
276.
by lmm 6mo ago
I think of this kind of thing whenever HN commenters complain about how some TODO app is using 300Mb of memory or has 700 dependencies.
277.
by lmm 6mo ago
> Sooner or later some sort of complaint to the relevant trade authority should happen - this is a scam operation at this point. I'm sure both people left at that trade authority will get right on with investigating.
278.
by lmm 6mo ago
> Like, I will never splurge for curbside bag check. That doesn't make it a plutocratic privilege. Doesn't it? It feels like it to me, like that $70 coffee with gold flakes that was doing the rounds a year or two back - sure, i
279.
by lmm 6mo ago
Cultural change in large organisations is hard to impossible. Like most hardware manufacturers, AMD culturally does not value software and never has. I've said before that it's not at all strange that AMD's drivers suck, the
280.
by lmm 6mo ago
> Foo<T> where for<‘a> T: Bar<‘a, baz(): Send> But there's literally none of that in the example we're talking about. It's just an inert datatype declaration. And if anything the Zig version is more abs
281.
by lmm 6mo ago
I find that pretty repetitive, but more, having to reason about branching control flow adds a lot of mental overhead that I'd rather spend on my business logic.
282.
by lmm 6mo ago
> They don’t fly regularly Right, which is why it makes no sense for them to pay extra to get to the airport slightly faster. (They might splurge $200 occasionally to get home from a late night out or something, but this isn't servi
283.
by lmm 6mo ago
Here's my effort: https://m50d.github.io/2013/01/16/generic-contexts
284.
by lmm 6mo ago
> Option<T> is trivial. But Tuple<N>? Parameterizing a struct by layout, AoS vs SoA? Compile time state machines? Parser generators? Serialization? These are likely where Zig would shine compared to the others. I don't s
285.
by lmm 6mo ago
You can't just put assignment in a functional language though - you lose the ability to fearlessly refactor that's the whole point. You either need something like a stratified language (which I've never seen actually implemen
286.
by lmm 6mo ago
Funny how every other developed country manages to build more infrastructure cheaper despite having stronger unions and stricter regulations.
287.
by lmm 6mo ago
> Helipads are cheaper to build and site than train stations Is that still true once you control for capacity? A modern single-line station is handling, what, 150 people alighting every 2.5 minutes? How many helipads would you need to ma
288.
by lmm 6mo ago
Citation needed. Perhaps they took the buses because everyday life was so much more boring then.
289.
by lmm 6mo ago
Needs (2022), in particular for this part: > Now more than forty years later, an India-based travel operator Adventures Overland announced a bus service from New Delhi to London and back, covering 20,000 km and travelling through 18 coun
290.
by lmm 6mo ago
> They are an ad-funded moonshot R&D incubator, searching only for billion dollar lightning strikes. No, they're an ad company that funds a small moonshot R&D incubator to ethicalwash them. If the moonshots work that's
291.
by lmm 6mo ago
> If a senior, experienced, contributor vouches for the code it shouldn't matter if they hand crafted it on stone tablets, generated it with yarrow sticks, or used gpt-3. The flip side of that is that if such a contributor vouches f
292.
by lmm 6mo ago
Landing/recovering aircraft on an airship is proven technology, and hooking a tether onto something as it falls through a buoyant atmosphere is quite possibly easier than stopping a rocket precisely at ground level where any screwup wi
293.
by lmm 6mo ago
A compilation failure is even more obvious.
294.
by lmm 6mo ago
> There's no question about whether other people have internal states. I can show someone a piece of information in such a way that only they see it and then ask them to prove that they know it such that I can be certain to an arbit
295.
by lmm 6mo ago
Sure, but that only matters if default-initialising to NaN significantly reduces them compared to the alternatives. IME it takes a very finely calibrated level of thoughtfulness for your argument in https://news.ycombinator.com&#
296.
by lmm 6mo ago
All large-scale projects are made of mediocre parts. At some point you run out of brilliance and have to structure it so that mediocre can still be a positive contribution.
297.
by lmm 6mo ago
> It's not a different claim, it's the same claim. The reason humans are able to introspect is because they have that internal state. > No. Humans can tell a story that's informed by introspection, while LLMs can only t
298.
by lmm 6mo ago
> I didn't talk about subjective experience, just about internal state. There's no question about whether other people have internal states. I can show someone a piece of information in such a way that only they see it and then
299.
by lmm 6mo ago
They have more sponsors/clients so a single company changing direction wouldn't kill them. They also sell directly if you want to buy from them. But ultimately the risk still exists.
300.
by lmm 6mo ago
Yep. This is NaN as a billion dollar mistake all over again.

More ›