<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Hacker News: YorkshireSeason</title><link>https://news.ycombinator.com/user?id=YorkshireSeason</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Sun, 03 May 2026 21:34:59 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=YorkshireSeason" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by YorkshireSeason in "Direct-Style Effects Explained"]]></title><description><![CDATA[
<p>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
<i>direct style effects</i> 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). <i>Direct-style effects</i> essentially use
implicit arguments, as popularised by Haskell and Scala, to hide much of this complexity. Whether this experiment will succeed, or
<i>direct style effects</i> 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 <i>direct style effects</i>.<p>The article suggests that this is coming to Scala, and I'm looking forward to being a guinea pig.</p>
]]></description><pubDate>Sat, 27 Apr 2024 12:58:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=40179622</link><dc:creator>YorkshireSeason</dc:creator><comments>https://news.ycombinator.com/item?id=40179622</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=40179622</guid></item><item><title><![CDATA[New comment by YorkshireSeason in "Direct-Style Effects Explained"]]></title><description><![CDATA[
<p>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.<p>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.</p>
]]></description><pubDate>Sat, 27 Apr 2024 07:20:12 +0000</pubDate><link>https://news.ycombinator.com/item?id=40177994</link><dc:creator>YorkshireSeason</dc:creator><comments>https://news.ycombinator.com/item?id=40177994</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=40177994</guid></item><item><title><![CDATA[New comment by YorkshireSeason in "Make invalid states unrepresentable (2023)"]]></title><description><![CDATA[
<p>The abstract concept here is <i>liveness</i>, 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 <i>bounded liveness</i>, along the lines of "within X time units, something good will happen".</p>
]]></description><pubDate>Thu, 25 Apr 2024 12:35:52 +0000</pubDate><link>https://news.ycombinator.com/item?id=40156741</link><dc:creator>YorkshireSeason</dc:creator><comments>https://news.ycombinator.com/item?id=40156741</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=40156741</guid></item><item><title><![CDATA[New comment by YorkshireSeason in "Dataflow Analyses and Compiler Optimizations That Use Them, for Free"]]></title><description><![CDATA[
<p>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 <i>abstract interpretation</i>  for which you have many introductions, including [5, 6], with the (hard to read) original being [7].<p>[1] <a href="https://cs.au.dk/~amoeller/spa/" rel="nofollow">https://cs.au.dk/~amoeller/spa/</a><p>[2] G. A. Kildall, <i>Global expression optimization during compilation</i>.<p>[3] G. A. Kildall, <i>A Unified Approach to Global Program Optimization</i>.<p>[4] <a href="https://en.wikipedia.org/wiki/Gary_Kildall" rel="nofollow">https://en.wikipedia.org/wiki/Gary_Kildall</a><p>[5] F. Nielson, H. Riis Nielson, C. Hankin, <i>Principles of Program Analysis</i>.<p>[6] X. Rival, K. Yi, <i>Introduction to Static Analysis: An Abstract Interpretation Perspective</i>.<p>[7] P. Cousot, R. Cousot, <i>Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints</i>.</p>
]]></description><pubDate>Sun, 21 Apr 2024 11:31:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=40104834</link><dc:creator>YorkshireSeason</dc:creator><comments>https://news.ycombinator.com/item?id=40104834</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=40104834</guid></item><item><title><![CDATA[New comment by YorkshireSeason in "Program synthesis"]]></title><description><![CDATA[
<p>I agree this is an interesting direction. IIRC the top (open) bitvector synthesiser works like this (albeit not with ILP).<p>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 ...</p>
]]></description><pubDate>Mon, 15 Apr 2024 11:25:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=40039080</link><dc:creator>YorkshireSeason</dc:creator><comments>https://news.ycombinator.com/item?id=40039080</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=40039080</guid></item><item><title><![CDATA[New comment by YorkshireSeason in "Program synthesis"]]></title><description><![CDATA[
<p>LLMs today still struggle to met specifications exactly, which is what synthesis is good at.</p>
]]></description><pubDate>Sun, 14 Apr 2024 20:41:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=40034296</link><dc:creator>YorkshireSeason</dc:creator><comments>https://news.ycombinator.com/item?id=40034296</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=40034296</guid></item><item><title><![CDATA[New comment by YorkshireSeason in "Ask HN: Anyone doing some absurd stuff after getting laid off?"]]></title><description><![CDATA[
<p>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].<p>[1] M. Mezard, G. Parisi, R. Zecchina, <i>Analytic and Algorithmic Solution of Random Satisfiability Problems.</i> <a href="https://aiichironakano.github.io/cs653/Mezard-RSAT-Science02.pdf" rel="nofollow">https://aiichironakano.github.io/cs653/Mezard-RSAT-Science02...</a><p>[2] <a href="https://en.wikipedia.org/wiki/Giorgio_Parisi" rel="nofollow">https://en.wikipedia.org/wiki/Giorgio_Parisi</a></p>
]]></description><pubDate>Mon, 23 Jan 2023 08:25:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=34486656</link><dc:creator>YorkshireSeason</dc:creator><comments>https://news.ycombinator.com/item?id=34486656</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34486656</guid></item><item><title><![CDATA[New comment by YorkshireSeason in "Ask HN: Anyone doing some absurd stuff after getting laid off?"]]></title><description><![CDATA[
<p>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.</p>
]]></description><pubDate>Mon, 23 Jan 2023 08:24:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=34486651</link><dc:creator>YorkshireSeason</dc:creator><comments>https://news.ycombinator.com/item?id=34486651</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34486651</guid></item><item><title><![CDATA[New comment by YorkshireSeason in "Social contagions can cause genuine illness, and TikTok may be a superspreader"]]></title><description><![CDATA[
<p>The children that Foucault has been referring to were <i>not</i> 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].<p>What is "my own party" and what is "my own country", are you not making unwarranted assumptions?<p>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?<p>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!<p>[1] <a href="https://www.newyorker.com/magazine/2021/07/26/the-german-experiment-that-placed-foster-children-with-pedophiles" rel="nofollow">https://www.newyorker.com/magazine/2021/07/26/the-german-exp...</a></p>
]]></description><pubDate>Tue, 10 Jan 2023 16:47:30 +0000</pubDate><link>https://news.ycombinator.com/item?id=34327605</link><dc:creator>YorkshireSeason</dc:creator><comments>https://news.ycombinator.com/item?id=34327605</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34327605</guid></item><item><title><![CDATA[New comment by YorkshireSeason in "Social contagions can cause genuine illness, and TikTok may be a superspreader"]]></title><description><![CDATA[
<p>Whoops, typo. <i>"(1) it is a sex change operation ..."</i> should be: "(1) it is not a sex change operation"</p>
]]></description><pubDate>Tue, 10 Jan 2023 16:32:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=34327391</link><dc:creator>YorkshireSeason</dc:creator><comments>https://news.ycombinator.com/item?id=34327391</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34327391</guid></item><item><title><![CDATA[New comment by YorkshireSeason in "Social contagions can cause genuine illness, and TikTok may be a superspreader"]]></title><description><![CDATA[
<p>From the wikipedia article:<p><pre><code>   "Michel Foucault argued that it is intolerable 
    to assume that a child is incapable of giving 
    meaningful consent to sexual relations."
