no signs of mega tsunami damage outside of the shore - "News reporter says in the 50km radius shadow of a tsunami large enough to block out the sun"
They are going to run out of vulns eventually when the code is rewritten in memory safe lang & the rest are found.
ASPD perhaps which would also explain his fast life type strategies of high risk high reward low impulse control decisions. Which in this case led to success. Reminds of the veritassium video where it said being…
denial, anger, bargaining, depression, and acceptance
kek
they're finished
anything but bun?
this is a good idea ngl an unpopular one but very effective
Coding is literally solved with current models. It's just a matter of inference cost at this point. Imagine if Astra 6 Max was $0.00001 per 1M ouput... I can't think of a single example apart from perhaps the 99.9th…
I just rewrote it on my device in ratatui using codex in 16 minutes and it uses 10x less RAM 150MB -> 15MB
why not use ratatui
it's ridiculously bad
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.…
no signs of mega tsunami damage outside of the shore - "News reporter says in the 50km radius shadow of a tsunami large enough to block out the sun"
They are going to run out of vulns eventually when the code is rewritten in memory safe lang & the rest are found.
ASPD perhaps which would also explain his fast life type strategies of high risk high reward low impulse control decisions. Which in this case led to success. Reminds of the veritassium video where it said being…
denial, anger, bargaining, depression, and acceptance
kek
they're finished
anything but bun?
this is a good idea ngl an unpopular one but very effective
Coding is literally solved with current models. It's just a matter of inference cost at this point. Imagine if Astra 6 Max was $0.00001 per 1M ouput... I can't think of a single example apart from perhaps the 99.9th…
I just rewrote it on my device in ratatui using codex in 16 minutes and it uses 10x less RAM 150MB -> 15MB
why not use ratatui
it's ridiculously bad
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.…