You could find patterns like “when wave B intersects wave K, there’s a global pandemic within 5 years”!
1,489 karma · joined June 17, 2017
You could find patterns like “when wave B intersects wave K, there’s a global pandemic within 5 years”!
https://nvidianews.nvidia.com/news/nvidia-announces-financia...
But this is exactly the point - if you forgot about proving `ToBytes(FromBytes(bs)) == bs`, forgot about this edge case, and later tried to prove a function that implicitly relied on that fact - Dafny would let you know!
Similar to chat-gpt
Gun manufacturers should start adding this to their TOS. $1M fine if used to illegally commit murder.
Imagine instead, three years ago, before ChatGPT and Dall-E, he tweeted something like:
“”” 2019: $30,000 to (produce real game assets out of my programmer art sketches)|(write a well researched biography)|(animate a short film)|(narrate my documentary), $300 for a plumbing job.
i wonder what those relative prices will look like in 2028! “””
We’re not there yet, but already it’s pretty clear the prices of the former will decrease dramatically, to the point it takes a similar amount of human effort, training, skill, and experience as the plumbing job - then perhaps get even easier!
It is interesting to think why most other comments try to pick apart the original tweet instead
[1] https://fotoforensics.com/analysis.php?id=b98e447834ffbc36d3...
https://fotoforensics.com/analysis.php?id=6f4b50d6f01c001874...
Even if they lost money per free account, it’s worth it.
https://codereview.chromium.org/977323003
is bad - because it gives an error message stating the owner has disabled the dinosaur game, but gates the game just based on whether the device is enrolled. The owner has not explicitly disabled the game, nor has any way to reenable it, as the message suggests; google has.