YorkshireSeason

10 ms·

61.
by YorkshireSeason 5y ago
> Take the spec for all sorting algorithms (giving observational equivalence): It's not that simple. You also have to specify the effect set of the algorithm, meaning, assuming we do in place sort: every memory cell other that the
62.
by YorkshireSeason 5y ago
> just like you have to evolve your specification/documentation. That is correct, and also one of the core reasons why in the vast majority of cases either no specification/documentation exists, or will only cover a small cas
63.
by YorkshireSeason 5y ago
> Not having a useful type system introduces its own complexity. I agree, I am not promoting dynamically typed languages. My intuition about this is more that there is a sweet-spot between automation and expressivity that gives you the
64.
by YorkshireSeason 5y ago
> The more rich the type system the more you can express Why is this interesting? You pay an extremely heavy price in terms of language complexity. In practise, you almost never have the invarants at all or correct when you begin progr
65.
by YorkshireSeason 5y ago
> I've never known any of XML's features to help with actually solving a business problem. Arm are publishing their full ISA processor specifications in XML, so it is 100% machine readable, see [1] for the actual specificatio
66.
by YorkshireSeason 5y ago
> understanding how e.g. C++ is written True, but why should you learn about this first? Better to get the fundamentals down first. Once you have that down, you can engage with accidental complexity like C++ compilation and linking det
67.
by YorkshireSeason 5y ago
Spectre has been analysed mostly as a hardware problem, but it is also possible to look at compilers / interpreters to see what kinds of mitigations the currently have.
68.
Systematic Analysis of Programming Languages for Spectre Attacks(arxiv.org)
1 points by YorkshireSeason 5y ago|1 comments
69.
by YorkshireSeason 5y ago
According to [1] and [2, Section 3.3], type-classes were first introduced in [3] under the name "parametric overloading" . Wadler's work [4] came a little later albeit was (probably) arrived at independently. [1] O. Kieselyo
70.
by YorkshireSeason 5y ago
It's best to think of RISCV not as a single ISA (= instruction set architecture), but a parametric ISA. The extensions are parameters. RISCV offers lots of official extensions to choose from, such as M, A, F, D, P, V, .... In addition
71.
by YorkshireSeason 5y ago
The beauty of a modular instruction set architecture like RISCV's is that you don't have to implement all of it, only the extensions that make sense for your use case. Aside, Keller's quote is probably partly in jest. If yo
72.
by YorkshireSeason 5y ago
When someone says "The Democratic People's Republic of Korea", you don't inform them that the North Korea is not a democracy?
73.
by YorkshireSeason 5y ago
> rigidly regulated mechanisms for knowledge procurement and knowledge dissemination available to us. Exactly. And the DSL in which science should be written as much as possible in order to make scientific results as reproducible as po
74.
by YorkshireSeason 5y ago
T. Nipkow, G. Klein, Concrete Semantics. http://concrete-semantics.org/ B. C. Pierce et al, Software Foundations. https://softwarefoundations.cis.upenn.edu/
75.
by YorkshireSeason 5y ago
> EU invests massive amounts in technology An interesting question is: what's the ROI of this investment. Anecdotally, the over the last 50 years the EU has been loosing their leadership in field after field. First to the US, then J
76.
by YorkshireSeason 6y ago
Thanks. I imagine that the complexity coming from implementing load/store pairs will probably be dwarfed by RISCV's forthcoming SIMD and Vector extensions.
77.
by YorkshireSeason 6y ago
load pairs and store pairs; What is the advantage of Load/Store pairs especially on a 64 bit architecture?
78.
by YorkshireSeason 7y ago
Thanks for the link to Marx PhD. As far as I understand [1] is (a book version of) Haraway's doctoral dissertation. "highly credentialed biologists", which is different than "highly credentialed in biology&
79.
by YorkshireSeason 7y ago
I replied to "jboynyc" uncritical remarks about "The Five Sexes, Revisited", as if "The Five Sexes, Revisited" mitigated the weaknesses of Fausto-Sterling's work.
80.
by YorkshireSeason 7y ago
How was early Machine Learning different from statistics? I'd argue: in two ways. First: ML's algorithmic focus. Just about anything in modern AI/ML works because it uses compute at extreme scale. For example
81.
by YorkshireSeason 7y ago
The paper "The Five Sexes, Revisited" which you can find at [1], is at best an essay on gender and recent changes in gender-based legislation, at worst badly written political activism, but most certainly not in the slightest
82.
by YorkshireSeason 7y ago
we should probably read it I spent about 20 minutes reading parts of it. I'd classify it as "history of science" (a perfectly valid subject). Bottom line is she's highly No. She is in no way "highl
83.
by YorkshireSeason 7y ago
According to Wikipedia [1] her PhD was about "use of metaphor in shaping experiments in experimental biology". This is not what I'd call biology proper. You can have a look at it: it was later published as a book "Cryst
84.
by YorkshireSeason 7y ago
In what sense is Donna Haraway a "highly credentialed biologist"?
85.
by YorkshireSeason 7y ago
Is this a joke or is Tobias a (great) grandson of Paul Gottlieb's?
86.
by YorkshireSeason 7y ago
Interesting variant of dehumanisation [1] that often precedes the act of taking property without compensation. The gap between the article's "the city [the tech workers] fought so hard to conquer" , and the reality that is s
87.
by YorkshireSeason 7y ago
As of July 2019, there is no know way that cures drug addition with even moderate degrees of success. Indeed, even the very definition of addiction is still controversial. From [1]: "[D]efining addiction is not an easy task and sti
88.
by YorkshireSeason 7y ago
I find this doesn't work well. t's quite easy to produce a catchy looking title and abstract. Unlike mere Googling, top conferences and journals add a layer of peer review that reduces the probability of low-quality content. I&#x
89.
by YorkshireSeason 7y ago
How do you filter arXiv? There's way too many papers on arXiv, it's impossible to keep track of everything, especially since the quality on arXiv is ... heterogenous.
90.
by YorkshireSeason 7y ago
Aging and death was considered unpleasant long before the emergence of 'capitalism' and will be long after its demise. Indeed the very word "pathology" is from Greek, πάθος (páthos, “disease”) and -λογία (-logía, “study

More ›