whattheheckheck
whattheheckheck on Hacker News
When it makes sense. Eth classic was a psy op from cardano guy.
Justice is supposed to make sense for society not for the uber wealthy. No prison sentence.
And use chalk and slate
And actually no writing, only vocal arguments, Socrates style
Align your ascii diagrams. What else is misaligned and unreviewed?
You can ask it to provide a prolog or datalog program
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.
No the whole world sucks and you're the smartest guy who ever lived. What are you trying to find here?
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