<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: iFire</title><link>https://news.ycombinator.com/user?id=iFire</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Wed, 13 May 2026 17:08:21 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=iFire" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by iFire in "Can LLMs model real-world systems in TLA+?"]]></title><description><![CDATA[
<p>I haven't made money on yet, but I'm trying to model a webtransport (http/3, quic) system for massive multiplay vr games.<p>See <a href="https://aws.amazon.com/builders-library/challenges-with-distributed-systems/" rel="nofollow">https://aws.amazon.com/builders-library/challenges-with-dist...</a> for how async related to distributed systems.</p>
]]></description><pubDate>Sat, 09 May 2026 07:58:00 +0000</pubDate><link>https://news.ycombinator.com/item?id=48072934</link><dc:creator>iFire</dc:creator><comments>https://news.ycombinator.com/item?id=48072934</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48072934</guid></item><item><title><![CDATA[New comment by iFire in "Can LLMs model real-world systems in TLA+?"]]></title><description><![CDATA[
<p>I don't use tla+ to model real-world systems anymore, Claude is able to model systems in Lean 4 and the binary executable can handle real input or I can directly generate c / rust on proofs with numeric types that have ring structure (integers, rationals, bits).<p><a href="https://github.com/lambdaclass/truth_research_zk" rel="nofollow">https://github.com/lambdaclass/truth_research_zk</a></p>
]]></description><pubDate>Sat, 09 May 2026 04:01:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=48071707</link><dc:creator>iFire</dc:creator><comments>https://news.ycombinator.com/item?id=48071707</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48071707</guid></item><item><title><![CDATA[New comment by iFire in "5NF and Database Design"]]></title><description><![CDATA[
<p>Chris Date has a course on this using his parts and supplies example. Don't have time to find it but maybe ai can find it.<p><a href="https://www.oreilly.com/videos/c-j-dates-database/9781449336370/" rel="nofollow">https://www.oreilly.com/videos/c-j-dates-database/9781449336...</a><p><a href="https://www.amazon.ca/Database-Design-Relational-Theory-Normal/dp/1484255399" rel="nofollow">https://www.amazon.ca/Database-Design-Relational-Theory-Norm...</a></p>
]]></description><pubDate>Tue, 14 Apr 2026 20:33:40 +0000</pubDate><link>https://news.ycombinator.com/item?id=47771119</link><dc:creator>iFire</dc:creator><comments>https://news.ycombinator.com/item?id=47771119</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47771119</guid></item><item><title><![CDATA[New comment by iFire in "5NF and Database Design"]]></title><description><![CDATA[
<p><a href="https://dl.acm.org/doi/10.1145/2274576.2274589" rel="nofollow">https://dl.acm.org/doi/10.1145/2274576.2274589</a><p>I'll try reading it again.</p>
]]></description><pubDate>Tue, 14 Apr 2026 20:32:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=47771109</link><dc:creator>iFire</dc:creator><comments>https://news.ycombinator.com/item?id=47771109</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47771109</guid></item><item><title><![CDATA[New comment by iFire in "5NF and Database Design"]]></title><description><![CDATA[
<p><a href="https://en.wikipedia.org/wiki/Essential_tuple_normal_form" rel="nofollow">https://en.wikipedia.org/wiki/Essential_tuple_normal_form</a> is cool!<p>Since I had bad memory, I asked the ai to make me a mnemonic:<p>* Every<p>* Table<p>* Needs<p>* Full-keys (in its joins)</p>
]]></description><pubDate>Tue, 14 Apr 2026 18:55:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=47769777</link><dc:creator>iFire</dc:creator><comments>https://news.ycombinator.com/item?id=47769777</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47769777</guid></item><item><title><![CDATA[New comment by iFire in "The blue light from your phone isn't ruining your sleep"]]></title><description><![CDATA[
<p>Ah! So it's the total light output of the light not the specific color. So it means I can use regular colours but dimmer. That would make late night color editing better.</p>
]]></description><pubDate>Wed, 08 Apr 2026 19:46:42 +0000</pubDate><link>https://news.ycombinator.com/item?id=47695334</link><dc:creator>iFire</dc:creator><comments>https://news.ycombinator.com/item?id=47695334</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47695334</guid></item><item><title><![CDATA[New comment by iFire in "The blue light from your phone isn't ruining your sleep"]]></title><description><![CDATA[
<p>So it's saying orange light but really really bright makes a difference?<p>That's ok.<p>I usually have really dim orange lights...<p>Edit: Or was it the contrapositive..</p>
]]></description><pubDate>Wed, 08 Apr 2026 19:41:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=47695261</link><dc:creator>iFire</dc:creator><comments>https://news.ycombinator.com/item?id=47695261</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47695261</guid></item><item><title><![CDATA[New comment by iFire in "The blue light from your phone isn't ruining your sleep"]]></title><description><![CDATA[
<p>So if this research is true, I can get the benefits of better sleep without using <a href="https://justgetflux.com/news/pages/v4/welcome/" rel="nofollow">https://justgetflux.com/news/pages/v4/welcome/</a> how would that work?<p>F.lux is fairly intrusive.</p>
]]></description><pubDate>Wed, 08 Apr 2026 19:40:14 +0000</pubDate><link>https://news.ycombinator.com/item?id=47695244</link><dc:creator>iFire</dc:creator><comments>https://news.ycombinator.com/item?id=47695244</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47695244</guid></item><item><title><![CDATA[New comment by iFire in "The blue light from your phone isn't ruining your sleep"]]></title><description><![CDATA[
<p>Orange light synced with the daybreak and sunrise made my life better.<p>So something is odd with this scientific research. Any explanations?</p>
]]></description><pubDate>Wed, 08 Apr 2026 19:34:02 +0000</pubDate><link>https://news.ycombinator.com/item?id=47695166</link><dc:creator>iFire</dc:creator><comments>https://news.ycombinator.com/item?id=47695166</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47695166</guid></item><item><title><![CDATA[New comment by iFire in "Miasma: A tool to trap AI web scrapers in an endless poison pit"]]></title><description><![CDATA[
<p>I for one welcome everyone to the tarpit where a normal person is seen as a robot in an endless poison pit and sounds like a Black Mirror television episode.</p>
]]></description><pubDate>Sun, 29 Mar 2026 20:05:44 +0000</pubDate><link>https://news.ycombinator.com/item?id=47566713</link><dc:creator>iFire</dc:creator><comments>https://news.ycombinator.com/item?id=47566713</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47566713</guid></item><item><title><![CDATA[New comment by iFire in "Why AI systems don't learn – On autonomous learning from cognitive science"]]></title><description><![CDATA[
<p><a href="https://github.com/plastic-labs/honcho" rel="nofollow">https://github.com/plastic-labs/honcho</a> has the idea of one sided observations for RAG.</p>
]]></description><pubDate>Wed, 18 Mar 2026 01:22:36 +0000</pubDate><link>https://news.ycombinator.com/item?id=47420578</link><dc:creator>iFire</dc:creator><comments>https://news.ycombinator.com/item?id=47420578</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47420578</guid></item><item><title><![CDATA[New comment by iFire in "Show HN: Stratum – SQL that branches and beats DuckDB on 35/46 1T benchmarks"]]></title><description><![CDATA[
<p><a href="https://github.com/replikativ/stratum" rel="nofollow">https://github.com/replikativ/stratum</a> is apache2.0 license FOSS!<p>> Stratum is a columnar analytics engine that combines the performance of fused SIMD execution with the semantics of immutable data<p>What are your thoughts for investing in a columnar based database rather than a hybrid one?<p>I'm in the game development space.</p>
]]></description><pubDate>Thu, 12 Mar 2026 21:40:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=47357556</link><dc:creator>iFire</dc:creator><comments>https://news.ycombinator.com/item?id=47357556</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47357556</guid></item><item><title><![CDATA[New comment by iFire in "LLM Writing Tropes.md"]]></title><description><![CDATA[
<p>At the Ise Jingu, the shrine is not built to last; it is built to be reconstructed from scratch every twenty years.<p>If we want our systems to last, we would need the "process knowledge"—the actual mastery of the craft—to be in human hands rather than decaying in a dead system.<p>I don't think we can afford to process-knowledge-transfer many of our essential systems... without machine assistance.</p>
]]></description><pubDate>Sun, 08 Mar 2026 06:33:04 +0000</pubDate><link>https://news.ycombinator.com/item?id=47295095</link><dc:creator>iFire</dc:creator><comments>https://news.ycombinator.com/item?id=47295095</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47295095</guid></item><item><title><![CDATA[New comment by iFire in "LLM Writing Tropes.md"]]></title><description><![CDATA[
<p>Agree.<p>I don't write for sentimentality. I write so that my code designs can survive longer than my work on it.<p>No documentation is worse than deceit.<p>The emptiness and vastness of the void (entropy) is much deeper than  humans or machines.<p>Google search says this philosphy is called <a href="https://plato.stanford.edu/entries/content-externalism/" rel="nofollow">https://plato.stanford.edu/entries/content-externalism/</a></p>
]]></description><pubDate>Sun, 08 Mar 2026 06:03:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=47294942</link><dc:creator>iFire</dc:creator><comments>https://news.ycombinator.com/item?id=47294942</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47294942</guid></item><item><title><![CDATA[New comment by iFire in "Show HN: I spent a billion tokens bridging Elixir and WebAssembly"]]></title><description><![CDATA[
<p>Is this about <a href="https://github.com/software-mansion/popcorn" rel="nofollow">https://github.com/software-mansion/popcorn</a> ?<p>I love their webassembly live demo <a href="https://popcorn.swmansion.com/#live-demo" rel="nofollow">https://popcorn.swmansion.com/#live-demo</a><p>Edited:<p>Oh this is using llm to write webassembly as an ISA ir (like byte code)?<p>See <a href="https://news.ycombinator.com/item?id=47118778">https://news.ycombinator.com/item?id=47118778</a></p>
]]></description><pubDate>Mon, 02 Mar 2026 19:18:24 +0000</pubDate><link>https://news.ycombinator.com/item?id=47222713</link><dc:creator>iFire</dc:creator><comments>https://news.ycombinator.com/item?id=47222713</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47222713</guid></item><item><title><![CDATA[New comment by iFire in "What it means that Ubuntu is using Rust"]]></title><description><![CDATA[
<p>Most of the platforms were successfully petitioned to have rust sdk mandatory added so that rust code can be added to the platforms. The previously situation was rust was not allowed because the external dependency of the rust sdk was blocked.<p>Note that the rust having no stable api is not fixed, so I think there's a bunch of internal systems on each platform to hard lock the rust dependencies across multiple rust users.<p>There's some friction between platform packagers and the code that the author wrote exactly as it was written.</p>
]]></description><pubDate>Mon, 23 Feb 2026 18:30:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=47126561</link><dc:creator>iFire</dc:creator><comments>https://news.ycombinator.com/item?id=47126561</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47126561</guid></item><item><title><![CDATA[New comment by iFire in "Code is not being read anymore, right?"]]></title><description><![CDATA[
<p>My approach for a game sandbox <a href="https://github.com/libriscv/godot-sandbox" rel="nofollow">https://github.com/libriscv/godot-sandbox</a> for user generated content was to experiment with standardizing on a riscv 64 bit linux ISA.<p><a href="https://bellard.org/jslinux/" rel="nofollow">https://bellard.org/jslinux/</a> bellard is notable for this approach where you write a riscv execution layer and then write a windows / linux / dos etc emulator on top.<p><a href="https://bellard.org/tinyemu/" rel="nofollow">https://bellard.org/tinyemu/</a></p>
]]></description><pubDate>Mon, 23 Feb 2026 07:03:39 +0000</pubDate><link>https://news.ycombinator.com/item?id=47119009</link><dc:creator>iFire</dc:creator><comments>https://news.ycombinator.com/item?id=47119009</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47119009</guid></item><item><title><![CDATA[New comment by iFire in "Code is not being read anymore, right?"]]></title><description><![CDATA[
<p>Huh?<p>I thought the latest advance in computing (spring 2025 - last year) is self-play / reinforcement learning. Like we've ran out of training data a few years ago.<p><a href="https://github.com/OpenPipe/ART" rel="nofollow">https://github.com/OpenPipe/ART</a><p>Reinforcement learning having the large language model devise puzzles that they solve via llm-as-judge.<p>The definition of llm-as-judge is your llm generate 8-12 trajectories and a different llm judges the result. I'd use an oracle like windows or linux operating system execution for the problem of ISA-assembly creation.<p>The winning entries are used to train the large language model.</p>
]]></description><pubDate>Mon, 23 Feb 2026 06:54:26 +0000</pubDate><link>https://news.ycombinator.com/item?id=47118948</link><dc:creator>iFire</dc:creator><comments>https://news.ycombinator.com/item?id=47118948</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47118948</guid></item><item><title><![CDATA[New comment by iFire in "Code is not being read anymore, right?"]]></title><description><![CDATA[
<p>You've got a good point.<p>Why not directly have the llm write ISA assembly. We're still grading based on results / theory proofs and for example the certifications for cryptographical government use are based on binary codes and not sources.<p>Edited:<p>Why not go further and print the chips, pcbs directly via 3d printing with llm instructions.<p>Edited (joke):<p>Why not go the furthest and turn the entire earth into a computer and grey goo?</p>
]]></description><pubDate>Mon, 23 Feb 2026 06:41:37 +0000</pubDate><link>https://news.ycombinator.com/item?id=47118872</link><dc:creator>iFire</dc:creator><comments>https://news.ycombinator.com/item?id=47118872</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47118872</guid></item><item><title><![CDATA[New comment by iFire in "FreeCAD"]]></title><description><![CDATA[
<p>As part of my donated work in Godot Engine, my approach is to improve manifold <a href="https://github.com/elalish/manifold" rel="nofollow">https://github.com/elalish/manifold</a> to get a "geometric kernel"<p>I think I've succeeded and many CAD tools use manifold for geometric kernels on 3d boundary meshes.<p>I was able to get Godot Engine and Blender to adopt elalish/manifold.<p>List of CAD tools that adopted elalish/manifold.<p>OpenSCAD  Blender  IFCjs
Nomad Sculpt  Grid.Space  badcad
Godot Engine  OCADml  Flitter
BRL-CAD  PolygonJS  Spherene
Babylon.js  trimesh  Gypsum
Valence 3D  bitbybit.dev  PythonOpenSCAD
Conversation  AnchorSCAD  Dactyl Web Configurator
Arcol  Bento3D  SKÅPA
Cadova  BREP.io  Otterplans
Bracket Engineer</p>
]]></description><pubDate>Fri, 20 Feb 2026 18:23:32 +0000</pubDate><link>https://news.ycombinator.com/item?id=47091725</link><dc:creator>iFire</dc:creator><comments>https://news.ycombinator.com/item?id=47091725</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47091725</guid></item></channel></rss>