<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: lproven</title><link>https://news.ycombinator.com/user?id=lproven</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Tue, 14 Apr 2026 10:28:04 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=lproven" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by lproven in "Show HN: Oberon System 3 runs natively on Raspberry Pi 3 (with ready SD card)"]]></title><description><![CDATA[
<p>> "Oberon is an operating system" was indeed evident,<p>No, it is not evident: this is not correct.<p>Oberon is bare-metal self-hosted programming system. It is both a language <i>and</i> an OS.<p>> why do we care about this one in particular?<p>1. It is the final development in the career of Niklaus Wirth, the creator of Pascal. Pascal is the Wirthian language that had considerable commercial success.<p>(A dialect called the USCD p-System was one of the original 3 OSes that IBM offered for the PC, for instance. Apple created Object Pascal, and implemented parts of the Lisa and original Mac OSes in it. In the early days of DOS, Borland TurboPascal was one of the leading IDEs, and then when 16-bit Windows achieved commercial success, Borland's Delphi led the way as the most sophisticated Windows IDE.)<p>2. It's the end of his life's work. Wirth did not stop with Pascal.<p>The next generation was Modula. It was a bit of a flop, but the successor, Modula-2, was a hugely influential language too. Topspeed Modula-2 was at one time <i>the</i> fastest compiler of all kinds for the PC.<p>Development did not end there.<p>Others did Modula-3, not Wirth. He moved on to create Oberon.<p>3. This is the end of the line of <i>the single most widespread and influential family of programming languages outside of the C world</i>.<p>> What does it do that other operating systems don't?<p>Wirth was a keen advocate of small size and simplicity.<p><a href="https://cr.yp.to/bib/1995/wirth.pdf" rel="nofollow">https://cr.yp.to/bib/1995/wirth.pdf</a><p>Oberon is one of the smallest simplest compiled languages of all time. It is also an OS, and an ID, and a tiled mouse-controlled windowing system. The core is about 4000 lines of code.<p>4k LOC.<p>The entire core OS is smaller than the tiniest trivial shell tool on any FOSS Unix.<p>It is almost unbelievably tiny, it is fast, and it is self-hosting. It can run bare-metal, on multiple platforms, or as a conventional language under another OS. It has its own GUI. It can interop with other languages. You can, and people do, build complete GUI apps in Oberon.<p><a href="https://blackboxframework.org/" rel="nofollow">https://blackboxframework.org/</a><p>It may be less well-known than its own ancestors but this is an important, significant language, and the final generation of a very important and very much alive dynasty.</p>
]]></description><pubDate>Tue, 14 Apr 2026 10:12:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=47763595</link><dc:creator>lproven</dc:creator><comments>https://news.ycombinator.com/item?id=47763595</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47763595</guid></item><item><title><![CDATA[New comment by lproven in "Show HN: Oberon System 3 runs natively on Raspberry Pi 3 (with ready SD card)"]]></title><description><![CDATA[
<p>The best potted intro I know:<p><a href="https://ignorethecode.net/blog/2009/04/22/oberon/" rel="nofollow">https://ignorethecode.net/blog/2009/04/22/oberon/</a><p>A more in-depth look for folks with some comp-sci knowledge:<p><a href="https://www.scribd.com/document/377504715/Oberon-the-Overlooked-Jewel" rel="nofollow">https://www.scribd.com/document/377504715/Oberon-the-Overloo...</a></p>
]]></description><pubDate>Tue, 14 Apr 2026 09:52:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=47763420</link><dc:creator>lproven</dc:creator><comments>https://news.ycombinator.com/item?id=47763420</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47763420</guid></item><item><title><![CDATA[New comment by lproven in "Ask HN: Why Databases Instead of Filesystem?"]]></title><description><![CDATA[
<p>You might enjoy the FOSDEM talk I did about half a dozen years ago:<p><a href="https://archive.fosdem.org/2021/schedule/event/new_type_of_computer/" rel="nofollow">https://archive.fosdem.org/2021/schedule/event/new_type_of_c...</a><p>I adapted most of it into an article for The Register:<p><a href="https://www.theregister.com/2024/02/26/starting_over_rebooting_the_os/" rel="nofollow">https://www.theregister.com/2024/02/26/starting_over_rebooti...</a></p>
]]></description><pubDate>Fri, 10 Apr 2026 21:24:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=47723848</link><dc:creator>lproven</dc:creator><comments>https://news.ycombinator.com/item?id=47723848</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47723848</guid></item><item><title><![CDATA[New comment by lproven in "They're made out of meat (1991)"]]></title><description><![CDATA[
<p>> What is it satirizing?<p>Being provincial. Assuming sentients look and act like us, whoever "us" is. (Cf. whales, or elephants.) Assuming that what "we" do is the right, proper way to do things and anything else is inferior.</p>
]]></description><pubDate>Fri, 10 Apr 2026 21:20:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=47723801</link><dc:creator>lproven</dc:creator><comments>https://news.ycombinator.com/item?id=47723801</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47723801</guid></item><item><title><![CDATA[New comment by lproven in "They're made out of meat (1991)"]]></title><description><![CDATA[
<p>We are metazoans?<p>Well, I can't be sure about you, but I am and all my friends too.</p>
]]></description><pubDate>Fri, 10 Apr 2026 21:18:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=47723772</link><dc:creator>lproven</dc:creator><comments>https://news.ycombinator.com/item?id=47723772</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47723772</guid></item><item><title><![CDATA[New comment by lproven in "They're made out of meat (1991)"]]></title><description><![CDATA[
<p>TBH Vernor Vinge did it a _lot_ better.</p>
]]></description><pubDate>Fri, 10 Apr 2026 21:17:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=47723765</link><dc:creator>lproven</dc:creator><comments>https://news.ycombinator.com/item?id=47723765</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47723765</guid></item><item><title><![CDATA[New comment by lproven in "They're made out of meat (1991)"]]></title><description><![CDATA[
<p>Indeed. As an example, it's important they don't read David Brin's <i>Uplift</i> series, or Terry Pratchett's excellent <i>The Dark Side of the Sun</i>.</p>
]]></description><pubDate>Fri, 10 Apr 2026 21:10:49 +0000</pubDate><link>https://news.ycombinator.com/item?id=47723715</link><dc:creator>lproven</dc:creator><comments>https://news.ycombinator.com/item?id=47723715</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47723715</guid></item><item><title><![CDATA[New comment by lproven in "Afrika Bambaataa has died"]]></title><description><![CDATA[
<p>He opened for Gorillaz in Prague about 8Y ago, and did a good set. Dude looked old and tired, but also happy to be there, performing live.</p>
]]></description><pubDate>Fri, 10 Apr 2026 20:57:31 +0000</pubDate><link>https://news.ycombinator.com/item?id=47723574</link><dc:creator>lproven</dc:creator><comments>https://news.ycombinator.com/item?id=47723574</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47723574</guid></item><item><title><![CDATA[New comment by lproven in "Write Your Own Copy"]]></title><description><![CDATA[
<p>SEO is a scam, too.<p>AI is a scam. SEO is a scam. Blockchain -- <i>all</i> applications, no exceptions -- is a scam. Kubernetes is a scam: it's real, it works, and nobody except Google itself ever needed it. Containers are mostly a scam: they're a useful tool but not a deployment method, not a software distribution method, etc. SaaS and everything aaS are scams: own your shit, keep your own data on boxes you own. Pay for good smart people to run them. Hire old people, and pay enough to keep them. Good techies are not a fungible resource, and tech that makes people more fungible is bad tech.<p>Being AI advocates is a good sign of scammers, of industrial-scale incompetence, and of entire industries and market sectors to avoid.</p>
]]></description><pubDate>Sun, 05 Apr 2026 13:32:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=47649279</link><dc:creator>lproven</dc:creator><comments>https://news.ycombinator.com/item?id=47649279</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47649279</guid></item><item><title><![CDATA[New comment by lproven in "'Euro-Office': OnlyOffice accuses of license violations"]]></title><description><![CDATA[
<p>Some relevant discussion:<p><a href="https://news.ycombinator.com/item?id=47601168">https://news.ycombinator.com/item?id=47601168</a></p>
]]></description><pubDate>Wed, 01 Apr 2026 15:46:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=47602457</link><dc:creator>lproven</dc:creator><comments>https://news.ycombinator.com/item?id=47602457</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47602457</guid></item><item><title><![CDATA[New comment by lproven in "OnlyOffice ends partnership with Nextcloud over unauthorized "Euro-Office" fork"]]></title><description><![CDATA[
<p>Some discussion:<p><a href="https://news.ycombinator.com/item?id=47601168">https://news.ycombinator.com/item?id=47601168</a></p>
]]></description><pubDate>Wed, 01 Apr 2026 15:46:40 +0000</pubDate><link>https://news.ycombinator.com/item?id=47602453</link><dc:creator>lproven</dc:creator><comments>https://news.ycombinator.com/item?id=47602453</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47602453</guid></item><item><title><![CDATA[New comment by lproven in "Euro Office"]]></title><description><![CDATA[
<p>Some discussion:<p><a href="https://news.ycombinator.com/item?id=47601168">https://news.ycombinator.com/item?id=47601168</a></p>
]]></description><pubDate>Wed, 01 Apr 2026 15:46:26 +0000</pubDate><link>https://news.ycombinator.com/item?id=47602448</link><dc:creator>lproven</dc:creator><comments>https://news.ycombinator.com/item?id=47602448</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47602448</guid></item><item><title><![CDATA[New comment by lproven in "OnlyOffice suspends Nextcloud partnership over 'illegal' Euro-Office fork"]]></title><description><![CDATA[
<p>Relevant:<p><a href="https://news.ycombinator.com/item?id=47590348">https://news.ycombinator.com/item?id=47590348</a><p><a href="https://news.ycombinator.com/item?id=47601168">https://news.ycombinator.com/item?id=47601168</a></p>
]]></description><pubDate>Wed, 01 Apr 2026 15:46:13 +0000</pubDate><link>https://news.ycombinator.com/item?id=47602444</link><dc:creator>lproven</dc:creator><comments>https://news.ycombinator.com/item?id=47602444</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47602444</guid></item><item><title><![CDATA[New comment by lproven in "Vibe-Coded Ext4 for OpenBSD"]]></title><description><![CDATA[
<p>>  an independent implementation of a BSD driver<p>It is not. <i>That</i> is the point here.<p>It's not independent.<p>If an LLM were able to generate code that can access ext4, then that LLM has to have ingested the original ext4 source code as part of its corpus.<p>LLMs cannot count. They cannot add 2 + 2. If it can emit code to do something then it contains in its model code to do that thing.<p>Therefore it is <i>not</i> an independent implementation.</p>
]]></description><pubDate>Tue, 31 Mar 2026 11:02:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=47585565</link><dc:creator>lproven</dc:creator><comments>https://news.ycombinator.com/item?id=47585565</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47585565</guid></item><item><title><![CDATA[New comment by lproven in "Douglas Lenat's Automated Mathematician Source Code"]]></title><description><![CDATA[
<p>Pioneering and seminal early Lisp AI work, ~50 years before LLMs. From the mind behind the Cyc project.<p><a href="https://en.wikipedia.org/wiki/Automated_Mathematician" rel="nofollow">https://en.wikipedia.org/wiki/Automated_Mathematician</a></p>
]]></description><pubDate>Mon, 30 Mar 2026 13:50:49 +0000</pubDate><link>https://news.ycombinator.com/item?id=47574335</link><dc:creator>lproven</dc:creator><comments>https://news.ycombinator.com/item?id=47574335</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47574335</guid></item><item><title><![CDATA[New comment by lproven in "15 Years of Forking"]]></title><description><![CDATA[
<p>I've covered it a few times on the Register. :-)<p>5Y ago:<p><a href="https://www.theregister.com/2021/11/04/waterfox_firefox_fork/" rel="nofollow">https://www.theregister.com/2021/11/04/waterfox_firefox_fork...</a><p>Last year:<p><a href="https://www.theregister.com/2025/12/18/firefox_no_ai_alternative_waterfox/" rel="nofollow">https://www.theregister.com/2025/12/18/firefox_no_ai_alterna...</a><p>This year:<p><a href="https://www.theregister.com/2026/01/19/just_the_browser/" rel="nofollow">https://www.theregister.com/2026/01/19/just_the_browser/</a></p>
]]></description><pubDate>Mon, 30 Mar 2026 13:45:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=47574276</link><dc:creator>lproven</dc:creator><comments>https://news.ycombinator.com/item?id=47574276</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47574276</guid></item><item><title><![CDATA[New comment by lproven in "15 Years of Forking"]]></title><description><![CDATA[
<p>> The differences of Librewolf and Waterfox is pretty hard to grasp<p>I use Waterfox on Linux and one of the things I like the most is that it works with the global menu bar in Unity, Xfce and so on. LibreWolf, in my testing, does not. My experiment with it ended there, TBH. (Neither did Floorp.)<p>Hopping between Waterfox and Firefox is easy because Waterfox works with Mozilla Sync. I think LibreWolf might not, and I have read somewhere that it disables the Mozilla password manager.<p>I find Waterfox UI and interop better, so I use it.<p>Librewolf may be even more private, but the poor UI was a deal-breaker for me. YMMV.</p>
]]></description><pubDate>Mon, 30 Mar 2026 13:42:26 +0000</pubDate><link>https://news.ycombinator.com/item?id=47574228</link><dc:creator>lproven</dc:creator><comments>https://news.ycombinator.com/item?id=47574228</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47574228</guid></item><item><title><![CDATA[New comment by lproven in "VitruvianOS – Desktop Linux Inspired by the BeOS"]]></title><description><![CDATA[
<p>> Ok maybe I’m too young, but what is BeOS?<p>Does this help?<p><a href="https://news.ycombinator.com/item?id=47520510">https://news.ycombinator.com/item?id=47520510</a></p>
]]></description><pubDate>Thu, 26 Mar 2026 15:17:13 +0000</pubDate><link>https://news.ycombinator.com/item?id=47531574</link><dc:creator>lproven</dc:creator><comments>https://news.ycombinator.com/item?id=47531574</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47531574</guid></item><item><title><![CDATA[New comment by lproven in "VitruvianOS – Desktop Linux Inspired by the BeOS"]]></title><description><![CDATA[
<p>> There's a Windows app I used to use that supports the same kind of thing for Windows<p>Taekwindow:<p><a href="https://ttencate.github.io/taekwindow/" rel="nofollow">https://ttencate.github.io/taekwindow/</a><p>I rarely use Windows but any box I do need to use for a while, I put Taekwindow on it. I only want the Linux feature of middle-clicking the titlebar to send to the back, myself, I don't want or need moving or resizing, but they're there.</p>
]]></description><pubDate>Thu, 26 Mar 2026 15:12:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=47531508</link><dc:creator>lproven</dc:creator><comments>https://news.ycombinator.com/item?id=47531508</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47531508</guid></item><item><title><![CDATA[New comment by lproven in "VitruvianOS – Desktop Linux Inspired by the BeOS"]]></title><description><![CDATA[
<p>A later successor was Cosmoe:<p><a href="https://gitlab.com/haydentech/cosmoe-classic/" rel="nofollow">https://gitlab.com/haydentech/cosmoe-classic/</a><p>This has evolved into a new UI layer for Wayland, on top of Linux...<p><a href="https://cosmoe.org/index.html" rel="nofollow">https://cosmoe.org/index.html</a><p>I wrote about it last year:<p><a href="https://www.theregister.com/2025/06/25/cosmoe_new_cpp_toolkit/" rel="nofollow">https://www.theregister.com/2025/06/25/cosmoe_new_cpp_toolki...</a></p>
]]></description><pubDate>Thu, 26 Mar 2026 15:11:17 +0000</pubDate><link>https://news.ycombinator.com/item?id=47531482</link><dc:creator>lproven</dc:creator><comments>https://news.ycombinator.com/item?id=47531482</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47531482</guid></item></channel></rss>