<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: AbstractPlay</title><link>https://news.ycombinator.com/user?id=AbstractPlay</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Thu, 28 May 2026 20:00:23 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=AbstractPlay" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by AbstractPlay in "AMD pulls a bait-and-switch on Linux users with Vivado licensing changes"]]></title><description><![CDATA[
<p>Your "true observation" doesn't contribute to the context of this particular topic thread which "has nothing to do with [your] comment", as you are "well aware". You should review the HN Guidelines: <a href="https://news.ycombinator.com/newsguidelines.html">https://news.ycombinator.com/newsguidelines.html</a></p>
]]></description><pubDate>Thu, 28 May 2026 11:57:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=48307668</link><dc:creator>AbstractPlay</dc:creator><comments>https://news.ycombinator.com/item?id=48307668</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48307668</guid></item><item><title><![CDATA[Lojban]]></title><description><![CDATA[
<p>Article URL: <a href="https://en.wikipedia.org/wiki/Lojban">https://en.wikipedia.org/wiki/Lojban</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=48104449">https://news.ycombinator.com/item?id=48104449</a></p>
<p>Points: 4</p>
<p># Comments: 0</p>
]]></description><pubDate>Tue, 12 May 2026 05:14:13 +0000</pubDate><link>https://en.wikipedia.org/wiki/Lojban</link><dc:creator>AbstractPlay</dc:creator><comments>https://news.ycombinator.com/item?id=48104449</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48104449</guid></item><item><title><![CDATA[Geordie Williamson: Neural Networks for Mathematical Discovery]]></title><description><![CDATA[
<p>Article URL: <a href="https://www.youtube.com/watch?v=Uxr_HrbN1MQ">https://www.youtube.com/watch?v=Uxr_HrbN1MQ</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=45833649">https://news.ycombinator.com/item?id=45833649</a></p>
<p>Points: 1</p>
<p># Comments: 0</p>
]]></description><pubDate>Thu, 06 Nov 2025 10:33:53 +0000</pubDate><link>https://www.youtube.com/watch?v=Uxr_HrbN1MQ</link><dc:creator>AbstractPlay</dc:creator><comments>https://news.ycombinator.com/item?id=45833649</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45833649</guid></item><item><title><![CDATA[Is This the End of Handwritten Math? Introducing Lean [video]]]></title><description><![CDATA[
<p>Article URL: <a href="https://www.youtube.com/watch?v=0QZI_m8WZ0Q">https://www.youtube.com/watch?v=0QZI_m8WZ0Q</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=45785529">https://news.ycombinator.com/item?id=45785529</a></p>
<p>Points: 3</p>
<p># Comments: 0</p>
]]></description><pubDate>Sat, 01 Nov 2025 21:24:19 +0000</pubDate><link>https://www.youtube.com/watch?v=0QZI_m8WZ0Q</link><dc:creator>AbstractPlay</dc:creator><comments>https://news.ycombinator.com/item?id=45785529</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45785529</guid></item><item><title><![CDATA[New comment by AbstractPlay in "Logical implication is a comparison operator"]]></title><description><![CDATA[
<p>> I am very clear that this is a conversation with a Claude impersonation of Graham Priest, not Graham Priest himself.<p>Only after you make the upfront claim, in bold letters, in words you chose: "A Conversation with Graham Priest About Abstraction Logic". You did not choose to title your blog post "A Conversation About Abstraction Logic With Claude Representing Graham Priest" which is the more honest title for your blog post, except that it's clear that Claude was not capable of representing Priest since "the real Graham Priest says that it doesn't really sound like his voice." You chose to title your blog post "A Conversation with Graham Priest About Abstraction Logic". Obviously this line gives the impression that you had an actual conversation with the actual Graham Priest. You must have recognized that the wording you chose is false and deceptive. Are you hoping that attaching Priest's name gives your work more gravitas or encourages more sales of your book?<p>> I don't see what is unethical about that.<p>You see nothing unethical about prompting an LLM to take on someone's persona and then presenting the resulting conversation in a blog post with a title which gives the initial impression that you had an actual conversation with the actual person?<p>Be clear about where you stand on this at least so that any university or elsewhere that might have any interest in offering a job for you to continue your work in abstraction logic might know where you stand on misrepresenting professional academics.<p>> Who is "we"?<p>The general public to which you are presenting your work and advertising your book.<p>> I don't even know who you are, AbstractPlay.<p>I'm a member of the general public to which you are presenting your work and advertising your book.<p>> The article exists because I personally find it interesting, and I actually learnt something through it. If somebody else finds it interesting, great. If you don't, too bad.<p>Okay, but you're presenting this pseudo-conversation on the website through which you are presenting your work and advertising your book to the general public. Presenting it there gives the impression that this pseudo-conversation is meant to support your work, not that it's some tangential, self-satisfying curiosity appropriate for a personal blog.<p>It would be far more interesting if you posted actual conversations you actually have with actual academics actually commenting on your work instead of this fantasy world of LLM regurgitation that you expect us to believe is ultimately intended to only be interesting and enlightening to you.</p>
]]></description><pubDate>Mon, 21 Jul 2025 21:29:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=44640626</link><dc:creator>AbstractPlay</dc:creator><comments>https://news.ycombinator.com/item?id=44640626</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44640626</guid></item><item><title><![CDATA[New comment by AbstractPlay in "Logical implication is a comparison operator"]]></title><description><![CDATA[
<p>On your website, you seem to claim in bold letters that you've talked to Graham Priest about your work:<p>> A Conversation with Graham Priest About Abstraction Logic<p>but admit afterward that you talked to Claude prompted to sound like Graham Priest:<p>> A conversation about abstraction logic with Claude representing Graham Priest.<p>You also wrote an update stating:<p>> Update: The real Graham Priest says that it doesn't really sound like his voice. So enjoy with caution .<p>Don't you find it unethical to claim that you had "a conversation with Graham Priest about Abstraction Logic"? You didn't have a conversation with Priest. You had an interaction with Claude in Priest clothing. It doesn't even sound like Priest agrees with what you prompted Claude to say. Do you think it's permissible to let LLMs speak on behalf of people without their consent? Do you think that what an LLM says when prompted to speak as though it were some person should be accepted as what the person would actually say and believe?<p>Why should we find it interesting what any LLM has to say about your work, regardless of whose voice you dress it up as?</p>
]]></description><pubDate>Mon, 21 Jul 2025 12:13:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=44634251</link><dc:creator>AbstractPlay</dc:creator><comments>https://news.ycombinator.com/item?id=44634251</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44634251</guid></item><item><title><![CDATA[Why Are LLMs Not Better at Finding Proofs? [video]]]></title><description><![CDATA[
<p>Article URL: <a href="https://www.youtube.com/watch?v=5D3x_Ygv3No">https://www.youtube.com/watch?v=5D3x_Ygv3No</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=44145999">https://news.ycombinator.com/item?id=44145999</a></p>
<p>Points: 6</p>
<p># Comments: 1</p>
]]></description><pubDate>Sat, 31 May 2025 18:15:55 +0000</pubDate><link>https://www.youtube.com/watch?v=5D3x_Ygv3No</link><dc:creator>AbstractPlay</dc:creator><comments>https://news.ycombinator.com/item?id=44145999</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44145999</guid></item><item><title><![CDATA[How we might have viewed the continuum hypothesis as a fundamental axiom]]></title><description><![CDATA[
<p>Article URL: <a href="https://www.youtube.com/watch?v=jxu80s5vvzk">https://www.youtube.com/watch?v=jxu80s5vvzk</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=44044317">https://news.ycombinator.com/item?id=44044317</a></p>
<p>Points: 1</p>
<p># Comments: 0</p>
]]></description><pubDate>Tue, 20 May 2025 18:15:18 +0000</pubDate><link>https://www.youtube.com/watch?v=jxu80s5vvzk</link><dc:creator>AbstractPlay</dc:creator><comments>https://news.ycombinator.com/item?id=44044317</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44044317</guid></item></channel></rss>