keel-control

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 persistent is more valuable than being consistent in the sense that you only need to win the lottery once to be rich forever. Whereas you can consistently work a job for an indefinite quantity of time and never be rich.

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 percentile difficulty of work that wouldn't be solvable with that configuration.

I just rewrote it on my device in ratatui using codex in 16 minutes and it uses 10x less RAM 150MB -> 15MB

the binary file is 10MB

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 that would have more immediate impacts that the naiver stokes equations

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 / 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.