<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: phillc73</title><link>https://news.ycombinator.com/user?id=phillc73</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Thu, 08 Oct 2026 03:10:01 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=phillc73" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by phillc73 in "Sharing AI progress in mathematics"]]></title><description><![CDATA[
<p>> is this British English for “they didn't follow anything at all”?<p>Yes, but the subtext is even stronger.</p>
]]></description><pubDate>Wed, 07 Oct 2026 09:53:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=49990487</link><dc:creator>phillc73</dc:creator><comments>https://news.ycombinator.com/item?id=49990487</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49990487</guid></item><item><title><![CDATA[New comment by phillc73 in "Polars 2.0"]]></title><description><![CDATA[
<p>If you want to use a database instead of Polars, for similar use cases, duckdb is a much better bet than postgressql or sqlite.</p>
]]></description><pubDate>Tue, 06 Oct 2026 20:05:59 +0000</pubDate><link>https://news.ycombinator.com/item?id=49983328</link><dc:creator>phillc73</dc:creator><comments>https://news.ycombinator.com/item?id=49983328</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49983328</guid></item><item><title><![CDATA[New comment by phillc73 in "Mistral Large 4"]]></title><description><![CDATA[
<p>Yes, but I still don't know where the truth is.... The Mistral dashboard shows a drawn down on €255 worth of "credit" when you have a Pro subscription, which costs €18.44. There's no way I'm going to use the pay-as-you-go API if it means I'd be burning €500 in the next six days, as I just ostensibly have in the last 6.<p>I appreciate I can set a monthly spending limit for the pay-as-you-go API, but I'm just not willing to find out how far €100 will go, when I know it will go further elsewhere.<p>I just wish they had that €100 subscription tier, for the equivalent of €1k pay-as-you-go use.</p>
]]></description><pubDate>Tue, 06 Oct 2026 19:15:03 +0000</pubDate><link>https://news.ycombinator.com/item?id=49982748</link><dc:creator>phillc73</dc:creator><comments>https://news.ycombinator.com/item?id=49982748</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49982748</guid></item><item><title><![CDATA[New comment by phillc73 in "Mistral Large 4"]]></title><description><![CDATA[
<p>And Mistral also do exactly that. They host GLM-5.3.</p>
]]></description><pubDate>Tue, 06 Oct 2026 17:35:02 +0000</pubDate><link>https://news.ycombinator.com/item?id=49981625</link><dc:creator>phillc73</dc:creator><comments>https://news.ycombinator.com/item?id=49981625</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49981625</guid></item><item><title><![CDATA[New comment by phillc73 in "Mistral Large 4"]]></title><description><![CDATA[
<p>I'm at a loss as to what to do now. I've been wanting to support Mistral for so long. I struggled on with Mistral Medium 3.5 for longer than I should have (although I also think it taught me some valuable process lessons).<p>Recently I switched to the Mistral hosted GLM-5.3, this worked very well and powered through a tonne of work. Unfortunately, I also completely maxed out two subscriptions within the space of six days this month. One can't stack subscriptions with Mistral, so I'd have to register a third account for another subscription, which will be annoying with changing API keys all the time. Sure I can switch to pay-as-you-go API, but that adds up really fast. The Mistral dashboard shows that a Vibe CLI monthly subscription for €18.44 actually provides €255 worth of API use (apparently, and I tried to check this with Support but it seems like they were intentionally vague).<p>After maxing out my Mistral subs this morning, I dropped $10 on Xiaomi to try MiMo-2.6. So far so good, seem to have done a lot of work for the $2.85 I've spent, and Xiaomi prices are still much better than the Mistral introductory offer for Le Chonk.<p>Not sure where to jump.<p>Edit: Not being able to stack subs is my biggest gripe with Mistral. I'd probably pay them $100 per month (5 subs worth), but I'm not going to switch to the pay-as-you-go API and burn much more money for the same amount of tokens. Instead, I've taken that extra money elsewhere. If they just allowed one to keep topping up subscriptions on the same account it'd be grand. Or even a bigger single subscription. Make a $100 tier with five times the capacity.</p>
]]></description><pubDate>Tue, 06 Oct 2026 16:39:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=49980909</link><dc:creator>phillc73</dc:creator><comments>https://news.ycombinator.com/item?id=49980909</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49980909</guid></item><item><title><![CDATA[New comment by phillc73 in "Why Common Lisp is now the best programming language"]]></title><description><![CDATA[
<p>Interesting take and similar to something I've recently been working on. Have a look at janet-num.[1] Plain numeric C kernels under Janet.<p>Janet for orchestration, C for the frame loop.<p>[1] <a href="https://github.com/jennystats/janet-num" rel="nofollow">https://github.com/jennystats/janet-num</a></p>
]]></description><pubDate>Tue, 06 Oct 2026 06:17:48 +0000</pubDate><link>https://news.ycombinator.com/item?id=49974888</link><dc:creator>phillc73</dc:creator><comments>https://news.ycombinator.com/item?id=49974888</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49974888</guid></item><item><title><![CDATA[New comment by phillc73 in "Reasons I didn't become an EMT, ranked"]]></title><description><![CDATA[
<p>If you're interested in this field, consider remote work; wilderness, expeditions, offshore. Potentially much more interesting than city work and scope of practice around the world differs, so there is sometimes the opportunity to be more involved.<p>Have a look at the Award in Remote Emergency Medical Technician[1] from the College of Remote and Offshore Medicine. It's 75 hours of online study, then a 6 day course in their classroom in Malta (another 50 hours). Afterwards you'll hold a recognised European tertiary qualification, but you'll still have to sort out local registration.<p>The AREMT course is actually also the first module in their full BSc in Remote Paramedic Practice programme.[2]<p>[1] <a href="https://corom.edu.mt/award-in-remote-emergency-medical-technician/" rel="nofollow">https://corom.edu.mt/award-in-remote-emergency-medical-techn...</a><p>[2] <a href="https://corom.edu.mt/bsc-in-rpp/" rel="nofollow">https://corom.edu.mt/bsc-in-rpp/</a></p>
]]></description><pubDate>Sun, 04 Oct 2026 00:02:35 +0000</pubDate><link>https://news.ycombinator.com/item?id=49949093</link><dc:creator>phillc73</dc:creator><comments>https://news.ycombinator.com/item?id=49949093</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49949093</guid></item><item><title><![CDATA[New comment by phillc73 in "DeepSeek Harness Desktop for macOS and Windows"]]></title><description><![CDATA[
<p>I've been with Mistral for a while now. Their hosted GLM-5.3 has been a game changer in Vibe CLI over the last couple of weeks. The Vibe CLI harness has been improving for a while, but is still a little sluggish and I feel lacks token minimisation strategies. I recently changed to Maki and have been reasonably satisfied so far.<p>However, I also use the Mistral Vibe chat in my browser. I think they only switched to GLM-3.5 here a couple of days ago (<a href="https://docs.mistral.ai/resources/changelogs" rel="nofollow">https://docs.mistral.ai/resources/changelogs</a>). It'd be nice if Mistral had a desktop client, but I have Goose installed which I have no real complaints about.</p>
]]></description><pubDate>Fri, 02 Oct 2026 11:15:14 +0000</pubDate><link>https://news.ycombinator.com/item?id=49932202</link><dc:creator>phillc73</dc:creator><comments>https://news.ycombinator.com/item?id=49932202</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49932202</guid></item><item><title><![CDATA[New comment by phillc73 in "The internet discovers TLA+. Now what?"]]></title><description><![CDATA[
<p>I also like to explicately state in the prompt that, "the work is not complete until all Quint specifications pass 'quint verify'." If the model just uses "quint run" it still might miss issues.</p>
]]></description><pubDate>Thu, 01 Oct 2026 11:13:59 +0000</pubDate><link>https://news.ycombinator.com/item?id=49920233</link><dc:creator>phillc73</dc:creator><comments>https://news.ycombinator.com/item?id=49920233</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49920233</guid></item><item><title><![CDATA[New comment by phillc73 in "Dots is not available in Europe:/"]]></title><description><![CDATA[
<p>I know it's juvenile, but "dot" is Australian slang for anus (maybe British/Irish too, I don't know). Reading that page had me in stitches. Fantastic product naming from OpenAI.</p>
]]></description><pubDate>Wed, 30 Sep 2026 15:29:18 +0000</pubDate><link>https://news.ycombinator.com/item?id=49910263</link><dc:creator>phillc73</dc:creator><comments>https://news.ycombinator.com/item?id=49910263</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49910263</guid></item><item><title><![CDATA[New comment by phillc73 in "Europe's summer drought is so extreme that desertification is a growing threat"]]></title><description><![CDATA[
<p>Also an Australian living in Austria (there’s a few of us), although not in Vienna.<p>Whenever I return to Australia (also mostly rural locations) the major difference I notice is bird life. There are so many more birds in Australia. Maybe they’re just noisier.<p>We put feeders out in our Austrian garden and do see plenty of small birds, as well as woodpeckers, crows and pigeons. However, in Australia there are lots of small birds too, like finches and wrens. As well as magpies, currawongs and the large noisy flocks of galahs and sulphur crested cockatoos. King parrots and rosellas regularly seen. Maybe it’s a regional Australia phenomenon, but it really stands out to me.</p>
]]></description><pubDate>Sun, 30 Aug 2026 21:54:41 +0000</pubDate><link>https://news.ycombinator.com/item?id=49503252</link><dc:creator>phillc73</dc:creator><comments>https://news.ycombinator.com/item?id=49503252</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49503252</guid></item><item><title><![CDATA[New comment by phillc73 in "Why some US restaurants are banning tips"]]></title><description><![CDATA[
<p>Not sure which destinations you're eating in, but as someone who lives in "Europe", that's not been a regular occurrence at all. Generally, the waiting times are not so long and service is reasonable. There are of course experiences at both end of the spectrum. I've walked out of a Vienna cafe once because I waited 20 minutes for someone to bring the bill. Three steps out the door the waiter chased me down and I paid the bill. Problem solved. However, I've also been in situations where I us want the wait-staff to bugger off and let me enjoy my meal and conversation in peace. Usually, the service is somewhere in between.</p>
]]></description><pubDate>Tue, 25 Aug 2026 10:45:25 +0000</pubDate><link>https://news.ycombinator.com/item?id=49431651</link><dc:creator>phillc73</dc:creator><comments>https://news.ycombinator.com/item?id=49431651</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49431651</guid></item><item><title><![CDATA[New comment by phillc73 in "England set to be one of the first countries to eliminate hepatitis C"]]></title><description><![CDATA[
<p>Not sure why the parent was downvoted, because I think it nails the current sentiment.<p>For some people the COVID vaccine(s) were rushed to market, with limited clinical trials, intended to vaccinate the entire adult population, with limited data as to their immediate effectiveness and with no data about long term effects. You can debate whether the above points are valid or not, but for some people they certainly raised a safety flag.<p>I completely agree that the vaccine scepticism around the COVID vaccines is now carrying over into other, well tested, well understood and very, very beneficial vaccines.</p>
]]></description><pubDate>Tue, 11 Aug 2026 16:23:38 +0000</pubDate><link>https://news.ycombinator.com/item?id=49260649</link><dc:creator>phillc73</dc:creator><comments>https://news.ycombinator.com/item?id=49260649</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=49260649</guid></item><item><title><![CDATA[New comment by phillc73 in "The death of the stick shift is almost here"]]></title><description><![CDATA[
<p>I agree the use of manual gearboxes in cars is decreasing. However, as of today, it is nowhere near a "lost art" and it won't be for a long time. There are enough manual gearbox cars in the world that, especially in developing nations, they will be around for a long time, even more so if agricultural and other industrial vehicles are considered.<p>The article was needlessly hyperbolic and narrowly focused on a single market.</p>
]]></description><pubDate>Fri, 17 Jul 2026 21:35:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=48952524</link><dc:creator>phillc73</dc:creator><comments>https://news.ycombinator.com/item?id=48952524</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48952524</guid></item><item><title><![CDATA[New comment by phillc73 in "The death of the stick shift is almost here"]]></title><description><![CDATA[
<p>Article is narrowly focused on the US market.<p>“Driving a manual vehicle is a lost art.”<p>Hardly. It may be decreasing overall but nowhere near a lost art.<p>“Yet manual-equipped cars still have a loyal following, making up nearly 29% of new-car sales in 2024 across Europe's big five markets.”[1]<p>[1] <a href="https://www.slashgear.com/2039491/why-manual-transmissions-are-still-popular-in-europe/" rel="nofollow">https://www.slashgear.com/2039491/why-manual-transmissions-a...</a></p>
]]></description><pubDate>Fri, 17 Jul 2026 17:08:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=48949688</link><dc:creator>phillc73</dc:creator><comments>https://news.ycombinator.com/item?id=48949688</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48949688</guid></item><item><title><![CDATA[New comment by phillc73 in "After 7 years in production, Scarf has reluctantly moved away from Haskell"]]></title><description><![CDATA[
<p>Which models have you found work best with OCaml?<p>I also went through quite a process to select a language to work with LLMs[1] before settling on OCaml.<p>I am not unhappy with the choice and find it works quite well, with relevant skills loaded, but I am always interested in others’ experience and understanding what they’ve discovered works well.<p>[1] <a href="https://news.ycombinator.com/item?id=48105850">https://news.ycombinator.com/item?id=48105850</a></p>
]]></description><pubDate>Sat, 11 Jul 2026 08:06:44 +0000</pubDate><link>https://news.ycombinator.com/item?id=48869881</link><dc:creator>phillc73</dc:creator><comments>https://news.ycombinator.com/item?id=48869881</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48869881</guid></item><item><title><![CDATA[New comment by phillc73 in "Abandoned and Little-Known Airfields"]]></title><description><![CDATA[
<p>For the UK, there's a handy Wikipedia page with 57 defunct airports listed:<p><a href="https://en.wikipedia.org/wiki/Category:Defunct_airports_in_England" rel="nofollow">https://en.wikipedia.org/wiki/Category:Defunct_airports_in_E...</a><p>And also specifically former RAF stations (stations, airports and headquarters):<p><a href="https://en.wikipedia.org/wiki/List_of_former_Royal_Air_Force_stations" rel="nofollow">https://en.wikipedia.org/wiki/List_of_former_Royal_Air_Force...</a></p>
]]></description><pubDate>Wed, 17 Jun 2026 18:28:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=48574595</link><dc:creator>phillc73</dc:creator><comments>https://news.ycombinator.com/item?id=48574595</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48574595</guid></item><item><title><![CDATA[New comment by phillc73 in "Notes from the Mistral AI Now Summit"]]></title><description><![CDATA[
<p>Emmi is an Austrian lab specialising in physics AI applications.<p>Mistral isn’t specialising in French language LLMs either.<p>The point was that across different European countries and languages there are collaborations and M&A happening.</p>
]]></description><pubDate>Sat, 30 May 2026 09:29:53 +0000</pubDate><link>https://news.ycombinator.com/item?id=48334343</link><dc:creator>phillc73</dc:creator><comments>https://news.ycombinator.com/item?id=48334343</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48334343</guid></item><item><title><![CDATA[New comment by phillc73 in "Notes from the Mistral AI Now Summit"]]></title><description><![CDATA[
<p>I received the same email, although couldn’t quite figure out which retiring model I was still using, as I thought I’d already transitioned to Mistral-Medium-3.5 for everything. Anyway, after receiving the email, my hope was that it meant they were also planning on releasing some new, improved models in the next months.</p>
]]></description><pubDate>Sat, 30 May 2026 07:26:47 +0000</pubDate><link>https://news.ycombinator.com/item?id=48333615</link><dc:creator>phillc73</dc:creator><comments>https://news.ycombinator.com/item?id=48333615</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48333615</guid></item><item><title><![CDATA[New comment by phillc73 in "Notes from the Mistral AI Now Summit"]]></title><description><![CDATA[
<p>Mistral just acquired Emmi AI, an Austrian startup.<p>German and French speaking together at last.<p><a href="https://news.ycombinator.com/item?id=48197995">https://news.ycombinator.com/item?id=48197995</a></p>
]]></description><pubDate>Sat, 30 May 2026 07:23:01 +0000</pubDate><link>https://news.ycombinator.com/item?id=48333595</link><dc:creator>phillc73</dc:creator><comments>https://news.ycombinator.com/item?id=48333595</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48333595</guid></item></channel></rss>