Hacker News: 082349872349872https://news.ycombinator.com/user?id=082349872349872Hacker News RSShttps://hnrss.org/hnrss v2.1.1Wed, 15 Apr 2026 00:11:19 +0000<![CDATA[Twentyseven 1.0]]>Article URL: https://blog.poisson.chat/posts/2025-08-01-twentyseven.html

Comments URL: https://news.ycombinator.com/item?id=44763016

Points: 44

# Comments: 4

]]>Fri, 01 Aug 2025 22:10:07 +0000https://blog.poisson.chat/posts/2025-08-01-twentyseven.html082349872349872https://news.ycombinator.com/item?id=44763016https://news.ycombinator.com/item?id=44763016<![CDATA[New comment by 082349872349872 in "Ask HN: Is there a way to see HN without all the posts about AI?"]]>read HN via RSS and title-filter out AI (and US politics, and...)

]]>Fri, 01 Aug 2025 22:07:29 +0000https://news.ycombinator.com/item?id=44762993082349872349872https://news.ycombinator.com/item?id=44762993https://news.ycombinator.com/item?id=44762993<![CDATA[New comment by 082349872349872 in "Vampire Population Ecology"]]>thanks for the Rot3K explication — I would've missed it completely.

(as I missed the tripartism, at least SG style?)

]]>Fri, 01 Aug 2025 06:00:07 +0000https://news.ycombinator.com/item?id=44753430082349872349872https://news.ycombinator.com/item?id=44753430https://news.ycombinator.com/item?id=44753430<![CDATA[New comment by 082349872349872 in "The Math Is Haunted"]]>> It took centuries to realize you couldn't

Millennia, even

]]>Thu, 31 Jul 2025 05:47:33 +0000https://news.ycombinator.com/item?id=44742679082349872349872https://news.ycombinator.com/item?id=44742679https://news.ycombinator.com/item?id=44742679<![CDATA[New comment by 082349872349872 in "My 2.5 year old laptop can write Space Invaders in JavaScript now (GLM-4.5 Air)"]]>man -k (or apropos)

]]>Wed, 30 Jul 2025 13:55:21 +0000https://news.ycombinator.com/item?id=44734259082349872349872https://news.ycombinator.com/item?id=44734259https://news.ycombinator.com/item?id=44734259<![CDATA[New comment by 082349872349872 in "Formal specs as sets of behaviors"]]>Wetware programmers may have found the mathematics unapproachable, but what about the LLMs?

]]>Tue, 29 Jul 2025 06:27:01 +0000https://news.ycombinator.com/item?id=44719736082349872349872https://news.ycombinator.com/item?id=44719736https://news.ycombinator.com/item?id=44719736<![CDATA[New comment by 082349872349872 in "Vampire Population Ecology"]]>hmm... sounds to me like involutionary competition and enshittification are closely related phenomena. To what extent might "AI all the things!" be injecting chicken blood?

]]>Mon, 28 Jul 2025 11:43:49 +0000https://news.ycombinator.com/item?id=44709870082349872349872https://news.ycombinator.com/item?id=44709870https://news.ycombinator.com/item?id=44709870<![CDATA[New comment by 082349872349872 in "Vampire Population Ecology"]]>内卷 == Red Queen's Race ?

]]>Sun, 27 Jul 2025 05:16:30 +0000https://news.ycombinator.com/item?id=44699050082349872349872https://news.ycombinator.com/item?id=44699050https://news.ycombinator.com/item?id=44699050<![CDATA[New comment by 082349872349872 in "Quantum Won't Replace Your Computer"]]>Love the autobio.

Noise and the differential reminds me of Hartmanis & Stearns, Algebraic Structure Theory of Sequential Machines (1966), in that the latter roughly studied how our knowledge of what state an automaton is in diffuses over repeated transitions.

]]>Sun, 27 Jul 2025 05:12:34 +0000https://news.ycombinator.com/item?id=44699034082349872349872https://news.ycombinator.com/item?id=44699034https://news.ycombinator.com/item?id=44699034<![CDATA[Vampire Population Ecology]]>Article URL: http://spiff.rit.edu/classes/phys317/buffy/vampecology.htm

Comments URL: https://news.ycombinator.com/item?id=44668342

Points: 3

# Comments: 8

]]>Thu, 24 Jul 2025 08:21:53 +0000http://spiff.rit.edu/classes/phys317/buffy/vampecology.htm082349872349872https://news.ycombinator.com/item?id=44668342https://news.ycombinator.com/item?id=44668342<![CDATA[New comment by 082349872349872 in "Quantum Won't Replace Your Computer"]]>https://www.researchgate.net/publication/2843975_A_Partial_O... is v interesting, but only goes to 7, so it lacks a 10.5.1?

]]>Thu, 24 Jul 2025 05:48:15 +0000https://news.ycombinator.com/item?id=44667354082349872349872https://news.ycombinator.com/item?id=44667354https://news.ycombinator.com/item?id=44667354<![CDATA[Pure Macros as a Programming Language]]>Article URL: https://www.cs.dartmouth.edu/~doug/barem4.m4

Comments URL: https://news.ycombinator.com/item?id=44638039

Points: 3

# Comments: 1

]]>Mon, 21 Jul 2025 17:39:36 +0000https://www.cs.dartmouth.edu/~doug/barem4.m4082349872349872https://news.ycombinator.com/item?id=44638039https://news.ycombinator.com/item?id=44638039<![CDATA[λ-Calculus: Then and Now (Dana S. Scott, 2013) [pdf]]]>Article URL: https://www.cis.upenn.edu/~cis5110/lambda_calculus_timeline-Scott.pdf

