<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: solresol</title><link>https://news.ycombinator.com/user?id=solresol</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Sun, 13 Sep 2026 15:06:23 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=solresol" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by solresol in "Fair Work Commission condemns 'plain wrong' AI legal advice"]]></title><description><![CDATA[
<p>The second case mentioned in the article is interesting because no other case about employee choice had gone to merits before.<p>Thus it might be the first example of AI winning a case that sets some kind of precedent.<p>At the very least it shows that AI can put together coherent legal arguments even when there are no close precedents or case law it can refer to. This was something a lot of lawyers didn't believe would be possible for AI to do.</p>
]]></description><pubDate>Sun, 30 Aug 2026 12:02:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=49497929</link><dc:creator>solresol</dc:creator><comments>https://news.ycombinator.com/item?id=49497929</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49497929</guid></item><item><title><![CDATA[AI wins landmark Fair Work Commission case for Macquarie academic]]></title><description><![CDATA[
<p>Article URL: <a href="https://www.afr.com/work-and-careers/workplace/ai-wins-landmark-fair-work-commission-case-for-macquarie-academic-20260813-p60o1m">https://www.afr.com/work-and-careers/workplace/ai-wins-landmark-fair-work-commission-case-for-macquarie-academic-20260813-p60o1m</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=49326817">https://news.ycombinator.com/item?id=49326817</a></p>
<p>Points: 4</p>
<p># Comments: 0</p>
]]></description><pubDate>Mon, 17 Aug 2026 05:21:39 +0000</pubDate><link>https://www.afr.com/work-and-careers/workplace/ai-wins-landmark-fair-work-commission-case-for-macquarie-academic-20260813-p60o1m</link><dc:creator>solresol</dc:creator><comments>https://news.ycombinator.com/item?id=49326817</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49326817</guid></item><item><title><![CDATA[New comment by solresol in "I Wasn't Allowed Prompting ChatGPT During My Chalk Talk: This Is Discrimination (2025)"]]></title><description><![CDATA[
<p>In some fields, all of those statements are true already.<p>In a large number of few fields, all of those statements will be true in the near future (10 years maximum).<p>There's no reason that the Humboldtian model should be the right structure for the next century's universities, just as it wasn't the right structure for the 18th century's universities.</p>
]]></description><pubDate>Sat, 04 Jul 2026 05:39:46 +0000</pubDate><link>https://news.ycombinator.com/item?id=48782896</link><dc:creator>solresol</dc:creator><comments>https://news.ycombinator.com/item?id=48782896</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48782896</guid></item><item><title><![CDATA[New comment by solresol in "Anthropic officially bans using subscription auth for third party use"]]></title><description><![CDATA[
<p>I got banned for violating terms of use apparently, but I'm mystified as to what I rule I broke, and appealing just vanishes into the ether.</p>
]]></description><pubDate>Thu, 19 Feb 2026 03:48:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=47069667</link><dc:creator>solresol</dc:creator><comments>https://news.ycombinator.com/item?id=47069667</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47069667</guid></item><item><title><![CDATA[New comment by solresol in "We're all called Julia, or maybe ChatGPT calls itself Julia"]]></title><description><![CDATA[
<p>Has anyone else got examples of reasoning traces where it uses a word in a way that no human being would?</p>
]]></description><pubDate>Wed, 11 Feb 2026 04:12:05 +0000</pubDate><link>https://news.ycombinator.com/item?id=46970735</link><dc:creator>solresol</dc:creator><comments>https://news.ycombinator.com/item?id=46970735</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46970735</guid></item><item><title><![CDATA[We're all called Julia, or maybe ChatGPT calls itself Julia]]></title><description><![CDATA[
<p>Article URL: <a href="https://solresol.substack.com/p/were-all-called-julia-or-maybe-chatgpt">https://solresol.substack.com/p/were-all-called-julia-or-maybe-chatgpt</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=46970734">https://news.ycombinator.com/item?id=46970734</a></p>
<p>Points: 3</p>
<p># Comments: 1</p>
]]></description><pubDate>Wed, 11 Feb 2026 04:12:05 +0000</pubDate><link>https://solresol.substack.com/p/were-all-called-julia-or-maybe-chatgpt</link><dc:creator>solresol</dc:creator><comments>https://news.ycombinator.com/item?id=46970734</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46970734</guid></item><item><title><![CDATA[New comment by solresol in "Ask HN: What are you working on? (February 2026)"]]></title><description><![CDATA[
<p>I just proved that constraint solving problems can be encoded as p-adic linear regression problems[+], and that therefore we can use machine learning optimisation techniques to get exact answers.<p>So of course no journal or conference is in the least bit interested, and I'm now reformatting it for another obscure low-tier journal that no-one will ever read.<p>Otherwise:<p>- automating the translation of a Byzantine Greek work that has never been translated into English before. <a href="https://stephanos.symmachus.org" rel="nofollow">https://stephanos.symmachus.org</a><p>- also preparing evidence for a case against the university I sometimes work for.<p>[+] Linear regression, but instead of minimising the Euclidean distance, minimise the p-adic distance - <a href="https://en.wikipedia.org/wiki/P-adic_valuation" rel="nofollow">https://en.wikipedia.org/wiki/P-adic_valuation</a></p>
]]></description><pubDate>Sun, 08 Feb 2026 23:48:22 +0000</pubDate><link>https://news.ycombinator.com/item?id=46939827</link><dc:creator>solresol</dc:creator><comments>https://news.ycombinator.com/item?id=46939827</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46939827</guid></item><item><title><![CDATA[New comment by solresol in "Ask HN: What are you working on? (January 2026)"]]></title><description><![CDATA[
<p>Stephanos of Byzantium wrote what we would call an encyclopedia of people and places. Most of it has been lost, but shortened versions still exist. I've set up a bot to scan a version of what we have, translate it, extract out the proper nouns and try to figure out what was lost. <a href="https://stephanos.symmachus.org/" rel="nofollow">https://stephanos.symmachus.org/</a> I'm also linking it to the translation of Pausanias <a href="https://pausanias.symmachus.org" rel="nofollow">https://pausanias.symmachus.org</a> that another bot is doing.<p>Also, trying to finish a PhD on machine learning when you want to minimise a p-adic loss.</p>
]]></description><pubDate>Mon, 12 Jan 2026 02:50:59 +0000</pubDate><link>https://news.ycombinator.com/item?id=46583408</link><dc:creator>solresol</dc:creator><comments>https://news.ycombinator.com/item?id=46583408</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46583408</guid></item><item><title><![CDATA[New comment by solresol in "Ask HN: How are you sandboxing coding agents?"]]></title><description><![CDATA[
<p>I create a separate Linux user (which doesn't have sudo rights) for each project. I have to log each user in to Claude code or codex, but then I can use ordinary Unix permissions to keep the bots under control and isolated.</p>
]]></description><pubDate>Sat, 27 Dec 2025 13:11:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=46401603</link><dc:creator>solresol</dc:creator><comments>https://news.ycombinator.com/item?id=46401603</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46401603</guid></item><item><title><![CDATA[New comment by solresol in "Largest cargo sailboat completes first Atlantic crossing"]]></title><description><![CDATA[
<p>> The volume of cargo carried by sailing vessels in the old days was orders of magnitude lower.<p>Surprisingly, no, it wasn't. I'll slightly fudge the numbers and talk in terms of proportion of world trade that was carried by ocean-going vessels (because if you double the population then it's reasonable to talk about doubling the number of ships).<p>The world economy was very globalised in 1913. That level of globalisation in trade wasn't matched again until the 1990s.<p>We're only a little more global now than we were in the age of sail.<p>The British navy and merchant fleet was a wonder of its era.</p>
]]></description><pubDate>Sun, 09 Nov 2025 06:16:50 +0000</pubDate><link>https://news.ycombinator.com/item?id=45863383</link><dc:creator>solresol</dc:creator><comments>https://news.ycombinator.com/item?id=45863383</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45863383</guid></item><item><title><![CDATA[It's 2025 – Narrative Learning is the new baseline to beat for explainable ML]]></title><description><![CDATA[
<p>Article URL: <a href="https://arxiv.org/abs/2510.09723">https://arxiv.org/abs/2510.09723</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=45615530">https://news.ycombinator.com/item?id=45615530</a></p>
<p>Points: 1</p>
<p># Comments: 0</p>
]]></description><pubDate>Fri, 17 Oct 2025 11:39:20 +0000</pubDate><link>https://arxiv.org/abs/2510.09723</link><dc:creator>solresol</dc:creator><comments>https://news.ycombinator.com/item?id=45615530</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45615530</guid></item><item><title><![CDATA[New comment by solresol in "Ask HN: What are you working on? (October 2025)"]]></title><description><![CDATA[
<p>Writing a course for a customer on how to use Claude Code well, especially around brownfield development (working on existing code bases, not so much around vibe-coding something new).</p>
]]></description><pubDate>Mon, 13 Oct 2025 03:57:56 +0000</pubDate><link>https://news.ycombinator.com/item?id=45564544</link><dc:creator>solresol</dc:creator><comments>https://news.ycombinator.com/item?id=45564544</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45564544</guid></item><item><title><![CDATA[New comment by solresol in "BYD builds fastest car"]]></title><description><![CDATA[
<p>If the "outcompeting" is possible because of Chinese government subsidies, then it's important to protect local industry from unfair competition.<p>It's similar to the logic behind anti-trust actions against monopolists. If the playing field isn't level, then the USA government steps in to level it.<p>(Whether BYD is subsidised or not is another question, but the above is the logic of protecting local industry.)</p>
]]></description><pubDate>Mon, 06 Oct 2025 04:19:27 +0000</pubDate><link>https://news.ycombinator.com/item?id=45487608</link><dc:creator>solresol</dc:creator><comments>https://news.ycombinator.com/item?id=45487608</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45487608</guid></item><item><title><![CDATA[New comment by solresol in "Galileo’s telescopes: Seeing is believing (2010)"]]></title><description><![CDATA[
<p>Indeed. The obvious counter-example to the claim is "rainbows" which were definitely the topic of heated scientific argument for hundreds of years (and non-scientific ones before that).</p>
]]></description><pubDate>Wed, 13 Aug 2025 05:37:08 +0000</pubDate><link>https://news.ycombinator.com/item?id=44884960</link><dc:creator>solresol</dc:creator><comments>https://news.ycombinator.com/item?id=44884960</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44884960</guid></item><item><title><![CDATA[New comment by solresol in "Fine-tuning LLMs is a waste of time"]]></title><description><![CDATA[
<p>I think of it as trying to encourage the LLM to want to give answers from a particular part of the phase space. You can do it by fine tuning it to be more likely to return values from there, or you can prompt it to get into that part of the phase space. Either works, but fiddling around with prompts doesn't require all that much MLops or compute power.<p>That said, fine tuning small models because you have to power through vast amounts of data where a larger model might be cost ineffective -- that's completely sensible, and not really mentioned in the article.</p>
]]></description><pubDate>Wed, 11 Jun 2025 00:05:28 +0000</pubDate><link>https://news.ycombinator.com/item?id=44242879</link><dc:creator>solresol</dc:creator><comments>https://news.ycombinator.com/item?id=44242879</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44242879</guid></item><item><title><![CDATA[Elder care and AI agents via accounting and software development]]></title><description><![CDATA[
<p>Article URL: <a href="https://solresol.substack.com/p/elder-care-and-ai-agents-via-accounting">https://solresol.substack.com/p/elder-care-and-ai-agents-via-accounting</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=44242853">https://news.ycombinator.com/item?id=44242853</a></p>
<p>Points: 1</p>
<p># Comments: 0</p>
]]></description><pubDate>Wed, 11 Jun 2025 00:01:14 +0000</pubDate><link>https://solresol.substack.com/p/elder-care-and-ai-agents-via-accounting</link><dc:creator>solresol</dc:creator><comments>https://news.ycombinator.com/item?id=44242853</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44242853</guid></item><item><title><![CDATA[New comment by solresol in "Trying to teach in the age of the AI homework machine"]]></title><description><![CDATA[
<p>I have been wrestling with this too. I only see two options: no tech university or AI wrangling university.<p><a href="https://solresol.substack.com/p/you-can-no-longer-set-an-undergraduate" rel="nofollow">https://solresol.substack.com/p/you-can-no-longer-set-an-und...</a></p>
]]></description><pubDate>Mon, 26 May 2025 21:23:04 +0000</pubDate><link>https://news.ycombinator.com/item?id=44101817</link><dc:creator>solresol</dc:creator><comments>https://news.ycombinator.com/item?id=44101817</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44101817</guid></item><item><title><![CDATA[New comment by solresol in "Ask HN: What are you working on? (May 2025)"]]></title><description><![CDATA[
<p>A beautiful implementation of the most exotic sorting algorithm I'm going to teach this semester:<p><a href="https://bead-sort.arithmetic.guru/" rel="nofollow">https://bead-sort.arithmetic.guru/</a><p>Oh, and also a PhD on p-adic machine learning, but no one will remember that.</p>
]]></description><pubDate>Mon, 26 May 2025 13:26:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=44097243</link><dc:creator>solresol</dc:creator><comments>https://news.ycombinator.com/item?id=44097243</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44097243</guid></item><item><title><![CDATA[The answer to the million dollar question is 2031]]></title><description><![CDATA[
<p>Article URL: <a href="https://solresol.substack.com/p/the-answer-to-the-million-dollar">https://solresol.substack.com/p/the-answer-to-the-million-dollar</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=44069609">https://news.ycombinator.com/item?id=44069609</a></p>
<p>Points: 2</p>
<p># Comments: 0</p>
]]></description><pubDate>Fri, 23 May 2025 03:29:02 +0000</pubDate><link>https://solresol.substack.com/p/the-answer-to-the-million-dollar</link><dc:creator>solresol</dc:creator><comments>https://news.ycombinator.com/item?id=44069609</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44069609</guid></item><item><title><![CDATA[New comment by solresol in "A Research Preview of Codex"]]></title><description><![CDATA[
<p>I'm not sure what's wrong with me, but I just wasted several hours wrestling codex to make it behave.<p>Here's my workflow that keeps failing:
- it writes some code. It looks good a first glance
- I push it to github
- automated tests on github show that there's a problem
- go back to codex and ask it to fix it
- it does stuff. It looks good again.<p>Now what do I do? If I ask it to push again to github, then it will often create a pull request that doesn't include stuff from the first pull request, but it's not a pull request that stacks on top of the previous pull request, it's a pull request that stacks on top of main.<p>When asked to write something that called out to gpt-4.1-mini, it used openai.ChatCompletion.create (!?!!?)<p>I just found myself using claude to fix codex's mistakes.</p>
]]></description><pubDate>Sat, 17 May 2025 06:38:51 +0000</pubDate><link>https://news.ycombinator.com/item?id=44012451</link><dc:creator>solresol</dc:creator><comments>https://news.ycombinator.com/item?id=44012451</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44012451</guid></item></channel></rss>