gregw2
Joined 9 years ago
Joined 9 years ago
Fun fact: Irix 5.3 in Nov 1994 was the first desktop OS to allow web URLs to be desktop shortcuts, pre-Windows95+MacOS similar capability. SGI licensed Netscape Mosaic so they could do that.
1. We, Oceana, are at "war" with Eurasia. They're the worst! Our leaders have made friends with Eastasia. We can do great things together with Eastasia! Eastasia is great! <<Time passes.>> We won! Eurasia is dead!
2. We feel threatened by Eastasia! Eastasia has been stealing from us! We must prepare for battle with Eastasia! Eurasia is great aren't they! Eurasia always been great! We've always been at war with Eastasia!
3. ???
4. Profit!
(apologies to 1984 + slashdot)
The author doesn't discuss kanban which is less overhead, but then makes collaboration acrossultiple scrum teams a bit trickier actually.
Presumably it's for medical research but that doesn't mean it similarly gets bought/sold for another purpose, sooner or later and possibly in bankruptcy like 23andme as mentioned by the parent poster who cared enough that I figured I'd warn them about less intuitive similar risks.
I think I have started to see similar language at doctors office paperwork recently but maybe I am misremembering. If you care about not getting sequenced, you have to read the fine print nowdays.
Or am I just a product to them?
This is in notable contrast to the "PC revolution" in the late 70s/early 80s, the marketing was all about equipping people, empowering individuals. It was a "personal" computer after all, not a big mainframe owned by corporate... designed to make you more powerful.
That messaging is wildly absent from the EA/SV-centric LLM/AI boom.
Instead it's about replacing you, the singularity, inevitability, fear-mongering, etc. And there is much more of a flavor of information asymmetry to the business model because of the Internet connectivity and SaaS structure to it all designed to enable the fastest possible feedback loops for the inventors combined with a bunch of pinkie promises with no actual controls possible on the user side at least for the frontier large models. What exactly did OpenAI peek at when doing Navier-Stokes and do they even know or would you trust them to tell you? You are right, it is a very different vibe.
Making an English language description of a problem and proof steps match the Lean proof is apparently harder than the halting problem and is not something that a Lean proof alone or the current dump or even the Navier-Stokes dump solves.
A good breakdown of the problem is here: https://arxiv.org/html/2610.08144v1 or also see here: https://terrytao.wordpress.com/2026/10/09/what-mathematician...
However the following articles' descriptions of drug treatments using alpha-agonists, such as clonidine and guanfacine, which provide a response rate of 55% (significant relief for 55% of people) does imply to me that there is some physiological basis and may be of interest to people reading this thread: https://neurodivergentinsights.com/how-to-deal-with-rejectio... https://neurodivergentinsights.com/history-of-rejection-sens... https://www.goldstarrehab.com/parent-resources/is-rejection-...
And I think there are stronger findings that autism/ADHD is at least partially genetic.
P.S. I would caution you against holding a premise of a hard "or", that mental conditions are either hardware or software, or the hidden premise that you can't patch hardware with software.
"Only measure that which you are comfortable turning into a target."
This is an interesting thought but I disagree and certainly logically wouldn't call it a corollary.
As someone managing a system, one approach is to have a balanced set of measurements and to hold some of them back so they can't be gamed by those being measured. I.e. have more measurememts than targets so you can detect alignment drift.