<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: toastal</title><link>https://news.ycombinator.com/user?id=toastal</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Fri, 15 May 2026 08:48:13 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=toastal" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by toastal in "Ask HN: Who wants to be hired? (May 2026)"]]></title><description><![CDATA[
<p><p><pre><code>    Location: Eastern Thailand
    Remote: Yes, can travel every so often
    Willing to relocate: No
    Technologies: Nix, NixOS, OCaml, PureScript, Elm, JavaScript, CSS
    Résumé/CV: https://toast.al/skills/
    Email: toastal+hn@posteo.net
</code></pre>
Looking to transition off of front-end work & into devops. I can help monitor systems from Asian time zones. Flexible hours help & I don’t mind being up at “odd hours” as I am a night owl.</p>
]]></description><pubDate>Fri, 01 May 2026 16:46:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=47976926</link><dc:creator>toastal</dc:creator><comments>https://news.ycombinator.com/item?id=47976926</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47976926</guid></item><item><title><![CDATA[New comment by toastal in "We need a federation of forges"]]></title><description><![CDATA[
<p>The snapshot-based system requires that the patch order matters which Darcs/Pijul don’t require so long as the patches apply since they commute. This means you can pull in patches from other users at an time in any order & <i>still get the same stable reference</i>. If you apply patches in a different order in Git, you will get a different reference hash & some entity ends up needing to be the centralized source of truth when doing deployments & stuff—which is probably why everyone ends up having some code forge for their code base on a centralized server to “sync” the state.<p>And with rebase, how are the commits immutable? Seems like MS GitHub found a way to mutably drop commits recently…</p>
]]></description><pubDate>Thu, 30 Apr 2026 10:43:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=47960611</link><dc:creator>toastal</dc:creator><comments>https://news.ycombinator.com/item?id=47960611</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47960611</guid></item><item><title><![CDATA[New comment by toastal in "Before GitHub"]]></title><description><![CDATA[
<p>If it got proper tooling this would be true—but the community will need to build it. Darcs has more out of the box & more existing ecosystems to work with. Pijul is barebones by design, ready to be scripted, there’s just not much out there.</p>
]]></description><pubDate>Wed, 29 Apr 2026 14:45:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=47949170</link><dc:creator>toastal</dc:creator><comments>https://news.ycombinator.com/item?id=47949170</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47949170</guid></item><item><title><![CDATA[New comment by toastal in "We need a federation of forges"]]></title><description><![CDATA[
<p>Why do we need to stick to Git? We need better tooling around the Patch Theory-based VCS which are better for decentralized working to begin with.</p>
]]></description><pubDate>Wed, 29 Apr 2026 14:42:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=47949133</link><dc:creator>toastal</dc:creator><comments>https://news.ycombinator.com/item?id=47949133</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47949133</guid></item><item><title><![CDATA[New comment by toastal in "Ghostty is leaving GitHub"]]></title><description><![CDATA[
<p>Xit has a better “take” on Git. Pijul & Darcs still have better fundamentals.</p>
]]></description><pubDate>Tue, 28 Apr 2026 21:41:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=47941221</link><dc:creator>toastal</dc:creator><comments>https://news.ycombinator.com/item?id=47941221</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47941221</guid></item><item><title><![CDATA[New comment by toastal in "Ghostty is leaving GitHub"]]></title><description><![CDATA[
<p>We are finally getting closer to me getting to delete my last account with Microsoft. Nixpkgs: please follow suit.</p>
]]></description><pubDate>Tue, 28 Apr 2026 21:39:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=47941205</link><dc:creator>toastal</dc:creator><comments>https://news.ycombinator.com/item?id=47941205</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47941205</guid></item><item><title><![CDATA[New comment by toastal in "Show HN: MDV – a Markdown superset for docs, dashboards, and slides with data"]]></title><description><![CDATA[
<p>reStructuredText & AsciiDoc are so, <i>so</i> much better than Markdown since they have rich feature sets to actually build documentation, blogging, & so on. It’s a massive shame everyone would prefer _yet another Markdown fork_ like the OP.</p>
]]></description><pubDate>Sat, 18 Apr 2026 20:57:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=47819472</link><dc:creator>toastal</dc:creator><comments>https://news.ycombinator.com/item?id=47819472</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47819472</guid></item><item><title><![CDATA[New comment by toastal in "Show HN: CSS Studio. Design by hand, code by agent"]]></title><description><![CDATA[
<p>There is no <noscript> so I can even look at what this is.</p>
]]></description><pubDate>Thu, 09 Apr 2026 21:15:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=47710242</link><dc:creator>toastal</dc:creator><comments>https://news.ycombinator.com/item?id=47710242</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47710242</guid></item><item><title><![CDATA[New comment by toastal in "Sky – an Elm-inspired language that compiles to Go"]]></title><description><![CDATA[
<p>Haskell/Miranda use `::` instead of `:` for type signatures unlike Elm & basically the rest of the family which prioritize types being less keypresses than list cons.</p>
]]></description><pubDate>Mon, 06 Apr 2026 21:19:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=47667299</link><dc:creator>toastal</dc:creator><comments>https://news.ycombinator.com/item?id=47667299</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47667299</guid></item><item><title><![CDATA[New comment by toastal in "Show HN: Baton – A desktop app for developing with AI agents"]]></title><description><![CDATA[
<p>> Features<p>It’s blank. Lots of blank gray rectangles too. Site is broken?</p>
]]></description><pubDate>Wed, 01 Apr 2026 13:40:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=47600724</link><dc:creator>toastal</dc:creator><comments>https://news.ycombinator.com/item?id=47600724</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47600724</guid></item><item><title><![CDATA[New comment by toastal in "Copilot edited an ad into my PR"]]></title><description><![CDATA[
<p>Yet folks are refusing to migrate off their products/services—as if it hasn’t been like this for 3 decades already.</p>
]]></description><pubDate>Mon, 30 Mar 2026 16:56:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=47576788</link><dc:creator>toastal</dc:creator><comments>https://news.ycombinator.com/item?id=47576788</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47576788</guid></item><item><title><![CDATA[New comment by toastal in "Get Shit Done: A meta-prompting, context engineering and spec-driven dev system"]]></title><description><![CDATA[
<p>Please do. Poison the training.</p>
]]></description><pubDate>Wed, 18 Mar 2026 14:57:11 +0000</pubDate><link>https://news.ycombinator.com/item?id=47426587</link><dc:creator>toastal</dc:creator><comments>https://news.ycombinator.com/item?id=47426587</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47426587</guid></item><item><title><![CDATA[New comment by toastal in "Get Shit Done: A meta-prompting, context engineering and spec-driven dev system"]]></title><description><![CDATA[
<p>This pile of Markdown files has the most cringe-inducing name I have seen in weeks.</p>
]]></description><pubDate>Wed, 18 Mar 2026 14:53:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=47426551</link><dc:creator>toastal</dc:creator><comments>https://news.ycombinator.com/item?id=47426551</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47426551</guid></item><item><title><![CDATA[New comment by toastal in "Leanstral: Open-source agent for trustworthy coding and formal proof engineering"]]></title><description><![CDATA[
<p>Naturally the Microsoft-owned language is getting the AI hype instead of the more mature options that could do this sort of work… Agda, ATS, Coq/Rocq, Dafny, Fstar, Idris, Isabelle, Why3 just to name a few.</p>
]]></description><pubDate>Tue, 17 Mar 2026 04:32:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=47408650</link><dc:creator>toastal</dc:creator><comments>https://news.ycombinator.com/item?id=47408650</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47408650</guid></item><item><title><![CDATA[New comment by toastal in "Show HN: Vibe Code your 3D Models"]]></title><description><![CDATA[
<p>Not the same thing to compare how others should license their software versus keeping ideals consistent in your own project+tooling. If “everyone else must be wrong”, why are there continually waves of projects leaving ever since the Microsoft acquisition in particular? There’s a correlation with the kinds of projects that left too being philosophically aligned with free software & copyleft.</p>
]]></description><pubDate>Wed, 04 Mar 2026 09:02:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=47244898</link><dc:creator>toastal</dc:creator><comments>https://news.ycombinator.com/item?id=47244898</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47244898</guid></item><item><title><![CDATA[New comment by toastal in "When AI writes the software, who verifies it?"]]></title><description><![CDATA[
<p>Note that Lean doesn’t have a monopoly on verification languages. Dafney, Rocq, Why3, ATS, Agda, Idris… these all can do it too. The fact that Lean is controlled by Microsoft should cause folks pause considering how they are trying to monopolize so many other spaces… & the author works on Lean. Rather than comparing Lean to performance like OCaml/Haskell like the article does, Why3 is a superset of OCaml, Agda can compile to Haskell, & ATS2 compiles to C—rather than needing to adopt an entirely new language.</p>
]]></description><pubDate>Wed, 04 Mar 2026 08:52:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=47244826</link><dc:creator>toastal</dc:creator><comments>https://news.ycombinator.com/item?id=47244826</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47244826</guid></item><item><title><![CDATA[New comment by toastal in "Motorola GrapheneOS devices will be bootloader unlockable/relockable"]]></title><description><![CDATA[
<p>Would be super dope if they brought back headphone jack Google teased Samsung over then a year later removed entirely. I haven’t even once considered GrapheneOS since I refuse to go without basic I/O.</p>
]]></description><pubDate>Wed, 04 Mar 2026 08:44:06 +0000</pubDate><link>https://news.ycombinator.com/item?id=47244765</link><dc:creator>toastal</dc:creator><comments>https://news.ycombinator.com/item?id=47244765</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47244765</guid></item><item><title><![CDATA[New comment by toastal in "Why XML tags are so fundamental to Claude"]]></title><description><![CDATA[
<p>XML works great for XMPP. KDL is compatible with it too.<p>What gets me is going from this structured data to Markdown which doesn’t even have enough features & syntax that the LLMs try to invent or co-opt things like the blockquote for not quoting sources.</p>
]]></description><pubDate>Mon, 02 Mar 2026 04:40:11 +0000</pubDate><link>https://news.ycombinator.com/item?id=47213949</link><dc:creator>toastal</dc:creator><comments>https://news.ycombinator.com/item?id=47213949</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47213949</guid></item><item><title><![CDATA[New comment by toastal in "Show HN: Vibe Code your 3D Models"]]></title><description><![CDATA[
<p>If it’s GPL then you must care about “free software”. If that is the case, you should reconsider hosting on a fully-proprietary code forge. It requires cognitive dissonance to thing FLOSS is the right license for your project but not for your tooling/community.</p>
]]></description><pubDate>Mon, 02 Mar 2026 04:38:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=47213938</link><dc:creator>toastal</dc:creator><comments>https://news.ycombinator.com/item?id=47213938</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47213938</guid></item><item><title><![CDATA[New comment by toastal in "Show HN: Deff – Side-by-side Git diff review in your terminal"]]></title><description><![CDATA[
<p>I tried looking at the Ghostty homepage & it doesn’t even work without JavaScript so you can’t use a TUI web browser.</p>
]]></description><pubDate>Mon, 02 Mar 2026 04:34:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=47213914</link><dc:creator>toastal</dc:creator><comments>https://news.ycombinator.com/item?id=47213914</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47213914</guid></item></channel></rss>