whattheheckheck

Obviously there will be a maximum hit and then there will be no one to ask to solve your problem and youre gonna be up a creek

Others have though much deeper about this its all documented in academic papers and books

This is a distillation attack on the wise people of hackernews!!!

How can you type that into a device and then go continue social charades and be like yeah this isn't rationally designed

We're never solving nphard. Just like we'll never extract all of the coal/oil/natural gas from earth

How do you build a society where everyone wants to live in it and has a means to?

Yeah we should read an example of a how a guy writes down exactly what hes going to do, tells everyone how hes going to do and ends up doing it because he finds out everyone doesn't believe him and he can just lie about shit publically because no one stops him.

Why would we want to forget such an example?

Build something to fix the wicked problems of the world.

https://en.wikipedia.org/wiki/Wicked_problem

Or https://www.un-ilibrary.org/content/databases/25202804

The rules are the ai can't say the only winning move is to not play and it can't choose to kill everyone.

Its all about checks and balances -dario

A spec should use orthodox tools and formats for higher level system descriptions. Like a BPMN file, a TLA+ state machine model, a P/ModP or Event B system.

Llms compile that into a binary and you deploy it and present it and users use it and they're happy or not.

There's just so many different projections of how to describe a system. What's the moat bang for the buck.

It could if people actually used their political power

And get some hallucinated slop infotainment?

Same to you bud

Is this really as interpetable math is fundamentally. Like wtf is this accessibility? who is this for? Do top mathematicians read this like a chapter book? Absolutely ridiculous they have all this compute and creative resources and cant make something more intuitive to help people understand it more natively

One has a human behind it and one has a matrix latent space. Usually human understanding is more "real"

Stallman vehemently states llms are bullshit generators with no true understanding.

But sometimes you can approximate your problem and unfold an llm interlocator to producing the strings you need for your task

Just make a theoretical minimum type test like the landau physicist

The images take up a lot of mobile screen space with low information

Blockchain making a come back

Suburbs take too much and yield too little tax dollars

Countries without class based heirarchy entrenched into the legal system? Where

Did you know MS Copilot can now be driven by Github Copilot Harness?

People with money will have questions and people or machines will need to give answers to satisfy them.

Is anything not a waste of time

Actually yes? If math equations also wrote a fluent English way of saying the full thing as well as the literal syntax as well every time it would help more people actually understand it.

The next status wave will be fitness as glp1 drugs filter through to everyone and everyone wants to be fit.

Yes and they have no choice. And that matters.

Yeah like are we all supposed to guess at what the quiet wise elders are saying or can they grow some balls and be loud leaders. Idiot bullies are getting to be in charge

Yes the bar will be raised to formal verification and actually strong mathematical proof skills to be a real software engineer

The universe is deterministic when consciousness is not present

Sell consultancy services to build software better faster or cheaper!

Bpmn, tla+, event-b, P and ModP are all likely contenders to jump in popularity and mainstream swe worlds