mafribe

10 ms·

61.
by mafribe 6y ago
[citation needed] How about this: https://www.containcovid-pan.eu/ ? Choice quote: Given open borders within Europe, a single country alone cannot keep the number of COVID-19 cases low Let's reverse the burde
62.
by mafribe 6y ago
Londoner here too and I agree with your observations about compliance. Tons of rule breaking. The dance studio next to my dwelling has been running popular dance classes as recently as last night. I think it's mostly an age thing: th
63.
by mafribe 6y ago
A fun exercise is writing a lexer generator or a parser generator. It's probably easier starting out with writing a lexer generator like Flex for your favourite language. I recommend using the Flex input format, than you can test yo
64.
by mafribe 6y ago
From my experience in industry, while hardly any programmer will ever need to write a modern code generator, few things are more useful in practise than being able quickly to design a suitable DSL and implement a corresponding performant an
65.
by mafribe 6y ago
As elegant as parser combinators are, it is not so easy to work out exactly what grammar they are implementing.
66.
by mafribe 6y ago
I understand the problem. I teach compilers at a big university. And I would love to hire graduates with compiler skills for my startup, but find it difficult. There are several structural problems that conspire to keep students from acquir
67.
by mafribe 6y ago
There are many good reasons to preserve institutions such as private property and the legal infrastructure surrounding its disposition. I imagine rayiner's father's question had those in mind.
68.
by mafribe 6y ago
According to https://www.propublica.org/supporters ProPublica gets funding from: Abrams Foundation, Altman Foundation, Arnold Ventures, Barr Foundation, The William K. Bowes, Jr. Foundation, The Peter and Carmen Lucia Buck
69.
by mafribe 6y ago
Many universities teach FP to their undergraduates, some of them even use Haskell as their first programming language. I have published at ICFP and in the JFP, and understand garbage collectors, laziness, monads, good persistent data struct
70.
by mafribe 7y ago
It's a short-term vs long-term trade-off. Learning a dynamically typed language like Python is moderately easier than learning a statically typed language, especially old-fashioned languages like Java without type inference. OTOH usi
71.
by mafribe 7y ago
How would you compare the state of proof automation to be expected from Lean 4 in comparison with Isabelle/HOL? I'm quite familiar with the latter.
72.
by mafribe 7y ago
Whether HoTT is a better foundation of mathematics (FOM) in the sense of being easier to use in practise is an open question. It's unclear even exactly what it means to be a better or worse FOM. Note also that all well-known foundation
73.
by mafribe 7y ago
everything you're rebutting is actually in agreement with your rebuttal. Maybe I'm misunderstanding what you are saying. I read your post as: "X is the case, arguments for not-X are anecdata, we have to take no
74.
by mafribe 7y ago
basis for your first point is I have read 100s of such 'studies' over the years, they are not meeting even the most basic scientific standards. I have brought one such case to the attention of the university of its author
75.
by mafribe 7y ago
Why is this? Intuition pump for the curious: why doesn't Melania Knauss work as a programmer?
76.
by mafribe 7y ago
I apologise if I was unclear. What I tried to do was subtly to entice my readers to reflect on the validity of the ruling beliefs about women in STEM -- knowing full well that I'm flying outside the tech crowd's Overton window. Le
77.
by mafribe 7y ago
unconscious biases of the reviewers This can of course also be turned the other way around: "less-qualified women are getting more funding over more qualified men due to unconscious biases of the reviewers" studi
78.
by mafribe 7y ago
goverment build housing Berlin government is not building housing in meaningful quantities to keep up with demand. You can look at BER (the airport that was supposed to open in 2012) to get an appreciation for how dysfunctional
79.
by mafribe 7y ago
what's your CS area?
80.
by mafribe 7y ago
Are there high-performance matrix multiplication libraries, e.g. for fluid-dynamics simulations, that are implemented using persistent data structures?
81.
by mafribe 7y ago
Thanks. That's amazing. I always though GC must have been in Lisp from Day 1, but the Minsky article used to be the oldest one I was aware of. Has anybody dug into the original LISP sources (do they still exist?) to see when working GC
82.
by mafribe 7y ago
possible for the Rust compiler to infer most/all lifetimes) I'd be interested to learn why you think this is possible. As you point out yourself, by Rice's theorem, precise lifetimes are not statically decidable.
83.
by mafribe 7y ago
Thirty years of good research Historical aside: the first paper on GC is [1] which was written in 1963, by Minsky, who's now famous for AI research. So we have GC research for > 50 years. [1] M. L. Minsky, A LISP Garbage Co
84.
by mafribe 7y ago
Au contraire , as memory, and hence workloads, get bigger, the cost of copying increases, and copying rather than sharing becomes ever more expensive. I just spoke with a physicist who told me that his current experiment produces 200 Gigab
85.
by mafribe 7y ago
Am I wrong ... Yes. Unless your memory is infinite. Rust also automatically deallocates memory that is no longer used, so it's some kind of GC, but one where the point of deallocation is either statically determined (based on
86.
by mafribe 7y ago
It is true that Bezos' and Gates' ascent depended on "peace and security and these other institutions", but wealth once acquired can easily be defended by burning those institutions to the ground; indeed that would prob
87.
by mafribe 7y ago
Let me be the contrarian here: history seems to suggest otherwise. All throughout history, any society of sufficient complexity develops strong hierarchies, with a small ruling elite. Throughout history those ruling elites almost never had
88.
by mafribe 7y ago
Yes, and that fits perfectly with: Grundgesetz = Weimar-debugged .
89.
by mafribe 7y ago
Emergency Acts (Notstandsgesetze) were passed in 1968. https://en.wikipedia.org/wiki/German_Emergency_Acts
90.
by mafribe 7y ago
Yes, that's also what I though. The new German constitution was heavily based on the Weimar constitution, but the parts that made Weimar unstable were replaced so those failure modes no longer apply, e.g. Weimar's destruktives M

More ›