</code></pre>
The action of the french intellectuals or the German Greens was very clearly not <i>just</i> about equating the age of consent  between homosexuals and heterosexual, but <i>also</i> about enabling sex between adults and prepubescent children.</p>
]]></description><pubDate>Tue, 10 Jan 2023 13:06:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=34324239</link><dc:creator>YorkshireSeason</dc:creator><comments>https://news.ycombinator.com/item?id=34324239</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34324239</guid></item><item><title><![CDATA[New comment by YorkshireSeason in "Social contagions can cause genuine illness, and TikTok may be a superspreader"]]></title><description><![CDATA[
<p><i>"extraordinary rare"</i> 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 <i>tout court</i> even for adult. There should not even be medical infrastructure for such mutilation.<p>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.</p>
]]></description><pubDate>Tue, 10 Jan 2023 13:02:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=34324174</link><dc:creator>YorkshireSeason</dc:creator><comments>https://news.ycombinator.com/item?id=34324174</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34324174</guid></item><item><title><![CDATA[New comment by YorkshireSeason in "Social contagions can cause genuine illness, and TikTok may be a superspreader"]]></title><description><![CDATA[
<p><i>(1)</i> 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).<p>(2) the purpose of modern genital mutilation for the mutilatee is to facilitate sex fraud, and for the mutilator is, one imagines,               
money.<p>(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.</p>
]]></description><pubDate>Tue, 10 Jan 2023 11:57:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=34323457</link><dc:creator>YorkshireSeason</dc:creator><comments>https://news.ycombinator.com/item?id=34323457</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34323457</guid></item><item><title><![CDATA[New comment by YorkshireSeason in "Social contagions can cause genuine illness, and TikTok may be a superspreader"]]></title><description><![CDATA[
<p>> Lobotomy was generally not voluntary on the part of the patient [...] curious how you feel about other forms of body modification<p>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.</p>
]]></description><pubDate>Sun, 08 Jan 2023 16:32:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=34300469</link><dc:creator>YorkshireSeason</dc:creator><comments>https://news.ycombinator.com/item?id=34300469</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34300469</guid></item><item><title><![CDATA[New comment by YorkshireSeason in "Social contagions can cause genuine illness, and TikTok may be a superspreader"]]></title><description><![CDATA[
<p>Please do not trivialise genital mutilation as 'culture war'.<p>Did you actually read the french (and german green) petitions?<p><a href="https://web.archive.org/web/20050404190912/http://www.decadi.com/dignaction/Fpetit.html" rel="nofollow">https://web.archive.org/web/20050404190912/http://www.decadi...</a><p>Here is the letter from the well-known intellectuals:<p><a href="https://www.dolto.fr/fd-code-penal-crp.html" rel="nofollow">https://www.dolto.fr/fd-code-penal-crp.html</a><p>They were <i>not</i> just about making the age of consent equal for gay and hetero sex. They were <i>also</i> pushing for lowering and abolishing the age of consent altogether.  You can see this as a 'submarine'. From the wikipedia article:<p><pre><code>   "Michel Foucault argued that it is intolerable 
    to assume that a child is incapable of giving 
    meaningful consent to sexual relations."
