GZGavinZhao

Tao's proposition could be read completely differently depending on if you care about solving open problems OR about (pure) mathematics as a field. I think many commenters are in the former group, hence missing the point. The takeaway here should be that proof-maxxing via AI is particularly destructive to the (pure) math ecosystem because in many cases the process (both successful ones and failed ones) is just as important as the proof. When AI is hyper-optimized on finding the most "correct" path to arrive at a solution, you fail to look at all the other possible paths. They might be less "correct" or "efficient" but could also yield more interesting results that will inspire other problems or fields. Judging from the history of mathematics, without trials and errors that happened when the math community came together to focus on one single hard problem, mathematics wouldn't be as diverse and abundant as what it is today. With AI, we risk removing all of these trials and errors such that, while in the short term might mean we solve open problems at 100x speed (depth), could significantly impair the breadth of mathematics as a field.

What feels sad to me is that for many people though, this doesn't matter / the incentives don't line up to do anything to this situation, especially if you're applying math in your field. In this case, AI being hyper-optimized on finding the best solution / proof does indeed benefit those people enormously.

The biggest difficulty is probably that from my observation, there's a sharp cutoff line somewhere between Gen Y and Z where anyone born before that (and don't work in tech) genuinely have no idea how to navigate their digital life and gets preyed on by those subscriptions. And these people are still a super large portion of the population paying for those subscriptions.

Only Gen Z and later are starting to care and willing to spend the time and effort to self host. All the Gen X and Y people that I know of, including many that are very intelligent and accomplished in their field, literally have no idea how to operate a computer outside of watching youtube, checking emails, and opening Word documents. Ads? They hate it but have no idea how to disable them. iPhone running out of storage and iCloud says I can solve that for $2.99/mo? They would be like IDK what that is but sure I'll pay that $2.99 if that means I can record more videos of my kids.

I really hate this situation, and I try my best to help out the folks around me who I see are getting ripped off (either they don't know or they know but think that's what it is). But still, it's really hard to communicate or teach those people when the skill of operating a computer has become intuition and human nature to me. I really can't put these things into words on the fly that would help them understand :(

Any chances of offering AMD cards :pleading_face: I would love to get my hands on some used MI210 or MI250X!

I'm confused: 1. If I run this on Mac, then inside the sandbox / microVM, am I still running MacOS or some Linux distribution? 2. If the only thing that's mounted from the host is the $PWD, how does it guarantee that it has all the system libraries that I have installed on my host system? e.g. my `/opt/homebrew` libraries or `sudo apt install libfoo-dev` headers

Opened the site, thought it was teenage engineering... Which is a compliment to me, because I always love their designs! Unfortunately as a HHKB user I'm not a fan of low profile keyboards otherwise I would've bought this.

Stop giving me ideas to repurpose my AKAI Fire with a simple Pi extension!!

How is this different from Alipay/WeChat Pay in China? Handling transactions of this volume is an amazing technological feat, kudos to the team! However, I don't think this mobile QR code paying system is anything novel. Alipay rose to popularity much earlier (I can't recall exact when, but it was already super popular in ~2010, and definitely ubiquitous by 2015).

*sad poro noises

There are still games you simply can't play on Linux, e.g. Valorant/LoL can't be played on Linux because of Riot Game's kernel-level anti-cheat. And as a highly addicted LoL player it's one of the only two reasons I still have Windows taking up 200GB of my precious hard drive space.

They're ultimately employees. Their employers hire them to write the code that the employers want. If they don't write the code, employers just fire them and move on to hire some other people to write code. As much as how ethically questionable it is, it's still very rare that people would give up their jobs to defend their viewpoint.

My reMarkable is still stuck on a super old version (v3.3 I think), precisely because of xochitl being closed source and there's no stable and efficient way of driving the display. It's super sad because I would love to have much more things appearing on my tablet yet I cannot develop reMarkable apps easily. I'm not talking about browsers, but more like my Linear TODO list, calendar, etc., so I don't have to reach for my phone.

I really want to try for further reverse engineering of xochitl now that I've heard those AI tools have gotten so good at doing it.

Man I really wish one day I could run mainline Linux kernel on this tablet with the display just works.

> I get voting with your wallet but not many people want to spend 4x more for a worse product.

Yeah as much as I like Prusa, I really hope they figure out how to cut down their prices because, let's be real, most of the people buying a 3D printer don't give a cent about how "open" it is, and if Prusa continues this trend I'm afraid it'll become obsolete. Having competitors with genuinely good products (like Bambu, despite them not being a good company) is healthy, but not helpful if Prusa doesn't do anything to catch up to their competitor.s