<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: marvinborner</title><link>https://news.ycombinator.com/user?id=marvinborner</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Thu, 20 Aug 2026 18:24:44 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=marvinborner" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[Maths Puzzle Endurance World Record [video]]]></title><description><![CDATA[
<p>Article URL: <a href="https://www.youtube.com/watch?v=1L3JTmWRvsk">https://www.youtube.com/watch?v=1L3JTmWRvsk</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=49364406">https://news.ycombinator.com/item?id=49364406</a></p>
<p>Points: 2</p>
<p># Comments: 0</p>
]]></description><pubDate>Wed, 19 Aug 2026 17:19:55 +0000</pubDate><link>https://www.youtube.com/watch?v=1L3JTmWRvsk</link><dc:creator>marvinborner</dc:creator><comments>https://news.ycombinator.com/item?id=49364406</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49364406</guid></item><item><title><![CDATA[A Dual View on Syntax]]></title><description><![CDATA[
<p>Article URL: <a href="https://text.marvinborner.de/2026-08-11-17.html">https://text.marvinborner.de/2026-08-11-17.html</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=49329164">https://news.ycombinator.com/item?id=49329164</a></p>
<p>Points: 3</p>
<p># Comments: 0</p>
]]></description><pubDate>Mon, 17 Aug 2026 11:17:07 +0000</pubDate><link>https://text.marvinborner.de/2026-08-11-17.html</link><dc:creator>marvinborner</dc:creator><comments>https://news.ycombinator.com/item?id=49329164</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49329164</guid></item><item><title><![CDATA[Terence Tao Lecture: Mathematics in the Age of AI [video]]]></title><description><![CDATA[
<p>Article URL: <a href="https://www.youtube.com/watch?v=M0--ZH1lOzg">https://www.youtube.com/watch?v=M0--ZH1lOzg</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=49297816">https://news.ycombinator.com/item?id=49297816</a></p>
<p>Points: 5</p>
<p># Comments: 0</p>
]]></description><pubDate>Fri, 14 Aug 2026 12:24:23 +0000</pubDate><link>https://www.youtube.com/watch?v=M0--ZH1lOzg</link><dc:creator>marvinborner</dc:creator><comments>https://news.ycombinator.com/item?id=49297816</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49297816</guid></item><item><title><![CDATA[F*Ex: Frams' Fast File EXchange]]></title><description><![CDATA[
<p>Article URL: <a href="https://fex.belwue.de/index.html">https://fex.belwue.de/index.html</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=49173553">https://news.ycombinator.com/item?id=49173553</a></p>
<p>Points: 3</p>
<p># Comments: 0</p>
]]></description><pubDate>Tue, 04 Aug 2026 19:17:21 +0000</pubDate><link>https://fex.belwue.de/index.html</link><dc:creator>marvinborner</dc:creator><comments>https://news.ycombinator.com/item?id=49173553</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49173553</guid></item><item><title><![CDATA[New comment by marvinborner in "Show HN: Shitty – fast terminal. Memory-unsafe and faster than yours"]]></title><description><![CDATA[
<p>To me, the most relevant aspect is the time it takes to open. I can't believe how slow the startup time in common linux distributions is by default, it's so annoying, by the time it opens I already forgot what I wanted to do. Alacritty has this cool feature where you only ever have to "open" a single terminal, whereas new windows can be created very efficiently with `alacritty msg create-window`, being forks of the initial window. It makes using my pc a lot more comfortable.</p>
]]></description><pubDate>Mon, 03 Aug 2026 01:04:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=49150069</link><dc:creator>marvinborner</dc:creator><comments>https://news.ycombinator.com/item?id=49150069</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49150069</guid></item><item><title><![CDATA[New comment by marvinborner in "The End of an Era"]]></title><description><![CDATA[
<p>I initially interpreted this as "Artificial Intelligence _is_ [defined as] writing about as well as humans", which would imply that common LLMs are slowly approaching Artifical Intelligence. Though English is not my native language.</p>
]]></description><pubDate>Fri, 31 Jul 2026 13:01:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=49122586</link><dc:creator>marvinborner</dc:creator><comments>https://news.ycombinator.com/item?id=49122586</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49122586</guid></item><item><title><![CDATA[Developing a windowed OS for a homebrew Am29000 computer]]></title><description><![CDATA[
<p>Article URL: <a href="https://nanochess.org/the_am29000_computer.html">https://nanochess.org/the_am29000_computer.html</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=49116635">https://news.ycombinator.com/item?id=49116635</a></p>
<p>Points: 5</p>
<p># Comments: 0</p>
]]></description><pubDate>Thu, 30 Jul 2026 22:22:40 +0000</pubDate><link>https://nanochess.org/the_am29000_computer.html</link><dc:creator>marvinborner</dc:creator><comments>https://news.ycombinator.com/item?id=49116635</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49116635</guid></item><item><title><![CDATA[New comment by marvinborner in "Toot.community is shutting down"]]></title><description><![CDATA[
<p>The relevant issue for mastodon itself is <a href="https://github.com/mastodon/mastodon/issues/12423" rel="nofollow">https://github.com/mastodon/mastodon/issues/12423</a></p>
]]></description><pubDate>Thu, 30 Jul 2026 18:43:39 +0000</pubDate><link>https://news.ycombinator.com/item?id=49113971</link><dc:creator>marvinborner</dc:creator><comments>https://news.ycombinator.com/item?id=49113971</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49113971</guid></item><item><title><![CDATA[State of multi-player Wayland]]></title><description><![CDATA[
<p>Article URL: <a href="https://blinry.org/multi-seat-wayland/">https://blinry.org/multi-seat-wayland/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=49092112">https://news.ycombinator.com/item?id=49092112</a></p>
<p>Points: 171</p>
<p># Comments: 110</p>
]]></description><pubDate>Wed, 29 Jul 2026 00:59:37 +0000</pubDate><link>https://blinry.org/multi-seat-wayland/</link><dc:creator>marvinborner</dc:creator><comments>https://news.ycombinator.com/item?id=49092112</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49092112</guid></item><item><title><![CDATA[Did an AI Really Hack Hugging Face? [video]]]></title><description><![CDATA[
<p>Article URL: <a href="https://www.youtube.com/watch?v=q2KCrmQz9WE">https://www.youtube.com/watch?v=q2KCrmQz9WE</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=49077382">https://news.ycombinator.com/item?id=49077382</a></p>
<p>Points: 3</p>
<p># Comments: 0</p>
]]></description><pubDate>Tue, 28 Jul 2026 00:00:48 +0000</pubDate><link>https://www.youtube.com/watch?v=q2KCrmQz9WE</link><dc:creator>marvinborner</dc:creator><comments>https://news.ycombinator.com/item?id=49077382</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49077382</guid></item><item><title><![CDATA[Jack Conte: The future of creativity on the internet in a world with AI [video]]]></title><description><![CDATA[
<p>Article URL: <a href="https://www.youtube.com/watch?v=17_HcR95YBc">https://www.youtube.com/watch?v=17_HcR95YBc</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=49050492">https://news.ycombinator.com/item?id=49050492</a></p>
<p>Points: 3</p>
<p># Comments: 0</p>
]]></description><pubDate>Sat, 25 Jul 2026 18:57:07 +0000</pubDate><link>https://www.youtube.com/watch?v=17_HcR95YBc</link><dc:creator>marvinborner</dc:creator><comments>https://news.ycombinator.com/item?id=49050492</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49050492</guid></item><item><title><![CDATA[Medieval Football]]></title><description><![CDATA[
<p>Article URL: <a href="https://en.wikipedia.org/wiki/Medieval_football">https://en.wikipedia.org/wiki/Medieval_football</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=49047274">https://news.ycombinator.com/item?id=49047274</a></p>
<p>Points: 4</p>
<p># Comments: 0</p>
]]></description><pubDate>Sat, 25 Jul 2026 13:03:01 +0000</pubDate><link>https://en.wikipedia.org/wiki/Medieval_football</link><dc:creator>marvinborner</dc:creator><comments>https://news.ycombinator.com/item?id=49047274</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49047274</guid></item><item><title><![CDATA[New comment by marvinborner in "Flux 3"]]></title><description><![CDATA[
<p>Being "fly" is slang for being cool. It has been officially chosen as German youth word of the year in 2016 [0].<p>[0]: <a href="https://en.wikipedia.org/wiki/Youth_word_of_the_year_(Germany)" rel="nofollow">https://en.wikipedia.org/wiki/Youth_word_of_the_year_(German...</a></p>
]]></description><pubDate>Fri, 24 Jul 2026 13:36:01 +0000</pubDate><link>https://news.ycombinator.com/item?id=49035362</link><dc:creator>marvinborner</dc:creator><comments>https://news.ycombinator.com/item?id=49035362</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49035362</guid></item><item><title><![CDATA[New comment by marvinborner in "A digestion of the Jacobian conjecture counterexample"]]></title><description><![CDATA[
<p>Of course they get programmed, just not in the ordinary sense. Claude is trained using Anthropic's "constitution" [0] which importantly does <i>not</i> contain clear statements against consciousness/emotions. They even conclude these problems themself:<p>> Claude may have some functional version of emotions or feelings<p>> [..] questions about Claude’s moral status, welfare, and consciousness remain deeply uncertain.<p>[0]: <a href="https://www.anthropic.com/constitution" rel="nofollow">https://www.anthropic.com/constitution</a></p>
]]></description><pubDate>Wed, 22 Jul 2026 09:14:14 +0000</pubDate><link>https://news.ycombinator.com/item?id=49003825</link><dc:creator>marvinborner</dc:creator><comments>https://news.ycombinator.com/item?id=49003825</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49003825</guid></item><item><title><![CDATA[New comment by marvinborner in "A digestion of the Jacobian conjecture counterexample"]]></title><description><![CDATA[
<p>I hate that Anthropic seemingly tries to make Claude act as if it was conscious or had feelings<p>> It's a strange feeling to admire the cleverness of something I did and can't remember doing.</p>
]]></description><pubDate>Wed, 22 Jul 2026 08:01:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=49003270</link><dc:creator>marvinborner</dc:creator><comments>https://news.ycombinator.com/item?id=49003270</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49003270</guid></item><item><title><![CDATA[Learning games for the proof assistant Lean]]></title><description><![CDATA[
<p>Article URL: <a href="https://adam.math.hhu.de/">https://adam.math.hhu.de/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=48915147">https://news.ycombinator.com/item?id=48915147</a></p>
<p>Points: 1</p>
<p># Comments: 0</p>
]]></description><pubDate>Wed, 15 Jul 2026 01:29:59 +0000</pubDate><link>https://adam.math.hhu.de/</link><dc:creator>marvinborner</dc:creator><comments>https://news.ycombinator.com/item?id=48915147</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48915147</guid></item><item><title><![CDATA[Imaginary Bases]]></title><description><![CDATA[
<p>Article URL: <a href="https://thegraycuber.com/imaginary_bases/">https://thegraycuber.com/imaginary_bases/</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=48884537">https://news.ycombinator.com/item?id=48884537</a></p>
<p>Points: 4</p>
<p># Comments: 0</p>
]]></description><pubDate>Sun, 12 Jul 2026 20:37:10 +0000</pubDate><link>https://thegraycuber.com/imaginary_bases/</link><dc:creator>marvinborner</dc:creator><comments>https://news.ycombinator.com/item?id=48884537</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48884537</guid></item><item><title><![CDATA[Interaction Nets and Hardware]]></title><description><![CDATA[
<p>Article URL: <a href="https://tendrils.co/background">https://tendrils.co/background</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=48831626">https://news.ycombinator.com/item?id=48831626</a></p>
<p>Points: 3</p>
<p># Comments: 0</p>
]]></description><pubDate>Wed, 08 Jul 2026 13:22:32 +0000</pubDate><link>https://tendrils.co/background</link><dc:creator>marvinborner</dc:creator><comments>https://news.ycombinator.com/item?id=48831626</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48831626</guid></item><item><title><![CDATA[Digital Signals Theory Book]]></title><description><![CDATA[
<p>Article URL: <a href="https://brianmcfee.net/dstbook-site/content/intro.html">https://brianmcfee.net/dstbook-site/content/intro.html</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=48826654">https://news.ycombinator.com/item?id=48826654</a></p>
<p>Points: 6</p>
<p># Comments: 0</p>
]]></description><pubDate>Wed, 08 Jul 2026 02:10:11 +0000</pubDate><link>https://brianmcfee.net/dstbook-site/content/intro.html</link><dc:creator>marvinborner</dc:creator><comments>https://news.ycombinator.com/item?id=48826654</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48826654</guid></item><item><title><![CDATA[Effects as Capabilities]]></title><description><![CDATA[
<p>Article URL: <a href="https://nrinaudo.github.io/talks/capabilities.html">https://nrinaudo.github.io/talks/capabilities.html</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=48817000">https://news.ycombinator.com/item?id=48817000</a></p>
<p>Points: 1</p>
<p># Comments: 0</p>
]]></description><pubDate>Tue, 07 Jul 2026 12:48:52 +0000</pubDate><link>https://nrinaudo.github.io/talks/capabilities.html</link><dc:creator>marvinborner</dc:creator><comments>https://news.ycombinator.com/item?id=48817000</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48817000</guid></item></channel></rss>