The type soft-enforces it immediately for everyone though. Without the type there are a few possibilities: 1. I could forget the assertion and have buggy code without realizing. 2. I could ensure that all uses do the…
That 2nd one being a bug is exactly what the type system and NonEmpty types is designed to help prevent.
It isn't a case of wanting to implement the world to do this though. Instead, it is a case of the active users of the library saying, "Wow, the Effect way of doing this is so much nicer, can we have everything this way…
The types allow you to very narrowly define functions so that you can, for example, require that a NonEmptyArray be passed. This helps to fulfill that requirement without casts.
This is super useful though. It allows you to swap out implementations for things like logging and monitoring. Not sure what the confusion is here.
[dead]
How is that LVT "rent" different from any other traditional property tax being "rent"? As near as I can tell, it is just a different way of deciding how the property tax burden is levied. Downtown property gets taxed…
What you are saying is Russian propaganda. Nearly every country that has been attacked has forced conscription. The US did during WW1, WW2, Korea, Vietnam, and we weren't even attacked in 3 of those. Were we…
Out of curiosity, what cost do you believe that you currently personally bear for this?
Before the node-size race we also had the clock-speed race. Eventually it was common for processors reach 2-4ghz, and after that the clock speed gains stopped being practical because as you increase clock speed you also…
I suspect it does matter because the inability to understand arithmetic likely effects higher level learning. For example, If you want it to learn statistics, it likely needs a good understanding of arithmetic. All…
I tried making a couple characters, and this whole thing is extremely impressive. First I made a rabbit that lives in my backyard. It was able to talk about the neighborhood animals and its activities. For example: his…
Who is "they"? You dismiss the "strongtowns" argument as if there is some consensus that it has been debunked, but I don't think there is such a consensus, so you'd need to support that claim. Further, the worst case is…
Sure, but that isn't what we're talking about. The comment that this thread branched off of is about the relative difference in danger of 10mph with a modern vehicle, not 20, 30, or 40mph. I don't think I agree with…
There are typically two kinds of roads these speeds are reached in the US: 1. Expressways, where pedestrians and cyclists are not allowed. They are walled off with specific entrances and exits. 2. Country highways,…
I don't see the rhetoric you are talking about used by mainstream climate change activists; I see reasonable changes: 1) Power most things with electricity instead of fossil fuels. 2) Generate electricity with…
I think you are right: A city government or business wouldn't do this because they would have to take on the entire cost themselves because they don't have any control over the other end of the more global balance…
I think it would be great if that subsidization came in the form a universal FoodStamps only spendable on nationally produced strategic goods. This would make subsidization more transparent to the general public, while…
This project is actually on my near-term TODO list. I've been planning on implementing it as a recipe site where every ingredient is a recipe itself.
Apple could implement this with a default of "automatically decline all", allowing users to only manually opt-in when they feel the need without ever seeing a prompt. If you mean html/css prompts rather than actual…
Yeah, I have been looking forward to that for a while. I'm hoping that if their app isn't flexible enough to do menu-based dosing that it will be possible to side-load my own app to do that dosing. As an aside, the…
I think this article does a great job covering many of the difficulties of T1D. One component I think was under-emphasized is the fact that correction insulin doses are not based on what your current blood glucose(BG)…
I (genuinely) wonder how much that is attributable to having no actual use for other math, vs 1. not having been taught math early enough for it to be second nature 2. not having been taught useful every day…
Yes, I've been looking for something like that. I think there are two great under-explored use-cases for this: 1. Laptop ergonomics are really poor for taller people who need to hunch over to see a screen. Decoupling…
I think the issue was that Pokemon Go used certain types of map elements as their Pokemon capture points, e.g., Landmarks, or something. People weren't adding "Pokemon capture points", they were adding non-existent…
The type soft-enforces it immediately for everyone though. Without the type there are a few possibilities: 1. I could forget the assertion and have buggy code without realizing. 2. I could ensure that all uses do the…
That 2nd one being a bug is exactly what the type system and NonEmpty types is designed to help prevent.
It isn't a case of wanting to implement the world to do this though. Instead, it is a case of the active users of the library saying, "Wow, the Effect way of doing this is so much nicer, can we have everything this way…
The types allow you to very narrowly define functions so that you can, for example, require that a NonEmptyArray be passed. This helps to fulfill that requirement without casts.
This is super useful though. It allows you to swap out implementations for things like logging and monitoring. Not sure what the confusion is here.
[dead]
How is that LVT "rent" different from any other traditional property tax being "rent"? As near as I can tell, it is just a different way of deciding how the property tax burden is levied. Downtown property gets taxed…
What you are saying is Russian propaganda. Nearly every country that has been attacked has forced conscription. The US did during WW1, WW2, Korea, Vietnam, and we weren't even attacked in 3 of those. Were we…
Out of curiosity, what cost do you believe that you currently personally bear for this?
Before the node-size race we also had the clock-speed race. Eventually it was common for processors reach 2-4ghz, and after that the clock speed gains stopped being practical because as you increase clock speed you also…
I suspect it does matter because the inability to understand arithmetic likely effects higher level learning. For example, If you want it to learn statistics, it likely needs a good understanding of arithmetic. All…
I tried making a couple characters, and this whole thing is extremely impressive. First I made a rabbit that lives in my backyard. It was able to talk about the neighborhood animals and its activities. For example: his…
Who is "they"? You dismiss the "strongtowns" argument as if there is some consensus that it has been debunked, but I don't think there is such a consensus, so you'd need to support that claim. Further, the worst case is…
Sure, but that isn't what we're talking about. The comment that this thread branched off of is about the relative difference in danger of 10mph with a modern vehicle, not 20, 30, or 40mph. I don't think I agree with…
There are typically two kinds of roads these speeds are reached in the US: 1. Expressways, where pedestrians and cyclists are not allowed. They are walled off with specific entrances and exits. 2. Country highways,…
I don't see the rhetoric you are talking about used by mainstream climate change activists; I see reasonable changes: 1) Power most things with electricity instead of fossil fuels. 2) Generate electricity with…
I think you are right: A city government or business wouldn't do this because they would have to take on the entire cost themselves because they don't have any control over the other end of the more global balance…
I think it would be great if that subsidization came in the form a universal FoodStamps only spendable on nationally produced strategic goods. This would make subsidization more transparent to the general public, while…
This project is actually on my near-term TODO list. I've been planning on implementing it as a recipe site where every ingredient is a recipe itself.
Apple could implement this with a default of "automatically decline all", allowing users to only manually opt-in when they feel the need without ever seeing a prompt. If you mean html/css prompts rather than actual…
Yeah, I have been looking forward to that for a while. I'm hoping that if their app isn't flexible enough to do menu-based dosing that it will be possible to side-load my own app to do that dosing. As an aside, the…
I think this article does a great job covering many of the difficulties of T1D. One component I think was under-emphasized is the fact that correction insulin doses are not based on what your current blood glucose(BG)…
I (genuinely) wonder how much that is attributable to having no actual use for other math, vs 1. not having been taught math early enough for it to be second nature 2. not having been taught useful every day…
Yes, I've been looking for something like that. I think there are two great under-explored use-cases for this: 1. Laptop ergonomics are really poor for taller people who need to hunch over to see a screen. Decoupling…
I think the issue was that Pokemon Go used certain types of map elements as their Pokemon capture points, e.g., Landmarks, or something. People weren't adding "Pokemon capture points", they were adding non-existent…