This is a good point, especially since it appears that the access flock given is basically reserved for the government. For instance we can't buy from flock a boyfriend stalking pass. The offerings aren't really in line…
Feels like a hundred years later we're still cursed by the cocaine addiction of Dr. William Stewart Halsted
I wasn't really talking about just rings, the comment I was replying to was talking about heart rate sensors. I'm saying it's still worthwhile replacing your ring with a watch. Even if it is just for swiping or pressing…
I wasn't wading into the watch/ring debate, never used a ring just a watch. Was just saying while heart rate data might not be the most useful. There might be uses for other sensors...
Not really the point. If you make program with a bunch of different exercises, and are modifying your program a lot, it can be a pain to keep track of what your next exercise should be. If you are automatically tracking…
The data should be useful for automatically counting reps...
Perhaps it refers to PhantomData<!> but I don't know
Boxed slice isn't really the most well known type/optimization, There usually aren't that many vec's that it makes a big difference.
> We do not grant access to our license plate readers to federal law enforcement. That sounds very weasel worded, if they get license plate readers from someone who does.
Thats not the point, if there were a better proprietary engine stockfish would still be there as a baseline. Anyone can access an engine as good as stockfish to practice against. Are any open models touting mathematical…
Another noteworthy difference is that Stockfish is also gpl.
It would be nice if OP noted what caused the change in their opinion? did datafusion gain some feature that they noted was missing in the previous article, or did something in their understanding click so they could…
What I was (badly) trying to express was more that given static bounds rust could also eliminate dynamic checks. So saying e.g. ATS can eliminate static checks, is kind of switching the target.
those are not dynamic bounds.
It is fine though if people who don't knit enjoy knitting podcasts, but this is not that. Somewhere between the producer/consumer relationship there should exist some actual knitting. Otherwise (in cases like this) it's…
I'd also say a few things, if knitting takes a long time consider how long it takes to make a good clear pattern so that others can replicate it. People who make patterns are already dealing with a saturated market.…
Seriously? You can't get the feeling of satisfaction of wearing something, or having someone wear something you made from AliExpress. My point is your sense of feeling and validation is extremely distorted if you have…
Can't wear feelings and validation...
My only complaint with the article is that it doesn't seem to mention that digitized proofs can contain gaps but that those gaps must be explicit like in lean the `sorry` function, or axioms.
In FCC DA 26-68 they gave public notice of their change of interpretation/enforcement of the equal time rules to apply to this situation.
Definitions are built up layer upon layer like an onion too, with each step adding it's own invariants reducing the problem space. I just feel like the street light example is an extremely small free standing example.…
Maybe it can be done, but I struggle to believe adding in that branch for every forall quantifier (which may be plentiful in a proof) is going to help make a proof more understandable. Rather I feel like it'll just…
Rhetorical sentence? My point is that back-translation into natural langauge is translating into a less precise form. How is that going to help? No number of additional abstraction layers are going to solve human…
why do we invent these formal languages except to be more semantically precise than natural language? What does one gain besides familiarity by translation back into a more ambiguous language? Mis-defining concepts can…
Sure, in the Result case, less in the option case. I didn't mention it because Infallible is documented and named specifically as an Error "The error type for errors that can never happen". The use of uninhabited types…
This is a good point, especially since it appears that the access flock given is basically reserved for the government. For instance we can't buy from flock a boyfriend stalking pass. The offerings aren't really in line…
Feels like a hundred years later we're still cursed by the cocaine addiction of Dr. William Stewart Halsted
I wasn't really talking about just rings, the comment I was replying to was talking about heart rate sensors. I'm saying it's still worthwhile replacing your ring with a watch. Even if it is just for swiping or pressing…
I wasn't wading into the watch/ring debate, never used a ring just a watch. Was just saying while heart rate data might not be the most useful. There might be uses for other sensors...
Not really the point. If you make program with a bunch of different exercises, and are modifying your program a lot, it can be a pain to keep track of what your next exercise should be. If you are automatically tracking…
The data should be useful for automatically counting reps...
Perhaps it refers to PhantomData<!> but I don't know
Boxed slice isn't really the most well known type/optimization, There usually aren't that many vec's that it makes a big difference.
> We do not grant access to our license plate readers to federal law enforcement. That sounds very weasel worded, if they get license plate readers from someone who does.
Thats not the point, if there were a better proprietary engine stockfish would still be there as a baseline. Anyone can access an engine as good as stockfish to practice against. Are any open models touting mathematical…
Another noteworthy difference is that Stockfish is also gpl.
It would be nice if OP noted what caused the change in their opinion? did datafusion gain some feature that they noted was missing in the previous article, or did something in their understanding click so they could…
What I was (badly) trying to express was more that given static bounds rust could also eliminate dynamic checks. So saying e.g. ATS can eliminate static checks, is kind of switching the target.
those are not dynamic bounds.
It is fine though if people who don't knit enjoy knitting podcasts, but this is not that. Somewhere between the producer/consumer relationship there should exist some actual knitting. Otherwise (in cases like this) it's…
I'd also say a few things, if knitting takes a long time consider how long it takes to make a good clear pattern so that others can replicate it. People who make patterns are already dealing with a saturated market.…
Seriously? You can't get the feeling of satisfaction of wearing something, or having someone wear something you made from AliExpress. My point is your sense of feeling and validation is extremely distorted if you have…
Can't wear feelings and validation...
My only complaint with the article is that it doesn't seem to mention that digitized proofs can contain gaps but that those gaps must be explicit like in lean the `sorry` function, or axioms.
In FCC DA 26-68 they gave public notice of their change of interpretation/enforcement of the equal time rules to apply to this situation.
Definitions are built up layer upon layer like an onion too, with each step adding it's own invariants reducing the problem space. I just feel like the street light example is an extremely small free standing example.…
Maybe it can be done, but I struggle to believe adding in that branch for every forall quantifier (which may be plentiful in a proof) is going to help make a proof more understandable. Rather I feel like it'll just…
Rhetorical sentence? My point is that back-translation into natural langauge is translating into a less precise form. How is that going to help? No number of additional abstraction layers are going to solve human…
why do we invent these formal languages except to be more semantically precise than natural language? What does one gain besides familiarity by translation back into a more ambiguous language? Mis-defining concepts can…
Sure, in the Result case, less in the option case. I didn't mention it because Infallible is documented and named specifically as an Error "The error type for errors that can never happen". The use of uninhabited types…