Viewing profile — phillc73

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 ca…

Article is narrowly focused on the US market. “Driving a manual vehicle is a lost art.” Hardly. It may be decreasing overall but nowhere near a lost art. “Yet manual-equipped cars …

Which models have you found work best with OCaml? I also went through quite a process to select a language to work with LLMs[1] before settling on OCaml. I am not unhappy with the …

For the UK, there's a handy Wikipedia page with 57 defunct airports listed: https://en.wikipedia.org/wiki/Category:Defunct_airports_in_E... And also specifically former RAF station…

Emmi is an Austrian lab specialising in physics AI applications. Mistral isn’t specialising in French language LLMs either. The point was that across different European countries a…

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. An…

Mistral just acquired Emmi AI, an Austrian startup. German and French speaking together at last. https://news.ycombinator.com/item?id=48197995

Make sure the specifications can’t fail by verifying them for correctness. Something like TLA+[1] and Quint[2] specifications can be verified for correctness using Apalache[3]. The…

I was a Mistral Le Chat Pro subscriber (the €20/month plan). Yesterday I hit my monthly limit. Switching to PAYG I burned through another €40 in one evening, working on the same pr…

It's generally inconsistent. The first sentence is written, "A co-op is an economic system built on the simple idea that coordinating the economic activity..." Co-op is correct her…

I don't use the numpad characters, but I have tried Vibe, Goose (GUI and CLI), Dirac and the built in agent in Zed for vibe coding. I keep coming back to Mistral's Vibe. I actually…

You're thinking of 442 ;-) https://www.fourfourtwo.com/

Mistral’s Vibe CLI does support SKILL.md files.

Their Voxtral[1] speech models are really good. [1] https://mistral.ai/news/voxtral

Maybe they've fixed it since publishing, but the opening line now says: > Europe's leading artificial intelligence firm, France's Mistral AI, said on Tuesday it has acquired Linz-b…

Of course ChatGPT is available to EU citizens, should they choose to use it. That’s very different to the Maltese government actively promoting use of ChatGPT. Of course Maltese ci…

Malta is part of the EU. I am personally very surprised about this partnership, just in the context of data security, privacy and the GDPR. How is the privacy of these EU citizens …

Also in this space is Moonbit[1] and Vera[2]. A performance comparison between them, across multiple factors, would be interesting because I have no idea of the pros and cons of ea…

Does your goose talk to other geese?[1] [1] https://goose-docs.ai/

The initial criteria was strongly typed and functional first. Using an LLM for answers, of course, that returned me a list that looked like: - Haskell - OCaml - F# - Scala - Gleam …

Thanks for that, I hadn't scrolled down far enough. Just want to be sure I'm reading the results correctly... When I compare GPT-5.5 with Mistral Medium 3.5, I see in the tables: a…

Just last night I was going down the rabbit hole of "what's the best programming language to use for vibe coding." I came to a short list of: a) Typed Racket b) OCaml c) Julia I wo…

Dikaletus is a TUI tool to record, transcribe, and generate structured meeting notes using FFmpeg, PulseAudio and the Mistral AI API. The meeting agent automates the process of cap…

GeoJSON is not just for geographical features! Shapes of any kind work just as well. QuPath[1], a tool for digital pathology whole slide image analysis, can export annotations in G…