<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: protoplancton</title><link>https://news.ycombinator.com/user?id=protoplancton</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Thu, 21 May 2026 01:21:34 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=protoplancton" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by protoplancton in "An OpenAI model has disproved a central conjecture in discrete geometry"]]></title><description><![CDATA[
<p>One can argue that mathematical facts are discovered, but the tools that allow us to find, express them and prove them, are mostly invented. This goes up to the axioms, that we can deliberately choose and craft.</p>
]]></description><pubDate>Wed, 20 May 2026 20:25:04 +0000</pubDate><link>https://news.ycombinator.com/item?id=48213611</link><dc:creator>protoplancton</dc:creator><comments>https://news.ycombinator.com/item?id=48213611</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48213611</guid></item><item><title><![CDATA[New comment by protoplancton in "Microsoft has over a million paying GitHub Copilot users"]]></title><description><![CDATA[
<p>Except it's reportedly run at heavy losses atm <a href="https://www.theregister.com/2023/10/11/github_ai_copilot_microsoft/" rel="nofollow noreferrer">https://www.theregister.com/2023/10/11/github_ai_copilot_mic...</a></p>
]]></description><pubDate>Tue, 31 Oct 2023 17:40:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=38088534</link><dc:creator>protoplancton</dc:creator><comments>https://news.ycombinator.com/item?id=38088534</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=38088534</guid></item><item><title><![CDATA[New comment by protoplancton in "μMon: Stupid simple monitoring (2022)"]]></title><description><![CDATA[
<p>Did you have a look at <a href="https://www.monitorix.org/" rel="nofollow noreferrer">https://www.monitorix.org/</a> ? I'm not sure if it works on OpenWRT, but otherwise checks all the boxes.</p>
]]></description><pubDate>Mon, 25 Sep 2023 10:29:06 +0000</pubDate><link>https://news.ycombinator.com/item?id=37641625</link><dc:creator>protoplancton</dc:creator><comments>https://news.ycombinator.com/item?id=37641625</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=37641625</guid></item><item><title><![CDATA[Show HN: A journal / notes browser extension I made]]></title><description><![CDATA[
<p>Hello,
I'd like to present, and have feedback on, a browser extension designed to take notes, and provide various small helpers. The extension is self-contained, using browser storage only.<p>It's about feature complete for how I use it, but I miss a way to access the data from a smartphone - I may implement a way to sync data to an external service.</p>
<hr>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=36370574">https://news.ycombinator.com/item?id=36370574</a></p>
<p>Points: 1</p>
<p># Comments: 0</p>
]]></description><pubDate>Sat, 17 Jun 2023 14:40:09 +0000</pubDate><link>https://github.com/sapristi/journal-startpage</link><dc:creator>protoplancton</dc:creator><comments>https://news.ycombinator.com/item?id=36370574</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=36370574</guid></item><item><title><![CDATA[New comment by protoplancton in "uBlock Origin 1.50.0"]]></title><description><![CDATA[
<p>You may find this handy <a href="https://github.com/sapristi/mmuxer">https://github.com/sapristi/mmuxer</a>  :) (yes I'm the author)</p>
]]></description><pubDate>Wed, 07 Jun 2023 16:07:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=36228731</link><dc:creator>protoplancton</dc:creator><comments>https://news.ycombinator.com/item?id=36228731</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=36228731</guid></item><item><title><![CDATA[New comment by protoplancton in "I decided not to commercialize nbdev"]]></title><description><![CDATA[
<p>Note: ipynb is not binary, it's plain text containing a json object</p>
]]></description><pubDate>Thu, 01 Jun 2023 07:09:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=36148337</link><dc:creator>protoplancton</dc:creator><comments>https://news.ycombinator.com/item?id=36148337</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=36148337</guid></item><item><title><![CDATA[New comment by protoplancton in "Python Standard Library changes in recent years"]]></title><description><![CDATA[
<p>> Python is on the side of "it's very easy to get it wrong"<p>> Python is much harder to understand and debug in hairier codebases when you add metaclasses, weird backward compatible behaviours, monkey patching, typing woes and an often substandard stdlib.<p>Indeed, Python (it's not just about dynamic typing, but more about how the underlying constructs of the language are exposed as first class citizen) makes it possible to write very bad programs, that no one would want to work with.<p>But this is also what allowed to build <i>great</i> libraries, that could abstract a lot from the user, particularly because of how much you can twist it to your needs. It's also great when writing tests.<p>My take is that  there was a time were monkeypatching and doing this nasty stuff everywhere was common (early days of python becoming mainstream). Some libraries might still do this, but they are well tested and supported, so not an issue for them. But most python code being written now does not make much use of these features.<p>About functional constructs, I mostly agree with you, but the various comprehensions are a joy to work with, and provide enough for the most common usecases; the recent `match` construct also makes it possible to simulate ADT, which is great.<p>Finally, typing is very mainstream now, great libraries such as dataclasses or pydantic make classes with typed fields very easy to use, with minimal boilerplate.</p>
]]></description><pubDate>Sat, 21 May 2022 17:00:00 +0000</pubDate><link>https://news.ycombinator.com/item?id=31459584</link><dc:creator>protoplancton</dc:creator><comments>https://news.ycombinator.com/item?id=31459584</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=31459584</guid></item><item><title><![CDATA[New comment by protoplancton in "What Is Agile?"]]></title><description><![CDATA[
<p>> As far as extending it beyond software... why? It is specific to the problems encountered in software.<p>Well, it did appear _outside_ of software.</p>
]]></description><pubDate>Fri, 01 Apr 2022 17:35:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=30880923</link><dc:creator>protoplancton</dc:creator><comments>https://news.ycombinator.com/item?id=30880923</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=30880923</guid></item></channel></rss>