That's the kind of projects I love to see. Actually socially useful :) Keep it up!
It is if the goal is to deter without launching a city roast fest. That’s one possible step to e.g. answer a first limited strike without starting a disastrous exchange. And US nukes can be set to low yield.
President: ok, hit this military base with 100 soldiers to let them know we’re serious Million-inhabitants city nearby: burns to the ground due to garbage guidance President: …dig out the plan for world war 3, I guess.
What about the App Store? I never used a Symbian phone but I don’t remember a device that would have allowed as much as the iPhone in the way of custom apps.
Arguably the entirety you need to threaten is Search and ads. Remove those, what happens to the rest?
I don't use my phone when reality is better. Consider that some people's lives suck most of the time.
(base) sounds like Anaconda. Try typing conda deactivate?
> Python doesn't work well with file names in principle: it wants everything to be Unicode. That works for many, but if you want reliable code... you just have to throw all of that away. Windows' APIs use UTF-16 and…
Chrome is often criticized for overusing RAM. Personally I stopped using it a couple years ago, but when I stopped, it was very far from light; I remember it freezing for a few seconds for lack of RAM in a way other…
> Simple example: a function has a parameter whose type is "variable-length tuple of int". You can pass any tuple in that is known to have 0..n elements, all of type int. And n is fixed at the calling site, right? I…
> Sure, but while it's not possible to type basic functions like ones that concatenate tuples, I can say that Pythons typing system is not superior to Typescripts. That's not really fair. The uses that make sense when…
What's missing is in which context the tuple's length is variable, and in which context it is fixed. You can have a tuple size fixed everywhere (because the callee sets it) or a tuple size fixed at each call (and…
> But I have a use case for exactly this feature. Why should the language limit me? Why should I implement x functions that take different tuple lengths, with me having to choose the correct one for each use case, when…
You mean that the tuples' size is statically known at the calling site, while your message could be interpreted as the size being statically known in the callee. I think this is clearer. The statement "arbitrary…
"Arbitrary fixed-size tuples" probably don't have a widely accepted meaning :) I read it as "size known when compiling the function". The second example is cool. But I can't find a good practical use case for either…
Quoting types that are defined later is a wart but it's not very bad. VSCode's UI will happily handle it as if the quotes weren't there.
Why is pathlib bad? Edit: I'm asking because pathlib is as good as a Python lib could be for me. Path manipulations are extremely clear and always safe. What more do you need?
In VSCode (which uses PyRight/PyLance) and Python 3.10: JSONObject = None | str | int | bool | list["JSONObject"] | dict[str, "JSONObject"] # this type checks a: JSONObject = {"a": [1, 2, "7", True, {"false": None}]} #…
For the tuple example: from typing import TypeVar T, U, V, W = TypeVar('T'), TypeVar('U'), TypeVar('V'), TypeVar('W') def concatenate(a: tuple[T, U], b: tuple[V, W]) -> tuple[T, U, V, W]: return a + b For the generic…
The Chrome versions of the first few years were so nice to use. It was the _lightest_ major browser for a time. It's insane how it has drifted since then.
Imagine what could be done with that infinite money if Google had a real incentive to build more useful things.
Should we expect more useful websites in the next 10 years? Should we expect them to rot and need replacement in the decade after that? Should the Fed add "make the Internet a nice place" as a fourth mission?
[dead]
What’s the use case for static reflection?
That's the kind of projects I love to see. Actually socially useful :) Keep it up!
It is if the goal is to deter without launching a city roast fest. That’s one possible step to e.g. answer a first limited strike without starting a disastrous exchange. And US nukes can be set to low yield.
President: ok, hit this military base with 100 soldiers to let them know we’re serious Million-inhabitants city nearby: burns to the ground due to garbage guidance President: …dig out the plan for world war 3, I guess.
What about the App Store? I never used a Symbian phone but I don’t remember a device that would have allowed as much as the iPhone in the way of custom apps.
Arguably the entirety you need to threaten is Search and ads. Remove those, what happens to the rest?
I don't use my phone when reality is better. Consider that some people's lives suck most of the time.
(base) sounds like Anaconda. Try typing conda deactivate?
> Python doesn't work well with file names in principle: it wants everything to be Unicode. That works for many, but if you want reliable code... you just have to throw all of that away. Windows' APIs use UTF-16 and…
Chrome is often criticized for overusing RAM. Personally I stopped using it a couple years ago, but when I stopped, it was very far from light; I remember it freezing for a few seconds for lack of RAM in a way other…
> Simple example: a function has a parameter whose type is "variable-length tuple of int". You can pass any tuple in that is known to have 0..n elements, all of type int. And n is fixed at the calling site, right? I…
> Sure, but while it's not possible to type basic functions like ones that concatenate tuples, I can say that Pythons typing system is not superior to Typescripts. That's not really fair. The uses that make sense when…
What's missing is in which context the tuple's length is variable, and in which context it is fixed. You can have a tuple size fixed everywhere (because the callee sets it) or a tuple size fixed at each call (and…
> But I have a use case for exactly this feature. Why should the language limit me? Why should I implement x functions that take different tuple lengths, with me having to choose the correct one for each use case, when…
You mean that the tuples' size is statically known at the calling site, while your message could be interpreted as the size being statically known in the callee. I think this is clearer. The statement "arbitrary…
"Arbitrary fixed-size tuples" probably don't have a widely accepted meaning :) I read it as "size known when compiling the function". The second example is cool. But I can't find a good practical use case for either…
Quoting types that are defined later is a wart but it's not very bad. VSCode's UI will happily handle it as if the quotes weren't there.
Why is pathlib bad? Edit: I'm asking because pathlib is as good as a Python lib could be for me. Path manipulations are extremely clear and always safe. What more do you need?
In VSCode (which uses PyRight/PyLance) and Python 3.10: JSONObject = None | str | int | bool | list["JSONObject"] | dict[str, "JSONObject"] # this type checks a: JSONObject = {"a": [1, 2, "7", True, {"false": None}]} #…
For the tuple example: from typing import TypeVar T, U, V, W = TypeVar('T'), TypeVar('U'), TypeVar('V'), TypeVar('W') def concatenate(a: tuple[T, U], b: tuple[V, W]) -> tuple[T, U, V, W]: return a + b For the generic…
The Chrome versions of the first few years were so nice to use. It was the _lightest_ major browser for a time. It's insane how it has drifted since then.
Imagine what could be done with that infinite money if Google had a real incentive to build more useful things.
Should we expect more useful websites in the next 10 years? Should we expect them to rot and need replacement in the decade after that? Should the Fed add "make the Internet a nice place" as a fourth mission?
[dead]
What’s the use case for static reflection?