<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: eximius</title><link>https://news.ycombinator.com/user?id=eximius</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Thu, 21 May 2026 01:23:45 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=eximius" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by eximius in "Formal Verification Gates for AI Coding Loops"]]></title><description><![CDATA[
<p>So, capabilities/type systems. Building code architecture guardrails steep enough the AI won't jump the fence/take shortcuts.</p>
]]></description><pubDate>Wed, 20 May 2026 17:33:57 +0000</pubDate><link>https://news.ycombinator.com/item?id=48211193</link><dc:creator>eximius</dc:creator><comments>https://news.ycombinator.com/item?id=48211193</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48211193</guid></item><item><title><![CDATA[New comment by eximius in "At least 25 Flock cameras have been destroyed in five states since April 2025"]]></title><description><![CDATA[
<p>On both points, sure, trivially, if I do not value property or the rule of law, I will not care about destroying it. But obviously we're talking about the moral value of the implications more than the direct value of the camera. Do keep up.<p>On the second point specifically, that's actually much more interesting! If one values the rule of law, then you would actually want your laws to be morally aligned! Otherwise, the conflict of the law with morality _devalues_ the rule of law. Valuing rule of law does not imply only some sort of legalistic value of laws unto themselves, but of the value of a society with good laws, enforced well. This incentivizes analysis and evolution _of the law_ and, to some degree, forcing conflict to bring about those changes.</p>
]]></description><pubDate>Sun, 17 May 2026 19:37:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=48172489</link><dc:creator>eximius</dc:creator><comments>https://news.ycombinator.com/item?id=48172489</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48172489</guid></item><item><title><![CDATA[New comment by eximius in "At least 25 Flock cameras have been destroyed in five states since April 2025"]]></title><description><![CDATA[
<p>It is against the law, but I would wager it is morally coherent to smash them.</p>
]]></description><pubDate>Sun, 17 May 2026 17:29:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=48171014</link><dc:creator>eximius</dc:creator><comments>https://news.ycombinator.com/item?id=48171014</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48171014</guid></item><item><title><![CDATA[New comment by eximius in "Moving away from Tailwind, and learning to structure my CSS"]]></title><description><![CDATA[
<p>Presumably because you just put the styles in the component.</p>
]]></description><pubDate>Sat, 16 May 2026 15:39:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=48161139</link><dc:creator>eximius</dc:creator><comments>https://news.ycombinator.com/item?id=48161139</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48161139</guid></item><item><title><![CDATA[New comment by eximius in "You can beat the binary search"]]></title><description><![CDATA[
<p>Those are fairly indistinguishable. It's when they start removing letters from words to save... debug symbol bytes or something? That's when c-style naming annoys me.</p>
]]></description><pubDate>Fri, 01 May 2026 05:49:26 +0000</pubDate><link>https://news.ycombinator.com/item?id=47971633</link><dc:creator>eximius</dc:creator><comments>https://news.ycombinator.com/item?id=47971633</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47971633</guid></item><item><title><![CDATA[New comment by eximius in "Ask HN: What Are You Working On? (April 2026)"]]></title><description><![CDATA[
<p>Nitor - a discord clone with a shared/federated Identity layer, but self-hosted "servers/guilds". Trust model is to trust the guild server (e.g., so private channels work as one would expect with moderation capabilities), but to enable E2E DMs and friend/presence systems via guild servers as relays. Rust, Iced, Iroh.<p>Glyphcraft - a Minecraft mod (imagine if Thaumcraft, Ars Nouveau, and Hex Casting were smashed together)</p>
]]></description><pubDate>Mon, 13 Apr 2026 06:04:42 +0000</pubDate><link>https://news.ycombinator.com/item?id=47748184</link><dc:creator>eximius</dc:creator><comments>https://news.ycombinator.com/item?id=47748184</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47748184</guid></item><item><title><![CDATA[New comment by eximius in "We've raised $17M to build what comes after Git"]]></title><description><![CDATA[
<p>Looks like almost as good as JJ but with VC money.</p>
]]></description><pubDate>Fri, 10 Apr 2026 15:47:39 +0000</pubDate><link>https://news.ycombinator.com/item?id=47719887</link><dc:creator>eximius</dc:creator><comments>https://news.ycombinator.com/item?id=47719887</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47719887</guid></item><item><title><![CDATA[New comment by eximius in "Sam Altman may control our future – can he be trusted?"]]></title><description><![CDATA[
<p>Fuck no! Of course he can't be trusted. We know that. Nobody questions that. We know that about most of the "elites" running the show.<p>We're just in this shitty pit of despair where people are desperate. It's difficult to campaign for good when you're struggling and capital can jerk people around.<p>People pursue good for the sake of good at cost to themselves when times are very good or times are very, very bad.<p>Right now times are only merely very bad.</p>
]]></description><pubDate>Tue, 07 Apr 2026 07:08:04 +0000</pubDate><link>https://news.ycombinator.com/item?id=47671679</link><dc:creator>eximius</dc:creator><comments>https://news.ycombinator.com/item?id=47671679</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47671679</guid></item><item><title><![CDATA[New comment by eximius in "LinkedIn uses 2.4 GB RAM across two tabs"]]></title><description><![CDATA[
<p>Mastodon, Bluesky, etc are neat - both in what they're trying to be and their technology. But ultimately these days I reject them in favor of more local socialization (again, not geographically). What this looks like is a constellation of private (or pseudo private) discord communities. If I make friends in one, I often get invited to another. I recognize the merit in broader social forums like Mastodon, but it is not worth the drawbacks to me.<p>As an aside, I'm not happy with Discord as a platform so I'm working on my own clone with some common identity stuff but with community servers run independently. That is, there are some "federated" identity providers so community servers can agree on identity across servers, then each community server runs its own thing. The trust model is based on the community server - private channels in a community server are not E2E encrypted, you must trust the server. But DMs and DM groups are E2E encrypted and use mutual community servers as relays (with a special class of relay server for people who want to DM but don't have an actual mutual server). I'm having fun with it. Now if only I could figure out why my video has such high latency (even locally!).</p>
]]></description><pubDate>Sun, 29 Mar 2026 16:51:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=47564835</link><dc:creator>eximius</dc:creator><comments>https://news.ycombinator.com/item?id=47564835</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47564835</guid></item><item><title><![CDATA[New comment by eximius in "LinkedIn uses 2.4 GB RAM across two tabs"]]></title><description><![CDATA[
<p>Let's be real, LinkedIn is full of LinkedIn Lunatics but pretty much all mainstream social media is pretty shit. They're just different flavors of shit. LinkedIn: bad. Facebook: bad. Twitter: I literally think it contributed to the collapse of discourse and rise of shallow thought / rejection of expertise. I'm not going to list more because the theme is, you guessed it, they're bad.<p>Google+ had promise in that the many problems of the other platforms could be curtailed with tooling to make your social experience effectively local (not necessarily geographically).</p>
]]></description><pubDate>Sun, 29 Mar 2026 16:23:52 +0000</pubDate><link>https://news.ycombinator.com/item?id=47564548</link><dc:creator>eximius</dc:creator><comments>https://news.ycombinator.com/item?id=47564548</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47564548</guid></item><item><title><![CDATA[New comment by eximius in "Colibri – chat platform built on the AT Protocol for communities big and small"]]></title><description><![CDATA[
<p>Yea, and it's a protocol problem more than anything. It would not be difficult to bolt on some kind of permissioning system to a PDS, but nothing else in the system would know how to handle that.</p>
]]></description><pubDate>Sat, 28 Mar 2026 16:28:39 +0000</pubDate><link>https://news.ycombinator.com/item?id=47556066</link><dc:creator>eximius</dc:creator><comments>https://news.ycombinator.com/item?id=47556066</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47556066</guid></item><item><title><![CDATA[New comment by eximius in "Go hard on agents, not on your filesystem"]]></title><description><![CDATA[
<p>Eh, depending on how you're running agents, I'd be more worried about installing packages from AUR or other package ecosystems.<p>We've seen an increase in hijacked packages installing malware. Folks generally expect well known software to be safe to install. I trust that the claude code harness is safe and I'm reviewing all of the non-trivial commands it's running. So I think my claude usage is actually safer than my AUR installs.<p>Granted, if you're bypassing permissions and running dangerously, then... yea, you are basically just giving a keyboard to an idiot savant with the tendency to hallucinate.</p>
]]></description><pubDate>Sat, 28 Mar 2026 07:26:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=47552381</link><dc:creator>eximius</dc:creator><comments>https://news.ycombinator.com/item?id=47552381</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47552381</guid></item><item><title><![CDATA[New comment by eximius in "Show HN: A plain-text cognitive architecture for Claude Code"]]></title><description><![CDATA[
<p>That's kinda what I mean by the "very useful" part of my description. For all the flaws of the LLMs of today, in some ways context management - nominally a weakness - can be leveraged as a tool.</p>
]]></description><pubDate>Fri, 27 Mar 2026 07:25:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=47539894</link><dc:creator>eximius</dc:creator><comments>https://news.ycombinator.com/item?id=47539894</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47539894</guid></item><item><title><![CDATA[New comment by eximius in "Colibri – chat platform built on the AT Protocol for communities big and small"]]></title><description><![CDATA[
<p>Private channels in public servers exist. I'm almost entirely on private servers.</p>
]]></description><pubDate>Thu, 26 Mar 2026 20:15:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=47535159</link><dc:creator>eximius</dc:creator><comments>https://news.ycombinator.com/item?id=47535159</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47535159</guid></item><item><title><![CDATA[New comment by eximius in "Colibri – chat platform built on the AT Protocol for communities big and small"]]></title><description><![CDATA[
<p>This probably needs a bigger callout. A user who isn't familiar with ATProto doesn't even know to ask this question and the design space from its contemporaries (e.g., discord, slack, etc) suggests that chats are nominally private if folks aren't a member of the channel.<p>It's a very cool product but you have to let people know their messages aren't private.</p>
]]></description><pubDate>Thu, 26 Mar 2026 19:59:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=47534964</link><dc:creator>eximius</dc:creator><comments>https://news.ycombinator.com/item?id=47534964</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47534964</guid></item><item><title><![CDATA[New comment by eximius in "Show HN: A plain-text cognitive architecture for Claude Code"]]></title><description><![CDATA[
<p>If open models on local hardware were more cost effective and competitive, it would be obvious that this is such a superficial approach. (I mean, it still is obvious but what are ya gunna do?)<p>We would be doing the same general loop, but fine tuning the model overnight.<p>I still think the current LLM architecture(s) is a very useful local maximum, but ultimately a dead end for AI.</p>
]]></description><pubDate>Thu, 26 Mar 2026 03:01:39 +0000</pubDate><link>https://news.ycombinator.com/item?id=47526195</link><dc:creator>eximius</dc:creator><comments>https://news.ycombinator.com/item?id=47526195</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47526195</guid></item><item><title><![CDATA[New comment by eximius in "An Honest Review of Go (2025)"]]></title><description><![CDATA[
<p>To be more clear, I want sum types with exhaustive matching - which Go does not support.<p>I get by without it Go enums are an inferior representation of the same logical concepts. Sure, I can have (kind, value) and cast things for a hacky sum type for some kind enum. But Go lacks closed enums/exhaustive matching.<p>You can at least validate the match arms with things like type switches and marker interfaces, but they're still not exhaustive and they're terribly verbose.<p>And, again, I can get by without them! But I miss them because Rust-style enum representation comes up _so often_, even if you don't like the rest of Rust.</p>
]]></description><pubDate>Thu, 08 Jan 2026 18:58:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=46544959</link><dc:creator>eximius</dc:creator><comments>https://news.ycombinator.com/item?id=46544959</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46544959</guid></item><item><title><![CDATA[New comment by eximius in "An Honest Review of Go (2025)"]]></title><description><![CDATA[
<p>Lack of enums are the main point for me.<p>The error story is not ideal but less bad than that most of the time, as you can downcast to access extra error data. Still, harder than it needs to be.<p>Overall, I've grown to like using the language even despite its warts.</p>
]]></description><pubDate>Thu, 08 Jan 2026 16:15:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=46542739</link><dc:creator>eximius</dc:creator><comments>https://news.ycombinator.com/item?id=46542739</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46542739</guid></item><item><title><![CDATA[New comment by eximius in "Fathers’ choices may be packaged and passed down in sperm RNA"]]></title><description><![CDATA[
<p>Detecting an effect is present is separate from effect power and mechanism. Showing an effect is present is usually the first step before the other two.</p>
]]></description><pubDate>Sun, 28 Dec 2025 06:27:41 +0000</pubDate><link>https://news.ycombinator.com/item?id=46408936</link><dc:creator>eximius</dc:creator><comments>https://news.ycombinator.com/item?id=46408936</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46408936</guid></item><item><title><![CDATA[New comment by eximius in "Idempotency keys for exactly-once processing"]]></title><description><![CDATA[
<p>These strategies only really work for stream processing. You also want idempotent APIs which won't really work with these. You'd probably go for the strategy they pass over which is having it be an arbitrary string key and just writing it down with some TTL.</p>
]]></description><pubDate>Fri, 05 Dec 2025 22:35:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=46168287</link><dc:creator>eximius</dc:creator><comments>https://news.ycombinator.com/item?id=46168287</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46168287</guid></item></channel></rss>