kibwen

10 ms·

1.
by kibwen 3d ago
But `panic!()` is just a macro invocation that needs to expand to something, and the question here is what that something ought to be in order to produce a valid program. Currently it expands to this: https://github.com/rust
2.
by kibwen 3d ago
I wouldn't say they got it wrong exactly. Uninhabited types aren't equivalent to unit types, but in terms of Rust they're both classified as zero-size, and I suspect they were just pointing out that Rust has optimized and spe
3.
by kibwen 4d ago
None of this has anything bad to say about coercion or fallback, it's a consequence of the fact that Rust is an expression-oriented language which had expressions (like `loop {}`) which logically evaluated to the never type when in ret
4.
by kibwen 4d ago
And then once you have `fn foo<T>() -> T`, what do you write in the body that allows it to typecheck?
5.
by kibwen 4d ago
I'm unclear what this is implying, but in Rust the never type is uninhabited. https://doc.rust-lang.org/reference/items/enumerations.html#...
6.
by kibwen 4d ago
Let's avoid using the term "subtyping", which as you say is irrelevant here. The reason you need diverging functions to satisfy arbitrary type obligations (i.e. to coerce to any other type) is because otherwise anything as si
7.
by kibwen 4d ago
Do you have some specific coercion in mind that you want to forbid? Unlike C, Rust is extremely tame when it comes to coercions. Forbidding coercions in general in Rust code doesn't really make sense, and I can't think of any that
8.
by kibwen 4d ago
The exclamation point is also used both as the C-style negation operator and as the identifier suffix that indicates macro invocations, so it was unlikely that it would have been used for any new feature. As my sibling comment notes, this s
9.
by kibwen 4d ago
> Is it obvious to rust developers that "!" would be the never type? Prior to this change most Rust developers would never have cause to ever use `!` for any reason. The only stable way to do so would be to specify the quote-
10.
by kibwen 4d ago
The compiler does everything that the language spec allows it to get away with. The language spec itself is a communication protocol between users and compilers, and that includes the definition of the abstract machine.
11.
by kibwen 5d ago
There will be no curiosity, no enjoyment of the process of life. All competing pleasures will be destroyed. But always—do not forget this, timcobb—always there will be the intoxication of power, constantly increasing and constantly growing
12.
by kibwen 5d ago
Why's it hard to believe? Look around you at how belligerently foolish, irrational, inefficient, dysfunctional, and confidently wrong every large organization acts. Marketing departments confidently report that their marketing campaign
13.
by kibwen 5d ago
"ChatGPT, use the stylometry that you've developed via hoovering up the history of every internet post ever written to divine the true identity of Satoshi and dispatch men with $5 wrenches to his home address."
14.
by kibwen 6d ago
Rust's raison d'être is to improve the confidence of the security-critical parts of your system. You don't need to rewrite all 30M lines of code to benefit from it, you just need to identify the 1% of your codebase with the g
15.
by kibwen 7d ago
"More painful" is just being used to mean "explicit", and being explicit rather than implicit about intention is absolutely a PL theory concept, e.g. the whole difference between static and dynamic typing, or strong typi
16.
by kibwen 8d ago
The article only lists 3 criteria, not 4, but if you're referring to the final one: "3. The change may require a change to all functions in the stack." That's a potential feature of effect systems. An effect generally
17.
by kibwen 8d ago
"Function colors" are just effect systems, which are not a new concept while also being extremely useful and super nifty. I hope someday we can stop wringing our hands in a panic over "colored functions" just because som
18.
by kibwen 11d ago
> Does it mean that? When the US government funded SpaceX, it was motivated in no small degree by a desire to not be permanently reliant on a geopolitical wildcard (Russia) for getting astronauts into orbit. Now that the US itself has
19.
by kibwen 12d ago
It's not that simple. If a single random comment were enough to cause the agents to stop leveraging this technique against any specific site, then a single deliberately false comment naming the sites that they're actually using wo
20.
by kibwen 12d ago
Energy density alone is a misleading metric, because what matters is how much energy actually gets delivered to the drive mechanism. It's actually not that hard to beat gasoline, because despite its excellent energy density, gasoline e
21.
by kibwen 14d ago
I think that the incident itself is a stunt, even if it may not have originally been a deliberate choice on OpenAI's part. Never let a good crisis go to waste.
22.
by kibwen 14d ago
Your first instinct should be to assume that anything released voluntarily by these companies is a stunt to boost their valuation. They haven't demonstrated being deserving of any more charitable treatment. This fact remains true wheth
23.
by kibwen 14d ago
> Of course a drone swarm is not part of the proletariat, the same way a rifle is not part of the proletariat. A drone swarm is a tool in the hands of humans that belong to or are in service of a certain social class. Every rifle takes
24.
by kibwen 14d ago
You seem to think that the pertinent property of being a "pet" is living a life of comfort. The pertinent property of a pet is that they are owned, and they live and die at the whim of their master. Do you think that what makes sl
25.
by kibwen 14d ago
> There are other ways to estimate the number of active users The point of telemetry is not to estimate the number of active users, and focusing on "telemetry" is the wrong bogeyman. Things like crash reports are telemetry, a
26.
by kibwen 14d ago
> Or google decides to suspend it while you're on the toilet? If anyone at Google is reading this, please answer urgently, my legs are starting to go numb.
27.
by kibwen 14d ago
If you truly believe that being pets is something humans ought to aspire to, there's no point in continuing this conversation.
28.
by kibwen 14d ago
In other words, people don't revolt, warlords revolt. Warlords in control of weapons which are decreasingly reliant on humans and increasingly reliant on remote and autonomous technologies. A drone swarm is not "the proletariat in
29.
by kibwen 16d ago
Trustbusting is like weeding your garden. It's just a chore that must be done periodically to counteract the natural tendency of markets to degenerate into monopolies. It's not something you do once and then never again, it's
30.
by kibwen 16d ago
Whether or not something is the last customer is irrelevant for the purposes of this discussion. Horses had an economic role, and the economy catered to them in turn. Once they became economically irrelevant, the money that horses wielded--

More ›