kibwen

25 ms·

571.
by kibwen 8mo ago
Seconded, thirded, fourthed. I spend a lot of time thinking about how laws, in practice, are not actually intended to be perfectly enforced, and not even in the usual selective-enforcement way, just in the pragmatic sense.
572.
by kibwen 8mo ago
Supporting single-ownership in a language doesn't mean you can't have opt-in copyability and/or multiple-ownership. This is how Rust already works, and is independent of the borrow checker. If we consider a Rust-like language
573.
by kibwen 8mo ago
Single-ownership ("affine types") is a separate concept from a borrow checker. Your language doesn't need a borrow checker (or references at all) to benefit from single-ownership, though it may make some patterns more conveni
574.
by kibwen 8mo ago
> And having used it in rust, I wish more languages had something like that. Same. I'm at the point where I feel like copy-by-default semantics are one of the ancient original sins of programming languages. Single-ownership is so,
575.
by kibwen 8mo ago
Rust existed nearly entirely on paper until 2009, when Mozilla started funding researchers to work on it full-time. It wasn't announced in any sort of official capacity until 2010, and had no official numbered release until 2012. It wa
576.
by kibwen 8mo ago
In a lot of cases, we could argue that ISAs have been shackled by catering to the specific details of C. But if we're just referring to the CALL instruction (and its equivalents), that's not a reaction to C, it's a reaction t
577.
by kibwen 8mo ago
So the other way around works too, right? I can fire off an email to a noreply address at any given company, call it "Terms Of The Serviced", and that represents a binding contract into which I can insert arbitrary obligations at
578.
by kibwen 8mo ago
> The vast majority of rust programs don’t need such validation. The vast majority of Rust programs would benefit from such validation existing in the language, even if they never bother to explicitly leverage it themselves. For exampl
579.
by kibwen 8mo ago
> You can do basically the same thing with stackfull coroutines. It's clear that you don't understand the use cases that async in Rust was designed to accommodate. > Also the ecosystem is setup so you have to use tokio an
580.
by kibwen 8mo ago
> I honestly just don't believe that Rust is more complex to onboard to compared to languages like Python. Most people conflate "complexity" and "difficulty". Rust is a less complex language than Python (yes, i
581.
by kibwen 8mo ago
> I genuinely struggled to follow the concepts in this article I read the HN comments before I read the OP, which made me worry that the post was going to be some hifalutin type wonkiness. But instead the post is basically completely m
582.
by kibwen 8mo ago
Enterprise customers don't buy plausible code, they buy the promise of plausible code as sold by the hucksters in the sales department.
583.
by kibwen 8mo ago
No, the energy revolution in question is renewables, specifically solar plus batteries. In no sense has any European embrace of renewables (to the extent that it exists (or does not exist)) in any given country pushed them further towards R
584.
by kibwen 8mo ago
If the US refuses to participate in the energy revolution, then it'll be a Russia-tier power within a generation.
585.
by kibwen 8mo ago
No, that's insufficient. Yes, corporations that cause the most warming will need to be curtailed if we're to survive. But those corporations are in the act externalizing costs. Once you force them to internalize those costs, the v
586.
by kibwen 8mo ago
Github proudly boasts an industry-leading seven 9s of uptime. 49.999999%
587.
by kibwen 8mo ago
It doesn't matter how high quality, convenient, or light they are, as long as wearing glasses isn't inherently cool, normal people aren't going to choose to wear them.
588.
by kibwen 8mo ago
Doubt. Apple doesn't see hardware sales as a primary revenue driver, rather they're a rent-seeking company that makes money by being the iron-fisted middleman for the app store. They don't see any benefit from user freedom if
589.
by kibwen 8mo ago
This isn't a new thing. Ancient stories like the Iliad or the Odyssey are discreetly historical records of a particular region mixed in with mythological foundations of a particular culture, but framed as the stories of Achilles (&quot
590.
by kibwen 8mo ago
Taking the death date into account is literally already how prevailing copyright law works. You can just make it conditional on publish date.
591.
by kibwen 8mo ago
It's not a vocab problem. It's inherent to the human brain, which appears to be fundamentally designed to prefer to view the world in terms of stories, with heroes, villains, and a narrative arc.
592.
by kibwen 8mo ago
Microsoft products are only free if your time has no value.
593.
by kibwen 8mo ago
Depends on the bike. On some bikes the motor is mounted in the rear wheel, in which case there's no gear between the motor and the wheel. On other bikes the motor is mounted between the pedals and sent to the rear via the chain, in whi
594.
by kibwen 8mo ago
> would the same thing not have happened with the rise of high level languages? Any argument that attempts to frame LLMs as analogous to compilers is too flawed to bother pursuing. It's not that compilers are deterministic (an LLM
595.
by kibwen 8mo ago
I suggest that the forbidden breakfast is tantamount to an eggs benedict, but with the hollandaise sauce replaced by a roux.
596.
by kibwen 8mo ago
All slop comes from humans. Some of that slop just happens to be humans operating LLMs.
597.
by kibwen 8mo ago
Not just the IPO. Being public at all subjects you to the perverse and destructive incentive of needing to maximize shareholder value. Just because some private companies take VC funding (and subject themselves to analogous forces) doesn&#x
598.
by kibwen 8mo ago
Couching a non-sequitur in Latin does not an argument make. By all means, have the courage to make an actual statement.
599.
by kibwen 8mo ago
> The last significant online C community was the one that gave us the pro-user products in the first place. You mean the OSI, headed by famous C hacker Eric S. Raymond, the permissive-license rebellion against the GPL? Pretending that
600.
by kibwen 8mo ago
> This isn't the first time I've heard the "we'll change the std lib later" logic. I'm not sure what this is referring to, but surely it's not referring to Rust. Adding things to the stdlib is way eas

More ›