platz

67 ms·

781.
by platz 7y ago
I'm not implying exhaustiveness is always necessary, I'm saying if you want feedback from the compiler to support a type-driven extend-refactor workflow that is commensurate with inheritance-based typechecking, as is one of the
782.
by platz 7y ago
That's not what 'fixed set' means here. It's 'fixed' in the same sense as the compiler knowing what are the subclasses of a base class. Just as you can always 'extend' the OOP base class by adding a s
783.
by platz 7y ago
> Do you know why they dont do exhaustiveness checking? Because then you would need to limit matching to some kind of closed algebraic data type (ADT) so that compiler knows what is left to be matched on, or provide a catch-all clause. I
784.
by platz 7y ago
C#'s pattern matching does not include the ability to check for exhaustiveness, which is need to make pattern matching comparable in utility and power to inheritance (i.e. so you can actually replace inheritance w/ pattern matchin
785.
by platz 7y ago
Hehe, no problem!
786.
by platz 7y ago
Close - Haskell & purescript!
787.
by platz 7y ago
I put all my notes and bookmarks in my self-hosted bookmarking site https://github.com/jonschoning/espial . I definitely agree with the author that the combo of tags, search, the feed, and notes is very effective tech
788.
by platz 7y ago
Ah yes, the chart that lists Oz and Alice ? under every box
789.
by platz 7y ago
> The traditional form of the Maxwell equations is not manifestly invariant with respect to special relativity, because it involves a particular observer’s time and space coordinates. However, we believe the underlying physical laws are
790.
by platz 7y ago
When they say that, they want phds, not entry level candidates
791.
by platz 7y ago
It's actually the assumptions around longevity that need to be examined. Software is not like etching perfect museum-pieces. It is the union of the world that defines software's context, and since that will always change, we'
792.
by platz 7y ago
What's the alternative?
793.
Ebola virus disease – DRC Disease outbreak news: 6 February 2020(who.int)
1 points by platz 7y ago|0 comments
794.
Looks like containment of novel coronavirus not as effective as we had hoped(channelnewsasia.com)
2 points by platz 7y ago|0 comments
795.
by platz 7y ago
assuming those numbers hold when scaled up, you are compressing the actual distribution into a single number (an average). Overall that high-level number may be correct. But at the same time, the kinds of people that get into accidents will
796.
by platz 7y ago
Can you get that on a Lenovo laptop?
797.
by platz 7y ago
Do doctors typically suit up in full biohazard gear when confronting flu?
798.
by platz 7y ago
The current outbreak is expanding exponentially, with a frequency of approximately 20% severe infections requiring advanced respiratory supportive care. Mortality is at least 3%, and probably higher given the time lag between reported infec
799.
by platz 7y ago
> designed to warn of a malfunction by a system that helps raise and lower the plane’s nose So, they can't even name the mcas system anymore?
800.
by platz 7y ago
Well 2019-ncov is probably here to stay permanently, so while I appreciate the effort to slow it down, they're not going to save the world from it quite yet.
801.
by platz 7y ago
https://airmash.online/
802.
by platz 7y ago
I built something simliar https://github.com/jonschoning/Unions/tree/master/Unions I went with `object` internally instead of subclasses. One thing that I like about my lib is that is serializes to json
803.
by platz 7y ago
It's nice that you can't typo your variables when writing point-free code
804.
'Software error' causes CDC biosafety level 4 lab incident (2016)(usatoday.com)
2 points by platz 7y ago|0 comments
805.
by platz 7y ago
I was inviting you to tell me why
806.
by platz 7y ago
Why can't they just whack it with some kind of Bayesian latent space model. A big jump should have to require more evidence than the history of the previous posterior
807.
by platz 7y ago
Would you accept a higher risk of accident for you and your children, if it meant that an order of magnitude more other bad drivers would be saved? Also keep in mind the outrage factor. The reason airplane crashes are so feared is because o
808.
by platz 7y ago
You are right and wrong and the same time. By quoting an average, assuming those numbers hold when scaled up, you are compressing the actual distribution into a single number. Overall that high-level number may be correct. But at the same
809.
by platz 7y ago
“I think we’re going to start seeing secondary spread in the United States in the next two or three weeks,” said Dr. Scott Gottlieb, former FDA commissioner. - https://www.cnbc.com/2020/02/03/mayo-clinic-dr-gr
810.
by platz 7y ago
Your priors are a little misconfigured

More ›