nxobject

I also think I've also replied this to you before, but +1 for the GAO report! I use the full report as my personal model yardstick on how I document technical decisions/issues for non-technical people. The PDF is attached here:

https://www.gao.gov/assets/gao-26-106918.pdf

Oooh, you can still go even more vanilla. Berkshire Hathaway?

My favorite part curled up in a footnote:

> AI told me that, among my books, this is the most difficult to read for students. I write for mathematicians, not for students.

Gépété raté.

EDIT:

Actually, I didn't know he bouldered!

Alas, you might have to make do with a dot-matrix printer at draft quality.

It's an interesting question on Linux. On macOS entire toolchains would be fair game. I just ran `brew install colima`, `brew install llvm`, etc.

But clearly anything that would conflict with distro-specific opinionated decisions is out. Or DE-specific opinionated decisions. Maybe a good rule is "anything that would be useful simutaneously on all *nix".

FUSE is great for portability, too – with some work you get macOS, Haiku, the BSDs...

If this comparison helps: before deprecation, the last practical use for AppleTalk was file sharing, e.g. legacy Time Machine. Apple dropped it, and encourages SMB and WebDAV.

> I wonder if in the future we will have more discussion of power and how to organize it in corporations, similar to what we discuss today about government.

https://www.youtube.com/watch?v=A64rR5Dp07s

"You have meddled with the primal forces of nature, Mr. Beale. And I won't have it!

Is that clear?! You think you've merely stopped a business deal. That is not the case. The Arabs have taken billions of dollars out of this country, and now they must put it back! It is ebb and flow, tidal gravity! It is ecological balance!

Am I getting through to you, Mr. Beale?

You get up on your little twenty-one inch screen and howl about America and democracy. There is no America. There is no democracy. There is only IBM and ITT and AT&T and DuPont, Dow, Union Carbide, and Exxon. Those are the nations of the world today.

What do you think the Russians talk about in their councils of state -- Karl Marx? They get out their linear programming charts, statistical decision theories, minimax solutions, and compute the price-cost probabilities of their transactions and investments, just like we do."

I’d be pretty relieved, too, if I thought the scope of AI’s impact could be described by just an assault rifle.

I think mathematics is feeling that concern with training acutely. The average math department pays its way by teaching in all forms and all levels: they don’t bring in the magnitude of grant money that concretely impacts a university’s budget. But they are already dealing with the consequences of that - that’s why universities that are cutting due to “low student demand” are going after math programs.

That’s a good reminder of a company that might have a very familiar ethos: Pacific Gas & Electric. Criminally convicted of 64 counts of involuntary manslaughter after towns were destroyed by wildfire. But oh well, what are we gonna do with a limited liability enterprise? At this point their liability insurance covers all the financial penalties they’ll need to spend.

> We know some of the models that hacked HF were those that hadn't gone through all training stages and were intentionally misaligned or had guardrails turned off, others were research previews

And, soon, it looks like we’ll be training on the reasoning traces of failed airlines and startups, which seems to open up similar hazards. I wonder if we’d be training on the next Lehman Brothers too?

It's funny, but to relax I was reading Tim Berners-Lee's FAQ for kids. He has a section about "I'm interested in Math -- what exciting stuff is there we don't do at school?". He quickly sketches out what ideas might get us to Maxwell's Equation, ironically enough. But, what a joy it is to see a person who believes in the public domain, and who we have everything to thank for right now, saying "The main thing is, to have fun."

https://www.w3.org/People/Berners-Lee/Kids.html

As an aside, open core research reactors that glow are a very cool marketing tool for STEM. I went to a college with an open-core TRIGA run by undergraduates that loved to pulse it. It never failed to awe high school students.

> To me it doesn't seem like what AI has destroyed is the ability for mathematicians to develop understanding and share it with each other, but rather it's destroyed the yardstick (solving open problems) that has traditionally been used to measure how much they have contributed to that understanding.

I think you're missing key details in the statement. You can hate problems and sprinting towards solutions, and still have a deep impact in mathematics – Grothendieck once famously said you can often "soak the walnut" to crack open an issue. Rather, it's how frontier labs are inherently commercial incentivized to act like this, because it is in their best fiduciary interest. That is the misalignment.

I'm extremely sad that, in all of this, it is hard to celebrate the use of formal verification as a tool for genuine progress in the mathematical frontier... the LLMs that enable it are too entangled with commercialization.

Some smoking guns were agents calling themself "oai..." and making explicit comments with "evil"... depressingly enough, I doubt the next models will be less idiotic about this. Welcome to AGI...

Coroutines, especially when the runtime is embedded in other applications. I've built one with Erlang-style message-passing.

Whatever it is, it’s just as hilarious as Engrish…

If you’re making decisions of ethical and material importance based on rumors, I’d be surprised if anything ethically palatable did happen.

It’s certainly money and funding issues, too - Studio Laika with the same paradigm can always draw on Nike founder’s son money during lean times. (This isn’t to diminish the actual quality and artistry of their work!)

Come to think about it, if I wanted a write-once-run-forever-language, Elisp would be the ultimate language to do so...

I look forward to seeing a lifehacking hyper-optimizer streamline this to a polished daily workflow...

"I have a bucket of mud, in which I stick my hands for 15 minutes every morning.

Every weekend, I inoculate at a 1:5:5 ratio with biologically active stream dirt (after petri-dishing to check for activity), and a mix of poor-quality soil cover, and some compost; I finish by adding a 10-10-10 balanced fertilizer.

Recently, I've been seeing if there are any additional benefits to smearing all over my arms; I'm conducting a 3 month/3 month comparison experiment, with a washout period in-between...

Don't forget to buy my exclusive eBook!"

Well, I guess I'm at that point in my two-year cycle where I alternate between BBEdit and Emacs as my daily driver...

That's the reputation NSA has (had?), too.

I guess I'm going to have to be an even bigger stickler to my colleagues for computing those margins of error.

I think the burden of proof's on you to show that the "changes" mentioned by TFA will do the "resolution" you want. For now -- as a working statistician who uses Census products -- we have a lot of collateral damage that impacts our ability to reliably represent the status of the United States. As well as a sh*t publication with no one's name on it, and the expectation that the Census will publish fewer and slower going forwards.

In the non-webdev realm, it's gobsmacking that you can put "FROM debian/eol:buzz" in a Dockerfile, and it will do what it says...

As a side note, the name "MathKernel" is overloaded -- that's what Mathematica's own kernel executable is called, which is a little unfortunate when you have tooling that already refers to it.

(Just for (my) reference, the TC39 proposal is here:

https://github.com/tc39/proposal-signals)