<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: kasumispencer2</title><link>https://news.ycombinator.com/user?id=kasumispencer2</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Mon, 03 Aug 2026 00:28:14 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=kasumispencer2" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by kasumispencer2 in "F*: A general-purpose proof-oriented programming language"]]></title><description><![CDATA[
<p>Is there actually any difference when it's just one (1) link away? Are most of us seriously this busy that we cannot spend even half a minute on this?</p>
]]></description><pubDate>Sun, 02 Aug 2026 16:56:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=49146175</link><dc:creator>kasumispencer2</dc:creator><comments>https://news.ycombinator.com/item?id=49146175</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49146175</guid></item><item><title><![CDATA[New comment by kasumispencer2 in "F*: A general-purpose proof-oriented programming language"]]></title><description><![CDATA[
<p>> Clicked like 5 pages and never found 1 code example.<p>But I clicked one (1) link to the online book and found a thousand?</p>
]]></description><pubDate>Sun, 02 Aug 2026 16:01:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=49145743</link><dc:creator>kasumispencer2</dc:creator><comments>https://news.ycombinator.com/item?id=49145743</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49145743</guid></item><item><title><![CDATA[New comment by kasumispencer2 in "Evidence of inconsistencies in evaluation process and selection of winners"]]></title><description><![CDATA[
<p>Welp, considering that one quick downvote, I suppose no one knows humor anymore...<p>Edit: changing your downvote to something else won't change that fact you know</p>
]]></description><pubDate>Fri, 17 Jul 2026 14:03:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=48947538</link><dc:creator>kasumispencer2</dc:creator><comments>https://news.ycombinator.com/item?id=48947538</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48947538</guid></item><item><title><![CDATA[New comment by kasumispencer2 in "Evidence of inconsistencies in evaluation process and selection of winners"]]></title><description><![CDATA[
<p>A Slavoj Žižek-style "sticking a dildo into a fleshlight and have them do the sex for us" kind of situation, really</p>
]]></description><pubDate>Fri, 17 Jul 2026 13:57:10 +0000</pubDate><link>https://news.ycombinator.com/item?id=48947465</link><dc:creator>kasumispencer2</dc:creator><comments>https://news.ycombinator.com/item?id=48947465</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48947465</guid></item><item><title><![CDATA[New comment by kasumispencer2 in "Understanding the Odin programming language"]]></title><description><![CDATA[
<p>"Aggressive arrogant dismissal of anything except their exact view"<p>Man, if only someone around here had even if just an inch of self-awareness...</p>
]]></description><pubDate>Mon, 13 Jul 2026 12:05:14 +0000</pubDate><link>https://news.ycombinator.com/item?id=48891415</link><dc:creator>kasumispencer2</dc:creator><comments>https://news.ycombinator.com/item?id=48891415</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48891415</guid></item><item><title><![CDATA[New comment by kasumispencer2 in "I Won't Buy You a Coffee"]]></title><description><![CDATA[
<p>This blog post seriously reads like the author woke up one day, randomly decided that he/she should be angry about something, randomly decided the "buy me a coffee" links would be a good target and then proceed to conjure up some kind of ideological reasons . Unfortunately unlike the author, normal people mostly don't feel the need to be angry about every innocent little things.</p>
]]></description><pubDate>Fri, 12 Jun 2026 23:59:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=48510817</link><dc:creator>kasumispencer2</dc:creator><comments>https://news.ycombinator.com/item?id=48510817</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48510817</guid></item><item><title><![CDATA[New comment by kasumispencer2 in "Fuzix OS"]]></title><description><![CDATA[
<p>You do realize when you say that you do assume they know it's an OS and by that you effectively have to regress into using the same level of argument as me just like how I assume they don't know it's an OS, right?</p>
]]></description><pubDate>Sat, 18 Apr 2026 21:08:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=47819534</link><dc:creator>kasumispencer2</dc:creator><comments>https://news.ycombinator.com/item?id=47819534</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47819534</guid></item><item><title><![CDATA[New comment by kasumispencer2 in "Fuzix OS"]]></title><description><![CDATA[
<p>Ah, but at least you do know it's an OS, yes?</p>
]]></description><pubDate>Sat, 18 Apr 2026 19:36:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=47818852</link><dc:creator>kasumispencer2</dc:creator><comments>https://news.ycombinator.com/item?id=47818852</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47818852</guid></item><item><title><![CDATA[New comment by kasumispencer2 in "Fuzix OS"]]></title><description><![CDATA[
<p>If this one sentence is rude in your opinion then I have very bad news for you</p>
]]></description><pubDate>Sat, 18 Apr 2026 19:36:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=47818847</link><dc:creator>kasumispencer2</dc:creator><comments>https://news.ycombinator.com/item?id=47818847</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47818847</guid></item><item><title><![CDATA[New comment by kasumispencer2 in "Fuzix OS"]]></title><description><![CDATA[
<p>"Munitions"? "Intelligent distribution panel"? Look, the UNIX part might not be obvious at all, but if you somehow didn't have enough of a rough idea after seeing that many retro CPUs and systems listed below, that might say more about you than the author.</p>
]]></description><pubDate>Sat, 18 Apr 2026 19:03:15 +0000</pubDate><link>https://news.ycombinator.com/item?id=47818518</link><dc:creator>kasumispencer2</dc:creator><comments>https://news.ycombinator.com/item?id=47818518</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47818518</guid></item><item><title><![CDATA[The Most Cursed Web Development Stack You'd Ever See Before Christmas [video]]]></title><description><![CDATA[
<p>Article URL: <a href="https://www.youtube.com/watch?v=dGAZMQrVW9s">https://www.youtube.com/watch?v=dGAZMQrVW9s</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=46374510">https://news.ycombinator.com/item?id=46374510</a></p>
<p>Points: 1</p>
<p># Comments: 0</p>
]]></description><pubDate>Wed, 24 Dec 2025 11:07:25 +0000</pubDate><link>https://www.youtube.com/watch?v=dGAZMQrVW9s</link><dc:creator>kasumispencer2</dc:creator><comments>https://news.ycombinator.com/item?id=46374510</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46374510</guid></item><item><title><![CDATA[New comment by kasumispencer2 in "A tutorial for the Mercury programming language"]]></title><description><![CDATA[
<p>Author of the tutorial here. A newer version of this tutorial for the book I've mentioned in the introduction part can bee seen here:<p><a href="https://github.com/bctnry/gentle-introduction-to-mercury" rel="nofollow">https://github.com/bctnry/gentle-introduction-to-mercury</a><p>I'll write more and finish this book in the future, and I'm <i>definitely</i> writing my response to some of you's replies in the book.</p>
]]></description><pubDate>Wed, 01 Oct 2025 14:04:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=45437880</link><dc:creator>kasumispencer2</dc:creator><comments>https://news.ycombinator.com/item?id=45437880</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45437880</guid></item><item><title><![CDATA[A tutorial for the Mercury programming language]]></title><description><![CDATA[
<p>Article URL: <a href="https://sebastian.graphics/projects/a-mercury-tutorial/index.html">https://sebastian.graphics/projects/a-mercury-tutorial/index.html</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=45386836">https://news.ycombinator.com/item?id=45386836</a></p>
<p>Points: 27</p>
<p># Comments: 8</p>
]]></description><pubDate>Fri, 26 Sep 2025 14:23:41 +0000</pubDate><link>https://sebastian.graphics/projects/a-mercury-tutorial/index.html</link><dc:creator>kasumispencer2</dc:creator><comments>https://news.ycombinator.com/item?id=45386836</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45386836</guid></item><item><title><![CDATA[Show HN: Aegis – A Self-Hosted Git Server Written in Golang]]></title><description><![CDATA[
<p>Hello the good people on Hacker News.
In the last 6 months I've been working on a self-hosted Git server and now I'd say it has reached a stage where I felt comfortable showing it properly.<p>For the HTTP server and frontend part, this project only relies on `net/http` and `html/template`, both of which are in Golang's standard library. This might not be the best performance-wise but I wish to cut dependencies as much as possible.<p>If the way the whole project is structured and developed seems weird: this is the first Golang project and first serious backend project I've ever done. Before making Aegis I've only made a few small things with Node.js and have never touched Golang, and during the development a lot of things have been ignored and/or delayed for the sake of "having enough functionalities as quick as possible". At the beginning it was only meant to be a proof that I have what it takes to "learn on the job" (and to learn about Git internals of course) but it gradually snowballed from there.<p>Currently the major things that have been implemented are as follows:<p><pre><code>    + Basic things: tree/file views, commit info, history, diff;
    + Read-only clone by HTTP and read/write access through SSH;
    + Basic issue tracking and pull requests;
    + Namespaces; 
    + Per-namespace and per-repository user access control;
    + Webhooks for external CI/CD (experimental feature; subject to change)
    + Snippets (à la GitHub snippets)
    + And many tiny things:
      + Labels for repositories;
      + UI for Git Blame;
      + UI for directly editing files;
      + 2-factor authentication w/ Email
      + Support for displaying `Co-Authored-By` messages
    + No JavaScript - works all major browsers and a lot of minor ones, including Ladybird and NetSurf.
    + Proper web installer for easy(-er) installation (like the one in WordPress)
    </code></pre>
