Yoric

55 ms·

811.
by Yoric 3y ago
No, they actually wrote a (domain-specific) programming language based on this. The tax code is apparently complex enough to be Turing-complete :)
812.
by Yoric 3y ago
Same in France. Some move to the US, some to the UK.
813.
by Yoric 3y ago
Anecdote from a friend. As a student, he reverse-engineered his country's tax application (not sure how he did that), turned it into a programming language, published the result as open-source along with formal semantics and precise do
814.
by Yoric 3y ago
It worked out pretty well for me. # Starting OCaml Batteries Included. (that and my academic research) got me my job at MLstate, no interview. # Contributing to Firefox Got me in touch with Firefox devs. One of them suggested I applied to M
815.
by Yoric 3y ago
Just stating the obvious: breaking memory safety is only one subset of all the possible misuse available in the space of manners of using an API, data structure, etc.
816.
by Yoric 3y ago
Wasn't that Counterpart? The one that takes place in Berlin?
817.
by Yoric 3y ago
Oh, Datalog within the language? Exciting! I've been looking for such a feature for some time. Do I understand correctly that the facts can be established dynamically from, say, IO functions? Also, are you going to present at FOSDEM?
818.
by Yoric 3y ago
Well, to be fair, Pirates of the Caribbean is a movie adaptation of a literal roller coaster based on a video game that was a lighthearted parody of pirate movies. That's not exactly a proven track to having a solid story :)
819.
by Yoric 3y ago
Amen to that. Of course, just as most of yesterday's crypto experts are today's AI experts, the main wastage seems to be moving towards LLMs these days.
820.
by Yoric 3y ago
That was on a whiteboard. I could try and find the list of people who were in the room, if necessary :)
821.
by Yoric 3y ago
Three Firefox developers from three different teams (Paolo, Irakli and I) each came up with Promise (with slightly different name and semantics - I think that mine was called Future, for instance). We were using them behind the scenes to re
822.
by Yoric 3y ago
I remember me running a tutorial on Promise for my team back in 2011. Those were the days :)
823.
by Yoric 3y ago
That's a lot of boilerplate code, scaffolding and additional instrumentation. In fact, much of my experience with C++ is at Mozilla, which does all of that and more. And still needs a team dedicated to recording and investigating crash
824.
by Yoric 3y ago
FWIW, that's what Mozilla is doing.
825.
by Yoric 3y ago
As far as I remember, most of the pillars of Haskell were hired to work on projects that were, at some level, competing with Haskell (by Microsoft, Facebook, Epic).
826.
by Yoric 3y ago
1. I had about 7 years of professional C++ experience, a few more as a hobbyist. By now, I have ~10 years of Rust. 2. I would definitely choose Rust. For better or for worse, the teams I work with tend to consider developer velocity as the
827.
by Yoric 3y ago
Yeah, C++ has evolved quite a lot. That being said, porting existing codebases from "old C++" (say < 2011) to "modern C++" can be a herculean task. I could be wrong, but my impression is that only clean slate codebase
828.
by Yoric 3y ago
Mozilla has Crash Scenes Investigations, a team dedicated to tracking down segfaults, so... yeah, they very much exist in the wild.
829.
by Yoric 3y ago
Yeah, I've tried to find this mythical subset. I handwaved my way around most of the difficulties, but I think that it exists. However, I'm not convinced that C++ developers are going to enjoy it. In particular, the subset I could
830.
by Yoric 3y ago
Yeah, I've seen C++ engineers pick up Rust in a few weeks. And one JavaScript engineer, too, defying my prejudice :)
831.
by Yoric 3y ago
As a Rust developer (and former C++ developer), I agree with much of what the author writes. I feel that Rust is a largely better language for my tasks but yes, Rust doesn't yet cover all the use cases for C++. I feel that the reasons
832.
by Yoric 3y ago
Thanks, it makes sense now! I think I've read a post by Niko Matskakis (Rust lead) who suggested doing something similar. That would be exciting to see!
833.
by Yoric 3y ago
Snitched upon by his colleague, too! (hi glandium, sylvestre)
834.
by Yoric 3y ago
It definitely means that, as a general rule, dogs bite people. It might not mean all dogs, but it's definitely a warning against dogs in general. Now, transpose this to human beings. The message we're commenting is a warning again
835.
by Yoric 3y ago
Thanks!
836.
by Yoric 3y ago
You're confusing semantics and subtext. The clear subtext in your examples is "Jews" (not "some Jews"), "Muslims" (not "some Muslims"), "Christians" (not "some Christians"). A
837.
by Yoric 3y ago
If you write "Christian Communities hate gays", I will very much read "all Christian communities". And deduce that you're probably spewing nonsense, just as with "Jewish communities" and "Muslim commu
838.
by Yoric 3y ago
I don't know about that. As a reader, I find that "Jewish Communities" very much sounds like "All Jews" and "Muslim Communities" very much sounds like "All Muslims". If that's not what the a
839.
by Yoric 3y ago
Do you have a written source for this? What you're describing is nice, but I can see so many basic cases in which it doesn't work, at least not without a borrow analysis much more sophisticated than Rust's, that I imagine I&#
840.
by Yoric 3y ago
The political & non-browser related causes are Mozilla Foundation. Firefox is Mozilla Corporation. Related entities, but two different sources of funding.

More ›