Why don't we have privacy respecting ZKP Age IDs yet (at least in the EU)? Could someone tell me what the hold up is. I wish I could paste this as a prompt into a Codex Swarm and have it solve the government... At least…
This was my first thought after they disallowed LLM contributions. They may not use AI to check for vulnerabilities but attackers are going to which puts themselves at the disadvantage.
you can get another LLM to verify
there is a proof in lean4 it's correct by construction
I think it's over guys
I get worried when thinking about Mistral because they make mediocre models and I don't think they will be able to defeat their competition.
I don't have $2M
ok for this CVE exactly it wouldn't have worked but the general pareto 80-20 rule stands regarding the rest of the memory safety vulns
Google has the means and ability to rewrite Chromium ; bug for bug in Rust from C++ using Astra & Fable. Same for the Linux kernel. Considering the Fermat's Last Theorem lean proof was 13MLoC and cost $300,000 it would…
The same people who would petition against ZKP Internet IDs complaining about the unregulated internet. You can't have your cake and eat it too...
Now imagine he were a mathematician instead of a software engineer. The post sounds rather backwards in this scenario.
glm 5.3 flash is the best model I have ever used
I was thinking about this anti AI sentiment and how it is related to American individualism. In socialist countries like China there has never been a protest related to data centres or job loss etc. unlike in the USA.…
there's still JEPA to be integrated before AGI. Would DiffusionGemma be suitable candidate for DFlash 2?
there's still ego & competition against other humans which is what I do to distract myself
Why don't we have privacy respecting ZKP Age IDs yet (at least in the EU)? Could someone tell me what the hold up is. I wish I could paste this as a prompt into a Codex Swarm and have it solve the government... At least…
This was my first thought after they disallowed LLM contributions. They may not use AI to check for vulnerabilities but attackers are going to which puts themselves at the disadvantage.
you can get another LLM to verify
there is a proof in lean4 it's correct by construction
I think it's over guys
I get worried when thinking about Mistral because they make mediocre models and I don't think they will be able to defeat their competition.
I don't have $2M
ok for this CVE exactly it wouldn't have worked but the general pareto 80-20 rule stands regarding the rest of the memory safety vulns
Google has the means and ability to rewrite Chromium ; bug for bug in Rust from C++ using Astra & Fable. Same for the Linux kernel. Considering the Fermat's Last Theorem lean proof was 13MLoC and cost $300,000 it would…
The same people who would petition against ZKP Internet IDs complaining about the unregulated internet. You can't have your cake and eat it too...
Now imagine he were a mathematician instead of a software engineer. The post sounds rather backwards in this scenario.
glm 5.3 flash is the best model I have ever used
I was thinking about this anti AI sentiment and how it is related to American individualism. In socialist countries like China there has never been a protest related to data centres or job loss etc. unlike in the USA.…
I was thinking about this anti AI sentiment and how it is related to American individualism. In socialist countries like China there has never been a protest related to data centres or job loss etc. unlike in the USA.…
there's still JEPA to be integrated before AGI. Would DiffusionGemma be suitable candidate for DFlash 2?
there's still ego & competition against other humans which is what I do to distract myself