</code></pre>
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.</p>
]]></description><pubDate>Sun, 08 Jan 2023 16:23:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=34300388</link><dc:creator>YorkshireSeason</dc:creator><comments>https://news.ycombinator.com/item?id=34300388</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34300388</guid></item><item><title><![CDATA[New comment by YorkshireSeason in "Emergent Tokyo: Designing the spontaneous city"]]></title><description><![CDATA[
<p>I went through a similar learning trajectory.<p>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.</p>
]]></description><pubDate>Mon, 02 Jan 2023 13:46:43 +0000</pubDate><link>https://news.ycombinator.com/item?id=34217758</link><dc:creator>YorkshireSeason</dc:creator><comments>https://news.ycombinator.com/item?id=34217758</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34217758</guid></item><item><title><![CDATA[New comment by YorkshireSeason in "Emergent Tokyo: Designing the spontaneous city"]]></title><description><![CDATA[
<p>> <i>building a high trust society is more culture than demographics</i><p>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?<p>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.</p>
]]></description><pubDate>Mon, 02 Jan 2023 13:38:11 +0000</pubDate><link>https://news.ycombinator.com/item?id=34217677</link><dc:creator>YorkshireSeason</dc:creator><comments>https://news.ycombinator.com/item?id=34217677</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34217677</guid></item><item><title><![CDATA[New comment by YorkshireSeason in "Can large language models reason about medical questions?"]]></title><description><![CDATA[
<p>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.</p>
]]></description><pubDate>Sun, 01 Jan 2023 02:43:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=34203058</link><dc:creator>YorkshireSeason</dc:creator><comments>https://news.ycombinator.com/item?id=34203058</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34203058</guid></item><item><title><![CDATA[New comment by YorkshireSeason in "Intel Delays German Chip Plant and Wants More Funds"]]></title><description><![CDATA[
<p>> <i>EU should have its own leading-edge chip foundry.</i><p>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 more and more fields,  the more the EU makes (funding) decisions in science and technology. Whether there is causation or just correlation is an interesting question,  see [1]  for a recent discussion.<p>> <i>planned obsolescence of compilers</i><p>Which planned obsolescence? Intel is backwards compatible at least to the x86 from 1978 (?). And I think even back to the 8080. IBM mainframes might still be System/360 (1964) compatible, although I have not checked recently.<p>Given the RISC-V extensions and profiles tend to proliferate, and indeed that there is a competitive advantage in pushing your own extension, there is an often articulated fear that the RISC-V might fragment faster than those controlled by a single vendor.<p>[1] <a href="https://news.ycombinator.com/item?id=33971577" rel="nofollow">https://news.ycombinator.com/item?id=33971577</a></p>
]]></description><pubDate>Sun, 18 Dec 2022 16:08:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=34038993</link><dc:creator>YorkshireSeason</dc:creator><comments>https://news.ycombinator.com/item?id=34038993</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=34038993</guid></item><item><title><![CDATA[New comment by YorkshireSeason in "Is Europe just not good at innovating?"]]></title><description><![CDATA[
<p>Exactly.<p>> <i>Advanced computation platform for open science based in data</i><p>I'd be interested to learn how the salary compares with a FAANG job in SV.</p>
]]></description><pubDate>Tue, 13 Dec 2022 19:43:09 +0000</pubDate><link>https://news.ycombinator.com/item?id=33974603</link><dc:creator>YorkshireSeason</dc:creator><comments>https://news.ycombinator.com/item?id=33974603</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=33974603</guid></item></channel></rss>