bjz_

7 ms·

31.
by bjz_ 7y ago
AFAIK, the flu vaccine doesn't prevent against all strains, because the virus mutates so rapidly year by year. They prepare it every year based on the worst/most common strains that were seen in opposite hemisphere's flu seas
32.
by bjz_ 7y ago
I remember watching a talk where a formal methods researcher was talking about how, with the help of some grad students, they rebuilt one of Boeing's helicopter drone's flight control systems to use sel4 in a collaboration with DA
33.
by bjz_ 7y ago
Records of the same structure but different names are equivalent. In fact tuples are just sugar over records with numeric fields starting from 1. Note that this is not the same as in OCaml, afaik.
34.
by bjz_ 7y ago
> AFAIK SML is nominal I guess I was referring to how records are structural. Although granted tagged unions are nominal, and you can get nominal typing through modules. I was probably wrong in posing it as 'one or the other' -
35.
by bjz_ 7y ago
It's probably more that most mainstream typed languages, like C, C++, Java, C#, etc. have mainly gone down the nominal route, as opposed to languages like Standard ML and Typescript that tend to be more structural. Structural vs. nomin
36.
by bjz_ 7y ago
Ahhh! Right! See, the context here is important. Continuations are pretty widely known and important in the context of programming language implementation and theory, which is why I was confused by your comment. In the context where this p
37.
by bjz_ 7y ago
> Continuations are well known to be completely mystifying. Could you elaborate on what leads you to think this?
38.
by bjz_ 7y ago
Yes! I did this many years ago, when it was all one course. I only got around to doing the SML part but it really improved how I approached learning new programming languages and frameworks (not just FP languages). I'm very thankful fo
39.
by bjz_ 7y ago
Can't you be content with the fact that your work impacts and improves the lives of billions of people? What gives you the right to maintain a stranglehold over a market and drive off competition simply because you were lucky enough to
40.
by bjz_ 7y ago
I've felt this too. My best strategy is to do something productive with that natural stress and worry. Go to climate rallies. Move to banks that don't invest in fossil fuels. If you have retirement savings, make sure they are not
41.
by bjz_ 7y ago
Arson has always been around in Australia. But climate change exacerbates the impact. Less time for safely going hazard reduction burns, and drier forests, and less rain makes a big impact.
42.
by bjz_ 7y ago
> At Google I remember a friend talking about how he cringed whenever he added more code to the pipeline that ingests the entire internet. He said that he wondered how much extra carbon was release into the atmosphere just because of his
43.
by bjz_ 7y ago
Trouble with "stage" is that is collides with the "stages" in "multistage programming" - so you're kind of adding to overloading in another field! It's also a field that has lots of applicability to t
44.
by bjz_ 7y ago
Yeah! This was a big reason why we've invested in funding the work on https://github.com/n8willis/opentype-shaping-documents/ - hopefully this makes the barrier to entry to building font shaping engines a lit
45.
by bjz_ 7y ago
At the same level of performance though?
46.
by bjz_ 7y ago
You might be interested in checking out https://typeclasses.com/ . You have to subscribe, but they have some free content, including this nice section: https://typeclasses.com/phrasebook , which gets right in
47.
by bjz_ 7y ago
They're doing lots of great heavy lifting to get effects and handlers into a production language, and I don't think it's fair to write them off like this. Yes, it's hard, but they seem to be making positive progress.
48.
by bjz_ 7y ago
Do you have to log in to access the link?
49.
by bjz_ 7y ago
> The low runtime error rate is due to the amount of stuff that Racket manages to catch at compile time compared to other dynamic languages and to some fairly extensive automated testing. Interested to know if typed racket was used for t
50.
by bjz_ 7y ago
Yeah, I've be _really_ impressed with Lean's support. Wish other provers like Coq and Agda were at the same level (I know how challenging it is to do though).
51.
by bjz_ 7y ago
Koka's docs are also okay, but could still do with some more work to help explain things in a compelling way: https://koka-lang.github.io/koka/doc/kokaspec.html
52.
by bjz_ 7y ago
Interesting problem! So much of 'reconstructing bits of programs' is about satisfying the constraints of a fixed ascii representation of code. I am hoping that structured editing might be able to help with this, by allowing you to
53.
by bjz_ 7y ago
Yeah, type inference shouldn't really take a huge amount of time like that - for example Rust's type inference is a pretty small part of the overall compile time (although it can take longer if you do some crazy stuff with traits)
54.
by bjz_ 7y ago
Nannou was recently bumped to 0.9 - they had a nice blog post here, with some neat examples (some commercial) including laser projection: https://nannou.cc/posts/nannou_v0.9 Being a big Processing fan, and a bit of an
55.
by bjz_ 7y ago
1. Rust _is_ helping Firefox development, and is a key part of why Firefox is remaining competitive. And they should have the flexibility to invest back into future R&D, and into supporting the open source projects that they depend on.
56.
by bjz_ 7y ago
The lack of a type system in Elixir is a productivity killer though :(
57.
by bjz_ 7y ago
So while we're at it we should look at breaking up Google as well.
58.
by bjz_ 7y ago
Those can be integrated with dependent types too - for an example look at F*.
59.
by bjz_ 7y ago
Yeah, I first saw this approach taken by the Rust announcements in the early days. It's a great demonstration of empathy to the reader!
60.
by bjz_ 7y ago
Ah, that's very interesting! Yeah, perhaps Edwin Brady has been better at marketing it to a wider audience - which is not a bad thing at all.

More ›