phillc73

6 ms·

1.
by phillc73 17d ago
Also an Australian living in Austria (there’s a few of us), although not in Vienna. 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 th
2.
by phillc73 22d ago
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
3.
by phillc73 1mo ago
Not sure why the parent was downvoted, because I think it nails the current sentiment. For some people the COVID vaccine(s) were rushed to market, with limited clinical trials, intended to vaccinate the entire adult population, with limited
4.
by phillc73 2mo ago
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 developin
5.
by phillc73 2mo ago
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 still have a loyal following, making up nearly 29% of new-ca
6.
by phillc73 2mo ago
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 choice and find it works quite well, with relevant skills lo
7.
by phillc73 3mo ago
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 stations (stations, airports and headqua
8.
by phillc73 4mo ago
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 and languages there are collaborations and M&A happening.
9.
by phillc73 4mo ago
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 t
10.
by phillc73 4mo ago
Mistral just acquired Emmi AI, an Austrian startup. German and French speaking together at last. https://news.ycombinator.com/item?id=48197995
11.
by phillc73 4mo ago
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]. Then test the Rust code against the specifications using quint_
12.
by phillc73 4mo ago
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 project, with the same tasks. I upgraded my plan last nig
13.
by phillc73 4mo ago
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 here, but not in the title (Coop). Probably pers
14.
by phillc73 4mo ago
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 find the ergonomics of it nicer than the others I
15.
by phillc73 4mo ago
You're thinking of 442 ;-) https://www.fourfourtwo.com/
16.
by phillc73 4mo ago
Mistral’s Vibe CLI does support SKILL.md files.
17.
by phillc73 4mo ago
Their Voxtral[1] speech models are really good. [1] https://mistral.ai/news/voxtral
18.
by phillc73 4mo ago
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-based Emmi
19.
by phillc73 4mo ago
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 citizens can still choose not to use ChatGPT (until it become
20.
by phillc73 4mo ago
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 protected when all their prompts and data is sent to OpenAI?
21.
by phillc73 4mo ago
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 each. [1] https://www.moonbitlang.com/ [2] h
22.
by phillc73 4mo ago
Does your goose talk to other geese?[1] [1] https://goose-docs.ai/
23.
by phillc73 4mo ago
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 - Purescript - Grain - Idris Then I asked if there were any
24.
by phillc73 4mo ago
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) Mistral beats GPT in Java and C++ b) It's c
25.
by phillc73 4mo ago
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 would love to see those three added to your ben
26.
Show HN: Dikaletus – meeting recording and transcription using Mistral AI(codeberg.org)
2 points by phillc73 4mo ago|0 comments
27.
Mesh LLM to build private personal AI, using open models(anarchai.org)
3 points by phillc73 4mo ago|0 comments
28.
by phillc73 4mo ago
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 GeoJSON format (and import too I suppose).[2] This makes it r
29.
by phillc73 5mo ago
Direct announcement on the Mistral website: https://mistral.ai/news/vibe-remote-agents-mistral-medium-3-...
30.
Mistral Medium 3.5 128B(huggingface.co)
4 points by phillc73 5mo ago|1 comments

More ›