Some of the things that are NOT implemented but PLANNED:<p><pre><code>    + 2FA w/ HOTP/TOTP and passkeys;
    + GitHub Pages-like thingy;
      + This is currently planned to be added as a part of CI...
    + Proper CI;
    + Migration from/to other hosting services;
    + Support for other version control software, e.g. Fossil, Mercurial and SVN
      + And conversion between them (to the degree that's possible).
    + Refactor;
    + Better SSH and HTTP clone/pull/push handling;
    + Maybe properly implement Git functionalities instead of relying on exec.Command?
</code></pre>
The code repository can be seen at <a href="https://github.com/AegisCodeForge/aegis/" rel="nofollow">https://github.com/AegisCodeForge/aegis/</a> . The list of planned things can be currently viewed on GitHub: <a href="https://github.com/AegisCodeForge/aegis/issues" rel="nofollow">https://github.com/AegisCodeForge/aegis/issues</a> . Notes on how certain things work can be read at <a href="https://github.com/bctnry/aegis/tree/master/docs" rel="nofollow">https://github.com/bctnry/aegis/tree/master/docs</a> .
I have set up a demo server at <a href="https://aegis-demo.sebastian.graphics" rel="nofollow">https://aegis-demo.sebastian.graphics</a> if you wish to see it in action. This server is hosted on a small VPS I've rented from DigitalOcean (not sponsored), which I'll be taking down in about two weeks. It will be configured with the most basic settings possible (i.e. basically SQLite for everything). I'll leave no restrictions on user activities, but please be nice...<p>Feedback & bug/security reports are greatly appreciated.</p>
<hr>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=45384801">https://news.ycombinator.com/item?id=45384801</a></p>
<p>Points: 3</p>
<p># Comments: 0</p>
]]></description><pubDate>Fri, 26 Sep 2025 10:14:11 +0000</pubDate><link>https://github.com/AegisCodeForge/aegis</link><dc:creator>kasumispencer2</dc:creator><comments>https://news.ycombinator.com/item?id=45384801</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45384801</guid></item><item><title><![CDATA[Show HN: Aegis – A Self-Hosted Code Hosting Server Written in Golang]]></title><description><![CDATA[
<p>Hello the good people on Hacker News.<p>In the last 6 months I've been working on a self-hosted Git server and now I'd say it has reached a stage where I felt comfortable showing it properly.<p>For the HTTP server and frontend part, this project only relies on `net/http` and `html/template`, both of which are in Golang's standard library. This might not be the best performance-wise but I wish to cut dependencies as much as possible.<p>If the way the whole project is structured and developed seems weird: this is the first Golang project and first serious backend project I've ever done. Before making Aegis I've only made a few small things with Node.js and have never touched Golang, and during the development a lot of things have been ignored and/or delayed for the sake of "having enough functionalities as quick as possible". At the beginning it was only meant to be a proof that I have what it takes to "learn on the job" (and to learn about Git internals of course) but it gradually snowballed from there.<p>Currently the major things that have been implemented are as follows:<p><pre><code>    + Basic things: tree/file views, commit info, history, diff;
    + Read-only clone by HTTP and read/write access through SSH;
    + Basic issue tracking and pull requests;
    + Namespaces; 
    + Per-namespace and per-repository user access control;
    + Webhooks for external CI/CD (experimental feature; subject to change)
    + Snippets (à la GitHub snippets)
    + And many tiny things:
      + Labels for repositories;
      + UI for Git Blame;
      + UI for directly editing files;
      + 2-factor authentication w/ Email
      + Support for displaying `Co-Authored-By` messages
    + No JavaScript - works all major browsers and a lot of minor ones, including Ladybird and NetSurf.
    + Proper web installer for easy(-er) installation (like the one in WordPress)
    </code></pre>
