YorkshireSeason · HackerTrans

YorkshireSeason

no profile record

Submissions

Systematic Analysis of Programming Languages for Spectre Attacks

arxiv.org

1 pointsby YorkshireSeason5년 전1 comments

A Quick Look at Trait Objects in Rust

tratt.net

3 pointsby YorkshireSeason7년 전0 comments

A Quick Look at Trait Objects in Rust

tratt.net

4 pointsby YorkshireSeason7년 전0 comments

comments

YorkshireSeason

2년 전discuss

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 (some) large-scale programs, and especially as large-scale programs evolve, as they are being changed by programmers other than the original authors. (Not all programming tasks may be suitable, see the article on Rust for games programming that's on the front page RN.) All that said, the whole point of the article, and the research on direct style effects is to make effect typing much more lightweight. Effect types as we do them today metastasise along the call graph, and that is a big problem (this is also why Java-style exception specifications are considered a mistake). Direct-style effects essentially use implicit arguments, as popularised by Haskell and Scala, to hide much of this complexity. Whether this experiment will succeed, or direct style effects suffer from other problems is unclear and we have to wait until we have enough experience with them. And that can only start, once there is a language that implements support for first class direct style effects.

The article suggests that this is coming to Scala, and I'm looking forward to being a guinea pig.

YorkshireSeason

2년 전discuss

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 that mountain is climbed, programming becomes easier, faster and less error prone in many cases.

YorkshireSeason

2년 전discuss

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/processor. So you really want bounded liveness, along the lines of "within X time units, something good will happen".

YorkshireSeason

2년 전discuss

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 between Microsoft and IBM that became the starting point for the dominance of the former. The foundational theory behind this is abstract interpretation for which you have many introductions, including [5, 6], with the (hard to read) original being [7].

[1] https://cs.au.dk/~amoeller/spa/

[2] G. A. Kildall, Global expression optimization during compilation.

[3] G. A. Kildall, A Unified Approach to Global Program Optimization.

[4] https://en.wikipedia.org/wiki/Gary_Kildall

[5] F. Nielson, H. Riis Nielson, C. Hankin, Principles of Program Analysis.

[6] X. Rival, K. Yi, Introduction to Static Analysis: An Abstract Interpretation Perspective.

[7] P. Cousot, R. Cousot, Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints.

YorkshireSeason

2년 전discuss

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 learning are hopeless. That may change in the future ...

YorkshireSeason

2년 전discuss

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

YorkshireSeason

4년 전discuss

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 Zecchina [1], and G. Parisi won the physics Nobel price in 2021 [2].

[1] M. Mezard, G. Parisi, R. Zecchina, Analytic and Algorithmic Solution of Random Satisfiability Problems. https://aiichironakano.github.io/cs653/Mezard-RSAT-Science02...

[2] https://en.wikipedia.org/wiki/Giorgio_Parisi

YorkshireSeason

4년 전discuss

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.

YorkshireSeason

4년 전discuss

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 old men, what they all were supporting was more something like the Kentler experiments [1].

What is "my own party" and what is "my own country", are you not making unwarranted assumptions?

Absent strong social pressure, humans tend to start having sex when they reach puberty. I doubt that there is even one human on the planet who does not have ancestors that had children at 13. Why is this relevant?

What is not acceptable, as you know very well, is genital mutilation of children without consent (children cannot give consent) that renders them permantently infertile and dysorgasmic. Stop defending child abuse!

[1] https://www.newyorker.com/magazine/2021/07/26/the-german-exp...

YorkshireSeason

4년 전discuss

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

YorkshireSeason

4년 전discuss

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 German Greens was very clearly not just about equating the age of consent between homosexuals and heterosexual, but also about enabling sex between adults and prepubescent children.

YorkshireSeason

4년 전discuss

"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 getting this rate back down to 0 is to make it illegal tout court even for adult. There should not even be medical infrastructure for such mutilation.

Aside, your user name here is after an organisation founded by one of world history's worst mass murderers. Can I suggest to show empathy with his victims, and not use this term? Using it trivialises his crimes.

YorkshireSeason

4년 전discuss

(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 man whose genitals are mutilated does not become a women (i.e. gains the ability to give birth to children).

(2) the purpose of modern genital mutilation for the mutilatee is to facilitate sex fraud, and for the mutilator is, one imagines, money.

(3) if believe someone at that age is mature enough to understand the implications of modern genital mutilation, you will have to face the question why you trivialise it. Your writing here may, directly or indirectly lead to more modern genital mutilation. Speech has consequences.

YorkshireSeason

4년 전discuss

[flagged]

YorkshireSeason

4년 전discuss

> 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 sexuality and the human sex drive, since the have had absolutely no experience with it? Virtually all other forms of body modification are also not legal for children.

YorkshireSeason

4년 전discuss

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 is the letter from the well-known intellectuals:

https://www.dolto.fr/fd-code-penal-crp.html

They were not just about making the age of consent equal for gay and hetero sex. They were also pushing for lowering and abolishing the age of consent altogether. You can see this as a 'submarine'. 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."

There is clearly a structural similarity between contemporary apologists for genital mutilation under euphemisms such as 'gender affirming surgery' and the what the french intellectuals demanded 50 years ago.

YorkshireSeason

4년 전discuss

[flagged]

YorkshireSeason

4년 전discuss

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 easier with less baggage and it a walkable center of town. I suspect they think I'm rationalising an inability to afford a suburban McMansion.

YorkshireSeason

4년 전discuss

> 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 society?

Many conflicts in world history have an ethnic dimension. Many substantial social cleavages, even if they are not ethnically based, over time may evolve an ethnic dimension. For example some religions have an ethnic dimension, most religions require members to marry only within the own religion etc. Moreover, people are more likely to procreate with people they spend a lot of time with. So even linguistic differences can lead to ethnicisation, since it's easier to socialise with people you can easily communicate with.

YorkshireSeason

4년 전discuss

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 human high-level intelligence works.