I dunno if you've been living under an enormous rock, but they used AI to make this.
20,277 karma · joined August 23, 2014
I dunno if you've been living under an enormous rock, but they used AI to make this.
It's not the same kind of intelligence as humans so it'll probably always have weird areas where it can't do as well (like counting letters in words), but that doesn't mean it isn't smart. If AI were sentient it could point at humans and say "haha look how dumb they are; 99.999% of them can't even write a basic Lean program".
We're way beyond the point where "it's not as smart as humans" is meaningful.
Also the control could just be a slider. Much easier and simpler on all platforms.
Nice idea though.
Just because you can...
It even added ANSI colour support... which I am still on the fence about but it did make the very good point that it means the logging is exactly the same in GUI and CLI mode.
You don't magically avoid a threshold just by saying "obvious".
We're starting to see open source FPGAs but they are miniscule: https://tinytapeout.com/chips/ttihp26a/tt_um_fabulous_ihp_26...
The only exception I know of is Android. It would be interesting to know how many of these vulnerabilities work there. Can't be zero anyway...
There's no fundamental difference in justice, just minor differences in thresholds.
Linux, sometimes works without faff. But in my experience it's at best 50:50 if you get that, or constant crashes, hangs, broken peripherals, etc. (Of course any time you mention this the luck 50% pipe up with "it works for me".)
If you could add support for SolveSpace's 2D sketcher, and also bevels/fillets, then this might actually be useful.
Occasionally I do spot things and get a "you're right, I was wrong". But it's got to the point that my thought is no longer "of course I am... shitty slop machine" but "phew, I'm not totally obsolete quite yet!".
And they also won't believe you since they formed their opinion 6 months ago when code quality was 80% slop. Their loss though I guess? At least they'll be more surprised than us when they actually do lose their jobs? Maybe blissful ignorance is better!
Good for him but I don't think that justifies such a snooty position.
I will agree that it kinda sucks not being able to claim credit for your work. I've vibe coded or vibe finished several apps now that are extremely impressive, better than the existing alternatives. But I feel weird saying "I made this" because it feels like I barely did anything.
The standard answer is checked exceptions, which I'm on the fence about, but they don't seem to be very popular in any case. Python doesn't have them. C++ removed support for them which shows you how unpopular they were. Java has them and IIRC they were kind of ok to use in Android. Kotlin doesn't have them though so I guess the Java people didn't really like them either.
Diffsitter and Difftastic have been around for a while, both MIT, so I doubt it.