> > A black box oracle that just tells you whether statements are true or false is not the goal of mathematics and would not be particularly interesting to the field
> This is a crude distortion. The recent breakthroughs have come with proofs, reasoning and verification, and there is no proposal that I'm aware of that would do away with these foundations.
I believe that we are still at the point where these proofs serve as verifiable certificates of correctness, so that it's not a "trust me bro" situation, but where humans mostly still don't find them understandable, so that they are still just a highly reliable black box.
One day machines will probably do most of the work to be done better than we can. Which is fine. But then we'll also lose the meaning and purpose that work used to provide. I don't think it would necessarily lead to a dystopia, but that world would be a pretty strange place to our current eyes, to say the least.
> It was a different time. Everything from movies to stories at the bus stop were longer, more relaxed, less rushed. www probably didn't seem like a big deal at the time.
Hmm, and yet, though of a different era, we got `cp`, `ls, `mv`, `rm` ....
I think that it's also literally all plant-based meat replacers (meaning products intended to mimic meat, rather than just replacing meat with plants).
I agree, it is used in place of meat, but I think that it is not usually intended to mimic meat. For example, I think that few people would claim you could use tofu as a drop-in recipe replacement without affecting flavor, whereas meat replacers like Impossible are intended to be able to do exactly that.
In case you missed the intentional misspelling, rather than are just going along with the joke: the word used was 'udder' (a cow's teats) rather than 'utter'.
> Every time I've tried to use it (as recently as half a year ago) it's still a shitshow and never displays or updates apps correctly. Half the time an app showed up on the website that didn't show up on the phone app.
Sounds like an accurate recreation of the Play Store experience to me.
This is not me simping for Google, I would honestly prefer literally anyone else with an acceptable app store experience, but I can honestly say I've never had that experience with the Play Store. If there's an update, it updates. If there's an app, it appears in search. On the rare occasion an app doesn't appear and I go to the Play Store website looking for it, the reason the app didn't show up is because it's listed as incompatible with my device (usually Android version too low or too high).
I believe that, (possibly only) in the early days, it offered to add any imported music to your library, which I think it indeed did by converting to AAC and putting in a directory structure of its choosing.
It probably could convert to AAC, but the biggest issue for collector nerds with carefully curated collections of mp3's organized in folders by artist and album and with perfect metadata was that iTunes would take all your hard work, shake it around, rename all the files and dump them in a single folder and fuck up your metadata. At least that's how I remember it, but it's over 20 years ago ...
I think the core lesson of the story is knowing if your hobby is listening to music or curating a music collection. Optimize for one or the other.
I went from meticulously curated MP3 collection on Linux to letting iTunes do it for me, and I realized that the meticulous curation and hunting down album art and everything was a hobby I didn't actually love. But if you do love it, great! Different tools for different jobs.
Submitting to iTunes made syncing to the phone much easier, but I've been using claude to rebuild/repair my 20+ year old library, and have learned that iTunes has very weak if any support for "work" - a feature it has to split up classical music the way the CD does (once file per movement). Frustrating that there will likely never be a high-quality syncing player that works well with iPhones.
I remember the trick was to use a network hard disk or drive for the music. iTunes kept the organized folders and all files untouched while building its metadata-only archive in local. But in general, yes, the tendency to mess with your file was built-in.
The trick was to skip the onboarding and go into the Preferences, there was an option there to disable putting your files in the music library folder and messing with the layout
edit: I just compared iTunes 4 and Music in Tahoe and they still have the same preference! It's funny how they clearly did a s/iTunes/Music/, resulting in the "Music/Music" dir https://kalleboo.com/linked/itunes4-vs-musictahoe.png
As I recall it, the AAC option was for syncing to iPods with lower capacity (like the Shuffle) so that it would convert your 320/256kbps MP3s to 128kbps AACs to fit more music. It did this for a copy of them though, I've never heard of it actually converting your main library and checking out an old version of iTunes it has no way of converting your whole library (just individual tracks one by one).
Having iTunes organize your music into its own folder structure was an preference you could turn off, but that option was not shown in the onboarding so it ruined many a people's meticulously organized files...
Presumably there's not much logical obstruction to all human-understandable math eventually being formalized, although the willingness and ability to commit the requisite enormous amount of time will probably be insurmountable. But definitely that hasn't happened already!
Not to defend the church, but what else should they have done?
reply