Viewing profile — YorkshireSeason

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…

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 …

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 indistingu…

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 dataf…

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 A…

LLMs today still struggle to met specifications exactly, which is what synthesis is good at.

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…

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.

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 …

Whoops, typo. "(1) it is a sex change operation ..." should be: "(1) it is not a sex change operation"

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 …

"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 rat…

(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 a…

[flagged]

> 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 mu…

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.d…

[flagged]

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 …

> 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, hel…

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 neu…

> 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 th…

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.

> Why not have two large economic superpowers We are getting there: China and the US.

> 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. Gen…

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 cont…