<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: juliangamble</title><link>https://news.ycombinator.com/user?id=juliangamble</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Mon, 17 Aug 2026 06:22:22 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=juliangamble" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by juliangamble in "What if the Apple ][ had run on Field-Sequential?"]]></title><description><![CDATA[
<p>But would it have run Shufflepuck Cafe?
<a href="https://news.ycombinator.com/item?id=47128631">https://news.ycombinator.com/item?id=47128631</a></p>
]]></description><pubDate>Mon, 09 Mar 2026 07:20:43 +0000</pubDate><link>https://news.ycombinator.com/item?id=47305772</link><dc:creator>juliangamble</dc:creator><comments>https://news.ycombinator.com/item?id=47305772</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47305772</guid></item><item><title><![CDATA[New comment by juliangamble in "Living human brain cells play DOOM on a CL1 [video]"]]></title><description><![CDATA[
<p>I am so proud to be an Australian technologist today.</p>
]]></description><pubDate>Mon, 09 Mar 2026 07:10:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=47305692</link><dc:creator>juliangamble</dc:creator><comments>https://news.ycombinator.com/item?id=47305692</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47305692</guid></item><item><title><![CDATA[New comment by juliangamble in "Favorite Tech Museums"]]></title><description><![CDATA[
<p>Some more<p>- Cambridge Centre for Computing History - <a href="https://www.computinghistory.org.uk/" rel="nofollow">https://www.computinghistory.org.uk/</a><p>- London Museum for Science - Babbage's Difference Engine <a href="https://www.sciencemuseum.org.uk/objects-and-stories/charles-babbages-difference-engines-and-science-museum" rel="nofollow">https://www.sciencemuseum.org.uk/objects-and-stories/charles...</a><p>- National Museum of Computing (near Bletchley Park Museum) <a href="https://www.tnmoc.org/" rel="nofollow">https://www.tnmoc.org/</a><p>- Bletchley Park Museum <a href="https://www.bletchleypark.org.uk/" rel="nofollow">https://www.bletchleypark.org.uk/</a><p>- Manchester Museum (Manchester Baby) <a href="https://www.scienceandindustrymuseum.org.uk/whats-on/meet-baby" rel="nofollow">https://www.scienceandindustrymuseum.org.uk/whats-on/meet-ba...</a><p>I visited these all last year in a single trip to the UK and it was incredible. I can recommend it to anyone who has spent some time thinking about the history of computing.</p>
]]></description><pubDate>Sat, 10 Jan 2026 03:39:00 +0000</pubDate><link>https://news.ycombinator.com/item?id=46562521</link><dc:creator>juliangamble</dc:creator><comments>https://news.ycombinator.com/item?id=46562521</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46562521</guid></item><item><title><![CDATA[Bell Labs Won Its First Nobel Prize]]></title><description><![CDATA[
<p>Article URL: <a href="https://www.construction-physics.com/p/how-bell-labs-won-its-first-nobel">https://www.construction-physics.com/p/how-bell-labs-won-its-first-nobel</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=46312285">https://news.ycombinator.com/item?id=46312285</a></p>
<p>Points: 3</p>
<p># Comments: 0</p>
]]></description><pubDate>Thu, 18 Dec 2025 13:19:41 +0000</pubDate><link>https://www.construction-physics.com/p/how-bell-labs-won-its-first-nobel</link><dc:creator>juliangamble</dc:creator><comments>https://news.ycombinator.com/item?id=46312285</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46312285</guid></item><item><title><![CDATA[New comment by juliangamble in "50 years of proof assistants"]]></title><description><![CDATA[
<p>I'd like to call out the work from Nada Amin in this area:<p>Dafny and verification-aware programming, including proof by induction to verify properties of programs (for example, that an optimizer preserves semantics). Dafny Sketcher (<a href="https://github.com/namin/dafny-sketcher" rel="nofollow">https://github.com/namin/dafny-sketcher</a>)<p>Multi-stage programming, a principled approach to writing programs that write programs, and its incarnation in multi-stage relational programming for faster synthesis of programs with holes—with the theoretical insight that a staged interpreter is a compiler, and a staged relational interpreter for a functional language can turn functions into relations running backwards for synthesis.
multi-stage miniKanren (<a href="https://github.com/namin/staged-miniKanren" rel="nofollow">https://github.com/namin/staged-miniKanren</a>)<p>Monte Carlo Tree Search, specifically the VerMCTS variant, and when this exploration-exploitation sweet spot is a good match for synthesis problems.
VerMCTS (<a href="https://github.com/namin/llm-verified-with-monte-carlo-tree-search" rel="nofollow">https://github.com/namin/llm-verified-with-monte-carlo-tree-...</a>), and Holey (<a href="https://github.com/namin/holey" rel="nofollow">https://github.com/namin/holey</a>).</p>
]]></description><pubDate>Sat, 13 Dec 2025 04:39:54 +0000</pubDate><link>https://news.ycombinator.com/item?id=46252034</link><dc:creator>juliangamble</dc:creator><comments>https://news.ycombinator.com/item?id=46252034</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46252034</guid></item><item><title><![CDATA[New comment by juliangamble in "Messenger Deprecation for Mac"]]></title><description><![CDATA[
<p>Meta is removing its Messenger apps for Windows and macOS</p>
]]></description><pubDate>Tue, 18 Nov 2025 04:42:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=45961473</link><dc:creator>juliangamble</dc:creator><comments>https://news.ycombinator.com/item?id=45961473</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45961473</guid></item><item><title><![CDATA[Messenger Deprecation for Mac]]></title><description><![CDATA[
<p>Article URL: <a href="https://www.facebook.com/help/messenger-app/1789649698300122">https://www.facebook.com/help/messenger-app/1789649698300122</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=45961472">https://news.ycombinator.com/item?id=45961472</a></p>
<p>Points: 3</p>
<p># Comments: 2</p>
]]></description><pubDate>Tue, 18 Nov 2025 04:42:45 +0000</pubDate><link>https://www.facebook.com/help/messenger-app/1789649698300122</link><dc:creator>juliangamble</dc:creator><comments>https://news.ycombinator.com/item?id=45961472</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45961472</guid></item><item><title><![CDATA[New comment by juliangamble in "Spatial intelligence is AI’s next frontier"]]></title><description><![CDATA[
<p>Thanks for your article. The references section was interesting.<p>I'll add to the discussion a 2018 Nature letter:
"Vector-based navigation using grid-like representations in artificial agents"
<a href="https://www.nature.com/articles/s41586-018-0102-6" rel="nofollow">https://www.nature.com/articles/s41586-018-0102-6</a><p>and a 2024 Nature article 
"Modeling hippocampal spatial cells in rodents navigating in 3D environments"
<a href="https://www.nature.com/articles/s41598-024-66755-x" rel="nofollow">https://www.nature.com/articles/s41598-024-66755-x</a><p>And a simulation in Github from 2018
<a href="https://github.com/google-deepmind/grid-cells" rel="nofollow">https://github.com/google-deepmind/grid-cells</a><p>People have been looking at spacial awareness in neurology for quite a while. (In terms of the timeframe of recent developments in LLMs).</p>
]]></description><pubDate>Tue, 11 Nov 2025 07:15:52 +0000</pubDate><link>https://news.ycombinator.com/item?id=45884859</link><dc:creator>juliangamble</dc:creator><comments>https://news.ycombinator.com/item?id=45884859</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45884859</guid></item><item><title><![CDATA[Strap Rail]]></title><description><![CDATA[
<p>Article URL: <a href="https://www.construction-physics.com/p/strap-rail">https://www.construction-physics.com/p/strap-rail</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=45839834">https://news.ycombinator.com/item?id=45839834</a></p>
<p>Points: 50</p>
<p># Comments: 6</p>
]]></description><pubDate>Thu, 06 Nov 2025 20:14:24 +0000</pubDate><link>https://www.construction-physics.com/p/strap-rail</link><dc:creator>juliangamble</dc:creator><comments>https://news.ycombinator.com/item?id=45839834</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45839834</guid></item><item><title><![CDATA[New comment by juliangamble in "Vibe Coding in the 90s"]]></title><description><![CDATA[
<p>> Anything more complex than a few lines, you can just copy it from lib\ folder of the CD-ROM. There's a component for everything. You want to left-pad a string?<p>This got me.</p>
]]></description><pubDate>Sat, 25 Oct 2025 00:13:23 +0000</pubDate><link>https://news.ycombinator.com/item?id=45700365</link><dc:creator>juliangamble</dc:creator><comments>https://news.ycombinator.com/item?id=45700365</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45700365</guid></item><item><title><![CDATA[New comment by juliangamble in "Microsoft doubles down on small modular reactors and fusion energy"]]></title><description><![CDATA[
<p>They started with a different, more brilliant idea, of using human brains as a giant neural net, then backed away from that:
<a href="https://news.ycombinator.com/item?id=12508832">https://news.ycombinator.com/item?id=12508832</a></p>
]]></description><pubDate>Mon, 08 Sep 2025 21:33:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=45174301</link><dc:creator>juliangamble</dc:creator><comments>https://news.ycombinator.com/item?id=45174301</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45174301</guid></item><item><title><![CDATA[Ford and the Birth of the Model T]]></title><description><![CDATA[
<p>Article URL: <a href="https://www.construction-physics.com/p/ford-and-the-birth-of-the-model-t">https://www.construction-physics.com/p/ford-and-the-birth-of-the-model-t</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=45051655">https://news.ycombinator.com/item?id=45051655</a></p>
<p>Points: 4</p>
<p># Comments: 0</p>
]]></description><pubDate>Thu, 28 Aug 2025 13:00:46 +0000</pubDate><link>https://www.construction-physics.com/p/ford-and-the-birth-of-the-model-t</link><dc:creator>juliangamble</dc:creator><comments>https://news.ycombinator.com/item?id=45051655</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45051655</guid></item><item><title><![CDATA[How does the US use water?]]></title><description><![CDATA[
<p>Article URL: <a href="https://www.construction-physics.com/p/how-does-the-us-use-water">https://www.construction-physics.com/p/how-does-the-us-use-water</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=44971850">https://news.ycombinator.com/item?id=44971850</a></p>
<p>Points: 241</p>
<p># Comments: 195</p>
]]></description><pubDate>Thu, 21 Aug 2025 12:21:38 +0000</pubDate><link>https://www.construction-physics.com/p/how-does-the-us-use-water</link><dc:creator>juliangamble</dc:creator><comments>https://news.ycombinator.com/item?id=44971850</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44971850</guid></item><item><title><![CDATA[New comment by juliangamble in "GHz spiking neuromorphic photonic chip with in-situ training"]]></title><description><![CDATA[
<p>“Zero success” seems a bit strong. People have been able to get 96% accuracy on MINST digits on their local machine. 
<a href="https://norse.github.io/notebooks/mnist_classifiers.html" rel="nofollow">https://norse.github.io/notebooks/mnist_classifiers.html</a>
I think it may be more accurate to say “1970s level neural net performance”. The evidence suggests it is a nascent field of research.</p>
]]></description><pubDate>Mon, 04 Aug 2025 21:41:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=44791678</link><dc:creator>juliangamble</dc:creator><comments>https://news.ycombinator.com/item?id=44791678</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44791678</guid></item><item><title><![CDATA[New comment by juliangamble in "Concurrency in Haskell: Fast, Simple, Correct"]]></title><description><![CDATA[
<p>Quibble: Both Clojure and Scala have a Software Transactional Memory implementation, and the original Clojure Ant demo showed this.</p>
]]></description><pubDate>Thu, 17 Apr 2025 09:27:39 +0000</pubDate><link>https://news.ycombinator.com/item?id=43714600</link><dc:creator>juliangamble</dc:creator><comments>https://news.ycombinator.com/item?id=43714600</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43714600</guid></item><item><title><![CDATA[Understanding US Power Outages]]></title><description><![CDATA[
<p>Article URL: <a href="https://www.construction-physics.com/p/understanding-us-power-outages">https://www.construction-physics.com/p/understanding-us-power-outages</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=43647799">https://news.ycombinator.com/item?id=43647799</a></p>
<p>Points: 3</p>
<p># Comments: 0</p>
]]></description><pubDate>Thu, 10 Apr 2025 20:35:02 +0000</pubDate><link>https://www.construction-physics.com/p/understanding-us-power-outages</link><dc:creator>juliangamble</dc:creator><comments>https://news.ycombinator.com/item?id=43647799</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43647799</guid></item><item><title><![CDATA[New comment by juliangamble in "Bletchley code breaker Betty Webb dies aged 101"]]></title><description><![CDATA[
<p>I did the tour of Bletchley Park today and my Tour Guide said he'd met Betty Webb, that he mourned her loss, and that when he had met her at a reunion, she had remained tight-lipped about what her work had been on.</p>
]]></description><pubDate>Tue, 01 Apr 2025 16:48:02 +0000</pubDate><link>https://news.ycombinator.com/item?id=43548921</link><dc:creator>juliangamble</dc:creator><comments>https://news.ycombinator.com/item?id=43548921</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43548921</guid></item><item><title><![CDATA[Construction Physics: Google's answer to Starlink, US food imports, BYD factory]]></title><description><![CDATA[
<p>Article URL: <a href="https://www.construction-physics.com/p/reading-list-032225">https://www.construction-physics.com/p/reading-list-032225</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=43445238">https://news.ycombinator.com/item?id=43445238</a></p>
<p>Points: 1</p>
<p># Comments: 0</p>
]]></description><pubDate>Sat, 22 Mar 2025 12:19:46 +0000</pubDate><link>https://www.construction-physics.com/p/reading-list-032225</link><dc:creator>juliangamble</dc:creator><comments>https://news.ycombinator.com/item?id=43445238</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43445238</guid></item><item><title><![CDATA[How will the Trump tariffs affect construction?]]></title><description><![CDATA[
<p>Article URL: <a href="https://www.construction-physics.com/p/how-will-the-trump-tariffs-affect">https://www.construction-physics.com/p/how-will-the-trump-tariffs-affect</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=43062429">https://news.ycombinator.com/item?id=43062429</a></p>
<p>Points: 8</p>
<p># Comments: 1</p>
]]></description><pubDate>Sat, 15 Feb 2025 21:17:44 +0000</pubDate><link>https://www.construction-physics.com/p/how-will-the-trump-tariffs-affect</link><dc:creator>juliangamble</dc:creator><comments>https://news.ycombinator.com/item?id=43062429</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43062429</guid></item><item><title><![CDATA[New comment by juliangamble in "Yann LeCun predicts "new paradigm of AI architectures" within 5 years"]]></title><description><![CDATA[
<p>> These “limitations” inhibit truly intelligent behavior in machines, LeCun says. This is down to four key reasons: a lack of understanding of the physical world; a lack of persistent memory; a lack of reasoning; and a lack of complex planning capabilities.</p>
]]></description><pubDate>Sat, 25 Jan 2025 00:04:39 +0000</pubDate><link>https://news.ycombinator.com/item?id=42818156</link><dc:creator>juliangamble</dc:creator><comments>https://news.ycombinator.com/item?id=42818156</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=42818156</guid></item></channel></rss>