9rx

44 ms·

661.
by 9rx 9mo ago
Wales/Welsh doesn’t jive under the conditions set. Perhaps you missed "non-trivial percentage"? Outer Hebrides is a part of the UK where ~50% of its residents speak Scottish, never mind England and its English dominance, so c
662.
by 9rx 9mo ago
> And yet it is the one part of the UK that actually has a language that is spoken by a non-trivial percentage of the population 98% of the UK population can speak English, so I'm not sure where you got that idea. Clearly every pa
663.
by 9rx 9mo ago
Maybe not so much active efforts to save them, but the mass lamentation around the collapse of the industry that has been going on for several decades. What efforts there are to save them is merely an extension of that. Much the same thing
664.
by 9rx 9mo ago
Wales comes along with England due to how their legal framework is setup. It is a good technical point you raise, but for all intents and purposes within the context they are the same place.
665.
by 9rx 9mo ago
Yes. Being on the other side of the world, I've only ever heard of efforts to save English pubs. Thus, without more details, one knows that is what is being referred to. Perhaps Scotland has the same kind of movement happening at the l
666.
by 9rx 9mo ago
> None of them have ever explained why alcohol, or any drug use, needs to be part of third spaces. Third places need to have some kind of draw, else nobody will show up. "If you build it, they will come" is for the movies. In
667.
by 9rx 9mo ago
> All the profit was spirits and software drinks. What are the margins on a Codeacola?
668.
by 9rx 9mo ago
"Pub" is a fairly common term throughout the world. But "pub that needs you " made it pretty obvious that it was about pubs in England.
669.
by 9rx 9mo ago
> You disagree with some of the core mission of the PSF. It seems he disagrees with the approach rather than the core mission; suggesting that instead of relying on reparations, to use those resources instead to fix the core issues wit
670.
by 9rx 9mo ago
The comparison with Rust and not something like Lean, Rocq, or Idris is telling. Rust's type system is not much better than Python's, still requiring tests for everything. These partial type systems cannot replace any actually use
671.
by 9rx 9mo ago
He did some research. Now he is validating it. Believe it or not, not all researched information is accurate. And even when it is accurate it isn't always interpreted correctly. It is not sufficient to simply research something. One mu
672.
by 9rx 9mo ago
Without dependent typing, it's the worst of all worlds anyway. You have to express types, but they aren't expressive enough to not have to also express the same in tests, leaving this weird place where you have to repeat yourself
673.
by 9rx 9mo ago
> Python type hints allow checking correctness statically Not really. You can do some basic checking, like ensuring you don't pass a string into where an integer is expected, but your tests required to make sure that you're p
674.
by 9rx 10mo ago
In this case, though, Siri has already successfully scared off anyone who isn't willing to reevaluate products.
675.
by 9rx 10mo ago
> The amount of sugar in Coke hasn't changed in the last 40 years Except for when it has. e.g.: https://www.cbc.ca/news/business/coke-cuts-sweetness-in-cana...
676.
by 9rx 10mo ago
> Knowing absolutely nothing about formal verification Are you sure about that? That is what we've been talking about all along. After all, the thing that separates Rust from Python, with respect to our discussion here — the thing
677.
by 9rx 10mo ago
> Though at same time flagged that this isn't ideal I suppose that depends how deep down the rabbit hole you want to go. HTTP is pretty minimal in and of itself. The complexity is due to it being layered on top of many other thing
678.
by 9rx 10mo ago
I asked several LLMs on your behalf and they all said "yes". But they might be a little biased. Why not put them to the test? It is only a prompt away. Rust is an available extraction target for Rocq, so you can even integrate it
679.
by 9rx 10mo ago
> Are we going to suddenly realize all these productivity gains people are claiming are all lies I'll grant you that many have become adamant that LLMs suddenly, out of the blue, became useful just last week, which is much too soo
680.
by 9rx 10mo ago
Rocq or another in that wheelhouse. Once you go down the spectrum then you have to start relying on tests, which end up indirectly validating the same things as the type system anyway, at which point you are no further ahead than having use
681.
by 9rx 10mo ago
> why don't you show and tell? How do you suggest? A a high level, the biggest problem is the high latency and context switches. It is easy enough to get the AI to do one thing well. But because it takes so long, the only way to d
682.
by 9rx 10mo ago
Why Rust, which is just barely an improvement over a dynamically-typed language, when you can just as easily vibe to a language with a proper dependent type system?
683.
by 9rx 10mo ago
You do, however, need to be able to tell the computer that you want to opt in (or out, I suppose) of being able to using AI to evaluate how important it thinks your work is. If you don’t have that option, it is, in fact, the computer tellin
684.
by 9rx 10mo ago
> I'd love a way to statically guarantee I haven't missed an important error type. It wouldn't be hard — rather easy, even — to write a static analyzer for that if you constrained your expectations to cases where sum typ
685.
by 9rx 10mo ago
> Wouldn't you just hit undo? Because: 1. Undo is usually treated as an application-level concern, meaning that once the application has exited there is no specific undo, as it is normally though of, function available. The '
686.
by 9rx 10mo ago
You're quite right that those with skills have no need for computers, but for the rest of us there is no need for them to not have a good user experience.
687.
by 9rx 10mo ago
The problem isn't so much the five seconds, it is the muscle memory. You become accustomed to blindly hitting "Yes" every time you've accidentally typed something into the text box, and then that time when you actually p
688.
by 9rx 10mo ago
> Enums are named for being enumerable which is not the same thing as simply having an equivalent number. Exactly. Like before, in the context of compilers, it refers to certain 'built-in' values that are generated by the com
689.
by 9rx 10mo ago
> In most applications of int enums, the particular integers can be chosen at random I’m not sure the definition of "enum" enforces how things are identified. Random choice would be as good as any other, theoretically. In pra
690.
by 9rx 10mo ago
"Enum" is literally defined as a numbering mechanism. While integers are the most natural type used to store numbers, you could represent those numbers as strings if you really wanted. The key takeaway is that a enum is a value ,

More ›