Some of the things that are NOT implemented but PLANNED:<p><pre><code>    + 2FA w/ HOTP/TOTP and passkeys;
    + GitHub Pages-like thingy;
      + This is currently planned to be added as a part of CI...
    + Proper CI;
    + Migration from/to other hosting services;
    + Support for other version control software, e.g. Fossil, Mercurial and SVN
      + And conversion between them (to the degree that's possible).
    + Refactor;
    + Better SSH and HTTP clone/pull/push handling;
    + Maybe properly implement Git functionalities instead of relying on exec.Command?
</code></pre>
The code repository can be seen at <a href="https://github.com/AegisCodeForge/aegis/" rel="nofollow">https://github.com/AegisCodeForge/aegis/</a> . The list of planned things can be currently viewed on GitHub: <a href="https://github.com/AegisCodeForge/aegis/issues" rel="nofollow">https://github.com/AegisCodeForge/aegis/issues</a> . Notes on how certain things work can be read at <a href="https://github.com/bctnry/aegis/tree/master/docs" rel="nofollow">https://github.com/bctnry/aegis/tree/master/docs</a> .<p>I have set up a demo server at <a href="https://aegis-demo.sebastian.graphics" rel="nofollow">https://aegis-demo.sebastian.graphics</a> if you wish to see it in action. This server is hosted on a small VPS I've rented from DigitalOcean (not sponsored), which I'll be taking down in about two weeks. It will be configured with the most basic settings possible (i.e. basically SQLite for everything). I'll leave no restrictions on user activities, but please be nice...<p>Feedback & bug/security reports are greatly appreciated.</p>
<hr>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=45365940">https://news.ycombinator.com/item?id=45365940</a></p>
<p>Points: 3</p>
<p># Comments: 0</p>
]]></description><pubDate>Wed, 24 Sep 2025 21:04:19 +0000</pubDate><link>https://github.com/AegisCodeForge/aegis</link><dc:creator>kasumispencer2</dc:creator><comments>https://news.ycombinator.com/item?id=45365940</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45365940</guid></item><item><title><![CDATA[New comment by kasumispencer2 in "Haiku Beta 3"]]></title><description><![CDATA[
<p>> when it basically apparently doesn't run on laptops<p>i had an old laptop that runs just fine (albeit with a tiny bit of fiddling). you're free not to believe me though, it's your opinion after all.<p>> requires us to pretend that it's in the same class as those other OSes?<p>lmfao, did they ever?<p>shut up and get your shit together.</p>
]]></description><pubDate>Mon, 26 Jul 2021 07:42:58 +0000</pubDate><link>https://news.ycombinator.com/item?id=27956746</link><dc:creator>kasumispencer2</dc:creator><comments>https://news.ycombinator.com/item?id=27956746</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=27956746</guid></item></channel></rss>