whattheheckheck

Align your ascii diagrams. What else is misaligned and unreviewed?

You can ask it to provide a prolog or datalog program

You satisfy a customers need. 5 core human drives from Josh Kaufman personal MBA

https://personalmba.com/core-human-drives/

the interface between specification and proof is not so clear, as one often has to look at the proof to understand the spec. And if we see something weird in the proof, that’s a good indication that something is off.

Yeah this is like if I say something is green how do you know that my green is your green? The proof of the mathematically modeled system is in no shape attached to the symbols that implement it unless its the same program or youre doing trace refinement. And then theres no way of proving that the program is correct in serving the business function unless you run it out. Quite computationally irreducible, the state machine of building state machines

Yeah if were going for knuths literate programming this is not it. We dont need 1000 lines of more code to prove another 100 lines. It needs to be more digestible and if its not possible then let's break out the licensing board to prove the ones who do understand this from those who dont

Oh yeah let me just take another 4 years of undergrad to get a math degree too.

I thought this AI or SI was supposed to make shit easier for everyone.

And people genuinely think there is a god and an afterlife. Whoopdydoo

"Bet on it and start your own company"

What a sick attention economy to have to package arguments into a certain shape to acquire currency to pay to live

Yes the famous math curriculum everyone loves and instills an intrinsic love of mathematics forever

This keep getting repeated. So were just stuck with whatever we have at the point of training the magic plagiarism machine?

The future is cooked

Make all reports and assignments open source and public. Their credibility as students and professionals will be on the line. It will be obvious who puts in the effort and who doesn't

That cant be true, theres a paper trail of sign offs of the most likely people to understand the probabilities.

Please define proof of "really understands why a medication works"

It reminds me of fynemans why do magnets work. Yeah sure does anyone really understand anything? Its metaphors all the way down

Because "the cause of the cause is the reason".

Probably human accountability.

Hypothetically, if a system built by humans then helps humans build the next system that is then initially kicked off with "design something that may influence the lives of other humans" and we all write down that AI is really good so inductively we thought itd be really good at the next thing it builds, and then a critical error is introduced and does "insert tragedy that you personally care about" then your rage would cause you to act politically and want to ask who signed off on it. If the engineering costs outweigh the fine then yeah thats what's probably going to happen but from a human accountability standpoint thats going to suck for the unlucky ones

Throw in some tla+, eventb, p and modp for formal guarantees

I think we should ask chatgpt

How do you say that so they actually change?

They also have rational choice to not have to get their hands dirty. What incentive is there?

Pretty crazy amazon is advertising an open source repo. Not suggesting this is an ad but I've seen ads on reddit for it.

Ive heard from a 25 yoe consultant in a meetup group in person that aws agentcore was THE best way to handle enterprise agentic workflows with all of the proper knobs for governance etc since it comes with the iam integrations and arns etc.

When people say a book is good what does that mean? Good for infotainment? To get an intuitive understanding? To be able to open up Openthropic and compete against the frontier labs? What can you get in the book thats not available via a chatbot? Interesting question

Its interpreters all the way down. Going up the stack is finding the right Domain Specific Language to describe the self modifying sociotechincal business process computer that is capitalism

And distribution and will to take bioenhancements is equal across all intelligences?

How do you make sure the nepotism families stay in control of the grander scheme

Give teachers and professors 1% of all future earnings of every student

The rates of paper publishing show that everyone must be using ai now or the rates wouldn't have gone up

Shitty engagement that's not good long term human flourishing.

Start making companies with the business amd marketing depts to solve real problems woth conscious capitalism

Panopticon. 1984. Brave New World. Fahrenheit 451. Robu's Baselisk. Was there an answer to any of this?

Yes foundations of agnostic statistics and all of statistics

And you know he was right

It was defined in Animal Intelligence by George John Ramones in 1882 as "intelligence is the capacity to do the right thing at the right time. It is the ability to respond to the opportunities and challenges presented by a context"