The gluon with color (|g1> + |g2> + |g8>) / √3 is just a superposition of the gluons with colors g1, g2 and g8, the same way you can make superpositions of any other particles. You are right that the choice of basis…
I guess it's mainly a limit to savescumming.
Yeah, this is basically stochastic dithering applied to numeric floating point quantization instead of image color quantization. This makes me wonder whether you could apply different dithering approaches to numeric…
It's the same topology! Just replace each shuffle/blend with multiplication by a root of unity and addition, and you get FFT!
A good example for this is A + A^T; you can fuse the two operations but you cannot get around the access pattern of matrix transposition.
Making laws more explicit in important cases is valuable because it reduces uncertainty about legal interpretation. Using your example of cellphone use, under distracted driving laws the prosecution would have to prove…
Thank you for the detailed answers! I think purity is something the programmer just has to annotate themselves. Any boundary between languages with different type system guarantees will always have this kind of friction…
It's great that this allows passing Rust structs both as ForeignPtr and as native records with marshalling! Some questions/ideas: - Is there a way to generate #[hsrs::data_type] bindings for Rust library types, or do…
Monads got their name from monoids (being a monoid in the category of endofunctors). Monoids are equivalent to one-object categories, so the name uses the greek syllable "mono" for one.
I've noticed this with UI interfaces before: For example, an IBAN field which actively blocks you from entering more than the expected number of characters. Seems like a good idea - except whoever sent me their account…
Does "Pharma" actually dose medication based on the Eyring equation? I'm not convinced we actually know the value of ΔG. AFAIK, the optimal biological dose is determined via dose-ranging studies during Phase I/II of…
Road capacity does not increase with speed above 50 km/h on urban roads or 70 km/h on highways. Following distance scales with speed, so more speed can actually mean fewer cars per unit of time. In theory, braking…
I'm not so sure this is really a free market equilibrium. There are two effects which explain the prevalence of ads even if consumers are willing to pay more for ad-free products: - Imperfect information, aka Market for…
The last line of the introduction > By doing so, we aim to provide a novel paradigm [...] also made me think of item 19 on your list: > 10 points for claiming that your work is on the cutting edge of a "paradigm shift".…
This reads a lot like an advertisement. The linked page [[Cyclorotor]] is more neutral and has more information on the design and applications outside of marine vessels: https://en.wikipedia.org/wiki/Cyclorotor
It‘s preying on the city‘s desperation to get a cash payout, to get space and utilities worth much more. Facebook abuses its market power to pit city governments against each other, while the cities don‘t have many…
The saying probably assumes that each chronometer has a certain small probability of malfunctioning, resulting in a significant error (basically a fat-tailed error distribution). With three chronometers, you can use a…
Thanks for the link, nice to see the informal conventions spelled out like this!
True, although better pruning can massively lower the effective branching ratio compared to pure alpha-beta, making the algorithm benefit more from longer search time again (which is why pruning is so important).
Users with enough karma can "flag" posts and comments, which a) calls for moderator attention and b) decreases ranking. It's meant for off-topic/inflammatory/low-quality submissions.
It is enforced automatically for most purposes: If you're writing a proof involving e.g. the sqrt function, you want to use theorems about it, e.g. that (sqrt(x))^2 = x. Almost all of those theorems have x>=0 as a…
Thanks, writing it as 1+2(*)3 made it click for me. Reminds me of the '$' operator in Haskell - it lowers the precedence of function application, basically being an opening parenthesis that's implicitly closed at the…
No. There is a global allocator which is used by default, but all the stdlib functions that allocate memory have a version which allows you to pass in a custom allocator. These functions are still "unstable" though, so…
The article is a bit confusing, but I like the concept behind symbols: Basically a way to distinguish identifier names (chosen by the programmer) from user-facing strings. The distinction between is one I've mentally…
> 85,66% guaranteed uptime (we need some sleep, too)
The gluon with color (|g1> + |g2> + |g8>) / √3 is just a superposition of the gluons with colors g1, g2 and g8, the same way you can make superpositions of any other particles. You are right that the choice of basis…
I guess it's mainly a limit to savescumming.
Yeah, this is basically stochastic dithering applied to numeric floating point quantization instead of image color quantization. This makes me wonder whether you could apply different dithering approaches to numeric…
It's the same topology! Just replace each shuffle/blend with multiplication by a root of unity and addition, and you get FFT!
A good example for this is A + A^T; you can fuse the two operations but you cannot get around the access pattern of matrix transposition.
Making laws more explicit in important cases is valuable because it reduces uncertainty about legal interpretation. Using your example of cellphone use, under distracted driving laws the prosecution would have to prove…
Thank you for the detailed answers! I think purity is something the programmer just has to annotate themselves. Any boundary between languages with different type system guarantees will always have this kind of friction…
It's great that this allows passing Rust structs both as ForeignPtr and as native records with marshalling! Some questions/ideas: - Is there a way to generate #[hsrs::data_type] bindings for Rust library types, or do…
Monads got their name from monoids (being a monoid in the category of endofunctors). Monoids are equivalent to one-object categories, so the name uses the greek syllable "mono" for one.
I've noticed this with UI interfaces before: For example, an IBAN field which actively blocks you from entering more than the expected number of characters. Seems like a good idea - except whoever sent me their account…
Does "Pharma" actually dose medication based on the Eyring equation? I'm not convinced we actually know the value of ΔG. AFAIK, the optimal biological dose is determined via dose-ranging studies during Phase I/II of…
Road capacity does not increase with speed above 50 km/h on urban roads or 70 km/h on highways. Following distance scales with speed, so more speed can actually mean fewer cars per unit of time. In theory, braking…
I'm not so sure this is really a free market equilibrium. There are two effects which explain the prevalence of ads even if consumers are willing to pay more for ad-free products: - Imperfect information, aka Market for…
The last line of the introduction > By doing so, we aim to provide a novel paradigm [...] also made me think of item 19 on your list: > 10 points for claiming that your work is on the cutting edge of a "paradigm shift".…
This reads a lot like an advertisement. The linked page [[Cyclorotor]] is more neutral and has more information on the design and applications outside of marine vessels: https://en.wikipedia.org/wiki/Cyclorotor
It‘s preying on the city‘s desperation to get a cash payout, to get space and utilities worth much more. Facebook abuses its market power to pit city governments against each other, while the cities don‘t have many…
The saying probably assumes that each chronometer has a certain small probability of malfunctioning, resulting in a significant error (basically a fat-tailed error distribution). With three chronometers, you can use a…
Thanks for the link, nice to see the informal conventions spelled out like this!
True, although better pruning can massively lower the effective branching ratio compared to pure alpha-beta, making the algorithm benefit more from longer search time again (which is why pruning is so important).
Users with enough karma can "flag" posts and comments, which a) calls for moderator attention and b) decreases ranking. It's meant for off-topic/inflammatory/low-quality submissions.
It is enforced automatically for most purposes: If you're writing a proof involving e.g. the sqrt function, you want to use theorems about it, e.g. that (sqrt(x))^2 = x. Almost all of those theorems have x>=0 as a…
Thanks, writing it as 1+2(*)3 made it click for me. Reminds me of the '$' operator in Haskell - it lowers the precedence of function application, basically being an opening parenthesis that's implicitly closed at the…
No. There is a global allocator which is used by default, but all the stdlib functions that allocate memory have a version which allows you to pass in a custom allocator. These functions are still "unstable" though, so…
The article is a bit confusing, but I like the concept behind symbols: Basically a way to distinguish identifier names (chosen by the programmer) from user-facing strings. The distinction between is one I've mentally…
> 85,66% guaranteed uptime (we need some sleep, too)