keel-control

5 ms·

1. 1.▲
   by keel-control 6d ago

   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 that would have
2. 2.▲
   by keel-control 7d ago

   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.
3. 3.▲
   by keel-control 8d ago

   you can get another LLM to verify / if the lean doesn't have `sorry` used to skip certain parts of the proof etc. It's much easier once it's in lean4 because checks like that can be done computationally.
4. 4.▲
   by keel-control 9d ago

   there is a proof in lean4 it's correct by construction
5. 5.▲
   by keel-control 9d ago

   I think it's over guys
6. 6.▲
   by keel-control 9d ago

   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.
7. 7.▲
   by keel-control 12d ago

   I don't have $2M
8. 8.▲
   by keel-control 12d ago

   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
9. 9.▲
   by keel-control 12d ago

   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 cost $2M to
10. 10.▲
    by keel-control 15d ago

    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...
11. 11.▲
    by keel-control 15d ago

    Now imagine he were a mathematician instead of a software engineer. The post sounds rather backwards in this scenario.
12. 12.▲
    by keel-control 20d ago

    glm 5.3 flash is the best model I have ever used
13. 13.▲
    by keel-control 24d ago

    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. Because the large scal
14. 14.▲
    by keel-control 24d ago

    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. Because the large scal
15. 15.▲
    by keel-control 28d ago

    there's still JEPA to be integrated before AGI. Would DiffusionGemma be suitable candidate for DFlash 2?
16. 16.▲
    by keel-control 1mo ago

    there's still ego & competition against other humans which is what I do to distract myself