YorkshireSeason

6 ms·

1.
by YorkshireSeason 2y ago
Clearly, effect systems, as we know them today, are very heavyweight, and not worth the effort in the small. That's not controversial. But we have to present the ideas to beginners somehow. Those complex types come into their own in (
2.
by YorkshireSeason 2y ago
The purpose of effect handlers, direct-style effects etc, is to let the type-checker/type-inferencer do most of the reasoning about side-effects. Using such techniques requires an upfront investment of learning how this works, but once
3.
by YorkshireSeason 2y ago
The abstract concept here is liveness , aka "eventually something good will happen". In practise, liveness alone is insufficient because a locked up program/processor is indistinguishable from a very slow program/proces
4.
by YorkshireSeason 2y ago
Every good book on compilers. I learned this from [1]. The (hard to read) original papers include [2, 3]. Interesting tidbit: Gary Kildall, one of the pioneers of abstracting dataflow analyses, later played a role in the (in)famous deal bet
5.
by YorkshireSeason 2y ago
I agree this is an interesting direction. IIRC the top (open) bitvector synthesiser works like this (albeit not with ILP). Trouble with ILP is that it doesn't work on GPUs (as of April 2024) and on CPUs synthesis and other forms of lea
6.
by YorkshireSeason 2y ago
LLMs today still struggle to met specifications exactly, which is what synthesis is good at.
7.
by YorkshireSeason 4y ago
Survey propagation works primarily with random SAT instances, but isn't competitive with SAT instances that arise in industrial verification, where CDCL shines. Some gossip: survey propagation was proposed by Mezard, Parisi, and Zecchi
8.
by YorkshireSeason 4y ago
Unfortunately, Harrison's book, despite its many other merits, doesn't really treat CDCL (= conflict-driven clause learning), which is really what makes SAT solvers fly.
9.
by YorkshireSeason 4y ago
The children that Foucault has been referring to were not 21 year old men, as you know perfectly well, and as the Wikipedia article makes and the other links I gave make perfectly clear. And the German Greens also did not refer to 21 year
10.
by YorkshireSeason 4y ago
Whoops, typo. "(1) it is a sex change operation ..." should be: "(1) it is not a sex change operation"
11.
by YorkshireSeason 4y ago
From the wikipedia article: "Michel Foucault argued that it is intolerable to assume that a child is incapable of giving meaningful consent to sexual relations." The action of the french intellectuals or the Germ
12.
by YorkshireSeason 4y ago
"extraordinary rare" is still too much, and trivialises the issue. There is serious lobbying in place in many countries to make it happen more. As you know, the only acceptable rate is 0. One important stepping stone in getti
13.
by YorkshireSeason 4y ago
(1) it is a sex change operation, please do not misrepresent modern genital mutilation. Sex is a biological phenomenon to do with reproduction and, simplifying a small bit: there are two sexes, male and female. A
14.
by YorkshireSeason 4y ago
> Lobotomy was generally not voluntary on the part of the patient [...] curious how you feel about other forms of body modification In what sense can children consent to genital mutilation, since they do not understand at all human sexua
15.
by YorkshireSeason 4y ago
Please do not trivialise genital mutilation as 'culture war'. Did you actually read the french (and german green) petitions? https://web.archive.org/web/20050404190912/http://www.decadi... Here
16.
by YorkshireSeason 4y ago
I went through a similar learning trajectory. I think one has to experience it oneself though, my friends and relatives who never left the suburbs pity me for my restricted living space, and don't believe me when I tell them live is ea
17.
by YorkshireSeason 4y ago
> building a high trust society is more culture than demographics This is the kind of question that benefits from a probabilistic analysis: does ethnic homogeneity, on average, help or hinder building and maintaining a high trust socie
18.
by YorkshireSeason 4y ago
It seems save to say that ML has been moving further and further away from what neuroscience suggests, and towards efficient execution on fast GPUs and TPUs. That's in part b/c neuroscience is currently not equipped to explain how
19.
by YorkshireSeason 4y ago
> EU should have its own leading-edge chip foundry. Yes, "should". But it is unclear that the EU has the organisational capability to pull it off. The last few decades have seen the EU loosing it's technological edge in
20.
by YorkshireSeason 4y ago
Exactly. > Advanced computation platform for open science based in data I'd be interested to learn how the salary compares with a FAANG job in SV.
21.
by YorkshireSeason 4y ago
> Why not have two large economic superpowers We are getting there: China and the US.
22.
by YorkshireSeason 4y ago
> Europe has been highly Americanised This is very true and also very interesting. One underappreciated effect of this is the speed of diffusion of ideas originating in the US. Generalising and simplifying a great deal, it takes a coup
23.
by YorkshireSeason 4y ago
Linus Torvalds has been living in the US for a long time and is a US citizen. If [1] is accurate, the top Linux kernel contributor is Chinese, and almost all significant Linux contributors are outside of Europe. Arm microarchitecture is oft
24.
by YorkshireSeason 4y ago
Microbiology is a STEM subject, a 'hard' science, where you have fairly stringent criteria for evaluating the reproducability of truth claims. Fields that lack reproducability, replace this (i.e. truth) by community consensus whic
25.
by YorkshireSeason 4y ago
Nice work! How did you debug it? Did you run it against the 'official' RISC-V models Spike [1] or Sail [2]? [1] https://github.com/riscv-software-src/riscv-isa-sim [2] https://github.com/riscv
26.
by YorkshireSeason 4y ago
How much are you willing to bet?
27.
by YorkshireSeason 4y ago
It is valuable to point out connections with existing work, if only to avoid reinventing the wheel, and properly stand on the shoulders of gigants: אֵין כָּל חָדָשׁ תַּחַת הַשָּׁמֶשׁ‎ (there is nothing new under the sun).
28.
by YorkshireSeason 4y ago
The claim of formal equivalence is restricted to "linear transformers" . The tone of the comment seems to suggest that S.'s claim is slightly ridiculous. Can you point out a concrete technical shortcoming of the paper?
29.
by YorkshireSeason 4y ago
> Neural networks are merely generalized methods used to translate data. That's true of all computation! To see this, consider lambda-calculus, which is a calculus of functions (i.e. things that convert inputs into outputs). The c
30.
by YorkshireSeason 4y ago
Quite possible. Neither Faeser, vdLeyen nor Arne Schönbohm are technical, so they will simply push whatever their side is trying to achieve. The EU is also pushing hard for backdoors into all messaging platforms, and Faeser / vdLeyen d

More ›