I think the biggest hurdle remaining is that all these landmark results are generally counter-examples.
Proving something in the affirmative often requires the creation of an entire new sub-field of math, or new tools. Think of Fermat's Last Theorem or something like that.
These results, while impressive, are clever constructions using existing techniques. It isn't clear that AIs can build new machinery like this. But if/when they can, yeah it is probably game over.
I had the exact same problem with LeechBlock override, so I built talysman.app, which is basically Brick (the phone app) but for desktop. If your problem is solely on your phone, just use Brick, same principle but on the phone.
The key point is that you can only unblock when a physical usb drive (paired with the app) is inserted.
I've found this is the "just right" amount of friction. Too much friction (like impossible to override) and you have to be careful about when you turn it on, in case you genuinely need Reddit or YouTube or something. Too little friction and you just always override. But having to walk over to the next room to override is perfect.
I had it write a short story about Vader and Palpatine discovering the Graham Schmidt process. It wasn't the greatest thing ever but it got the mood right and understood what Graham Schmidt was. It was crazy at the time
Aren't astronomy problems almost exactly the opposite?
In astronomy the background is mostly static, providing an excellent reference frame either when trying to discover/track a moving object, or when trying to overlap multiple images of the same object for better observations.
If you're looking for an unknown island your background is constantly changing, but you're looking for something which is somewhat static but might not actually exist.
There are a dozen or more options for tiling systems and keyboard-driven computing on macOS. Personally, one of the reasons I use macOS over Linux is because I find it easier to create custom keyboard commands and shortcuts. It’s all doable on Linux, sure, but on macOS there are several apps that make it easy.
If you haven't used something like i3/sway/awesomewm/hyprland on the linux side you won't know what you're missing.
While there are several apps to create custom keyboard commands, only yabai+skhd come close to what's available on linux, and it's not even that close tbh.
When I was young I wanted to be a theoretical physicist, but then I learned that computers let you use math to model and impact the "real" world, and I was turned towards data science. Masters in Applied Math, experience with Python and its data science stack and deep learning.
Full stack JS experience as well, using React. I also have built a fairly sophisticated Electron app using ClojureScript and what is essentially React.
Looking for roles in data science or otherwise general software engineering
Proving something in the affirmative often requires the creation of an entire new sub-field of math, or new tools. Think of Fermat's Last Theorem or something like that.
These results, while impressive, are clever constructions using existing techniques. It isn't clear that AIs can build new machinery like this. But if/when they can, yeah it is probably game over.
reply