Comments URL: https://news.ycombinator.com/item?id=44626602

Points: 4

# Comments: 0

]]>Sun, 20 Jul 2025 16:15:30 +0000https://www.cis.upenn.edu/~cis5110/lambda_calculus_timeline-Scott.pdf082349872349872https://news.ycombinator.com/item?id=44626602https://news.ycombinator.com/item?id=44626602<![CDATA[New comment by 082349872349872 in "Stefanie Stantcheva: To understand America today, study the zero-sum mindset"]]>Sounds like a self-fulfilling prophecy to me: when zero-sum believers are in power, they tend to make the world less positive-sum, and when positive-sum believers are in power, they tend to make the world more positive-sum. (Thankfully, I don't live in a polity with an electorate attracted even to negative-sum believers.)

aside: speaking of https://news.ycombinator.com/item?id=44369612 , what do you think of the syntax-as-data in https://rhombus-lang.org ? (end of aside)

]]>Tue, 15 Jul 2025 08:27:17 +0000https://news.ycombinator.com/item?id=44569133082349872349872https://news.ycombinator.com/item?id=44569133https://news.ycombinator.com/item?id=44569133<![CDATA[New comment by 082349872349872 in "Grok Rolls Out Pornographic Anime Companion, Lands Dept. Of Defense Contract"]]>Q. What was that The Odyssey-themed hentai isekai called again?

A. You mean "The /ədˈvɛnt͡ʃɚz/ of /ˈtɛntəkliːz/"?

]]>Tue, 15 Jul 2025 08:18:46 +0000https://news.ycombinator.com/item?id=44569072082349872349872https://news.ycombinator.com/item?id=44569072https://news.ycombinator.com/item?id=44569072<![CDATA[New comment by 082349872349872 in "Conceptual synaesthesia as cognitive literacy"]]>in the priority heap... if you give me some pp's I'll bump it up

]]>Mon, 14 Jul 2025 08:30:08 +0000https://news.ycombinator.com/item?id=44557676082349872349872https://news.ycombinator.com/item?id=44557676https://news.ycombinator.com/item?id=44557676<![CDATA[New comment by 082349872349872 in "Conceptual synaesthesia as cognitive literacy"]]>AIUI, up until Scott, λ-calculus had mathematicians saying "yes, it works in practice, but can it ever work in theory?": say we have a universe of discourse D, and we want, per λ-calculus, to have functions D->D (D->D->D, etc.) be part of this universe of discourse. If D is a windowless monad, with a single object, we're ok: there's only 1 arrow (1^1) from 1 object to 1 object, namely the identity, so we just go ahead and identify it with the object. However, as soon as we have two objects in D, we have a problem: there are 4 arrows (2^2) from 2 objects to 2 objects, so even if we attempt to identify objects and functions we don't have enough for all the functions, and the problem only gets worse (N^N) as we have N>2 objects.

Scott's contribution was to cut down the cardinality of the function space: by restricting it to continuous functions (ie only those functions that have finite approximations, which is to say they don't do anything strange "at infinity") one not only gets what most people would admit is a reasonable model of computation, but -calculus then works in theory, as D->D can now fit inside of D.

What I was trying to explore (and maybe the trouble with asking an LLM about this sort of thing is that they're unlikely to push back hard enough?) is the notion that even given an "angelic turing machine", one still couldn't compute in a way than an earthly turing machine couldn't simulate.

Does that make sense?

]]>Thu, 10 Jul 2025 12:35:38 +0000https://news.ycombinator.com/item?id=44520293082349872349872https://news.ycombinator.com/item?id=44520293https://news.ycombinator.com/item?id=44520293<![CDATA[New comment by 082349872349872 in "RAH, "Logic of Empire" (1941)"]]>I don't, but one could argue that even this author's vision of that particular institution is far too inclusive of the subaltern: 兄弟如手足，妻子如衣服。 衣服破，尚可縫；手足斷，安可續？

]]>Thu, 10 Jul 2025 11:20:38 +0000https://news.ycombinator.com/item?id=44519737082349872349872https://news.ycombinator.com/item?id=44519737https://news.ycombinator.com/item?id=44519737<![CDATA[New comment by 082349872349872 in "Conceptual synaesthesia as cognitive literacy"]]>> Rot3K

Who needs 貂蝉 when we have 英子ちゃん?

(it's not just a western obsession; Deepthink's suggestion for the album cover of a Fonsi vs. Yongming remix "Dale despacito… 愛の火計！" included a photobombing 孙悟空 — only his magical staff is a glowstick)

EDIT: oops, think I hit some guardrails. Inspired by the parallel apartment balcony scenes, I started to get output for "Ya Boy Yongming" remixed with "Ivan Vasilievich Changes His Profession", but then it all disappeared to be replaced by "Sorry, that's beyond my current scope. Let’s talk about something else." What's wrong with asking for party boys crossed with Party boys? «Танцуют все!»

]]>Thu, 10 Jul 2025 10:04:39 +0000https://news.ycombinator.com/item?id=44519273082349872349872https://news.ycombinator.com/item?id=44519273https://news.ycombinator.com/item?id=44519273<![CDATA[New comment by 082349872349872 in "RAH, "Logic of Empire" (1941)"]]>https://barykin-pin-up.ru/#/i/kniga-luchshaya-podruga

]]>Thu, 10 Jul 2025 05:54:26 +0000https://news.ycombinator.com/item?id=44517731082349872349872https://news.ycombinator.com/item?id=44517731https://news.ycombinator.com/item?id=44517731