That’s a strawman. It’s such a tiny aspect of the what the majority of activity on the internet is that it’s irrelevant to any large scale discussion of the internet.
Just like how school shooters are irrelevant to any large scale discussion of education? It is very relevant and impactful and you can't just hand-wave it away by saying percentages mean it doesn't count.
I’ve lived in two apartments with the setup OP described, and they were both built 2003-2006. But I’ve not had it anywhere else, so it does seem constrained to a specific window of apartment developments
It's a setup seen in a lot of new builds flat from the 2000s and 2010s, which is a very large amount of the housing stock in London for flats (There has been so many constructions!).
Really? Color me corrected I only ran into TC after SonicPi.
Though this entire discussion reminds me I need to fix my TidalCycles setup, had it working on Linux with vscode but I tried it out again a month or two ago and it wasn't playing anymore.
You can pick it up passively over time, and with your skills, if you were to actively engage then I suspect pick up the necessary very quickly, and the rest comes from experience.
I picked up Linux at 13, fortuitously just in time for the release of the Nokia 770 (later getting, and still owning the N900 too).
At that time, getting real dirty with the kernel, hardware, cross compiling etc was necessary, so 1) there were more resources 2) it was seen as mundane, busy work rather than mystical and difficult.
If I were to say how to learn the same things today, I’d probably say Gentoo is ideal - it’s insanely flexible in tinkering, has good resources on compiling the kernel and packages, and I’m a fan of crossdev for cross compiling.
Getting real dirty with hardware and electronics, the obvious answer would be one of the Raspberry Pi lineup, but if you’re very tenacious, patient and a touch unhinged, then I would actually say now’s the time to get in on RISC-V.
It’s still early days, so there’s lots of resources that have very thin abstractions between hardware <-> tooling <-> code. Devices are cheap and exciting. You’ll be on the same footing as most other people so you won’t feel like a dunce.
The cons are that a lot of RISC-V devices get shipped out with very little documentation (and sometimes only in Chinese), binary blobs making mainstream kernels difficult, and you’re learning at the same time, so you might feel you’re ice skating uphill.
Wrt to the bootloader and partition corruption; towards the twilight years of the life of the N900, when it became clear N900 had been abandoned and the N950 was still only available to select few, a bunch of smart people on the Maemo forums started reversing and writing open drivers (uboot bootloader, wifi, camera iirc), so they became pretty documented.
90% manned. A lot of money and time goes into getting track access.
And collecting unmanned data is still such a pain. At the moment, you stick calibration gear to a train and hope it gets as much noise free data as it can. All whilst going at least 40mph over the area you want - you’re fighting vibrations, vehicle grease, too much sunlight, not enough sunlight, rain, ballast covering things, equipment not calibrated before going out etc etc.
Yeah, that’s not right. I’m not sure about painstakingly… it said it couldn’t make out the notation, and spat out what it thought it could read, and you never checked it - nor read the articles for context, just assumed it was to do directly with further AI work.
It picked up on the polynomial, then what it thought was a scheme/sheaf being defined is actually the finite field with six elements. It also misread “Thue” as “the”.
If you had corrected what it read from the board, then gave it the context that he was a number theorist now working for a company trying to get AI to work through proofs, then you may have got the correct answer that this appears to be them crafting problems on polynomial reduction to test how the LLM reasons about proof.
> If you had corrected what it read from the board, then gave it the context that he was a number theorist now working for a company trying to get AI to work through proofs
It was just a quick and dirty chat. A proper evaluation will consider his published research to date.
Agreed. In addition to yours, notions like limits/colimits, equalisers/coequalisers, kernels/cokernels, epi/monic will be very hard to grasp a motivation for without a breadth of mathematical experience in other areas.
Like learning a language by strictly the grammar and having 0 vocabulary.
Shivlov for the one and only text in linear algebra is rough. IMO, it’s a little terse and fast paced. Efficient if you’re already well versed enough to be dangerous, but otherwise I think might slow down the beginner to a crawl in places.
Same for Hartshorne’s Algebraic Geometry. Neither of these are bad textbooks at all, they both have a place on my bookshelf, but certainly better options have appeared through the years (for AG, I’d be remiss to mention Ravi Vakil’s fantastic The Rising Sea, due for a physical publishing October, and Ulrich Görtz & Torsten Wedhorn two part series)
Linear Algebra and Geometry by Igor Shafarevich, coupled with Linear Algebra by Friedberg, Insel, and Spence; the latter has great problems to work with, whereas the former is for a lucid exposition.
reply