Magos Logis Logan @jmw150@qoto.org

@swiley the 2 million+ people industry of computing cannot survive off of just that sort of thing. Better interfaces will be made. Things can be made idiot proof.

@swiley but yeah. Doing that kind of set up would take about a week to a month. It would not be a stable source of income.

@swiley someone with a PhD in a lab though

@swiley Which will be mostly bot work because it is cheaper

@zpartacoos you may like recent work in programming synthesis then.

Right now it is an area where computational logic and machine learning meet. The advantage is more modularity and control. I think as ml gets bigger it will start merging more with formal systems for sake of scalability.

I kind of wonder about software 2.0 (ai and logic based systems) and education that teaches people to code. I was lucky to learn a lot of math and AI in school. Most programmers may have a hard time finding work a decade from now.

Proofs about the correctness of C code are now much easier. There is a software tool chain using "Verifiable C" to make systems safer.

Here is a tutorial on it, and general proof code writing. It is fully verified in Coq.

https://softwarefoundations.cis.upenn.edu/

@freedompatriot most Americans are gullible and vote for whomever makes the biggest empty promise.

@borrof he only needed votes.

@borrof They really need to open industry again though. Sure 1/4th of Covid deaths are American, but people are going to start starving if this keeps up.

@borrof Have 4 years of imperial control to make up for. The last guy was a simple businessman that was pretty unqualified to handle the power struggle against other superpowers.

Maybe 100 years ago mathematicians could hide in ivory towers and treat the subject like a liberal art. But in 2021 engineers are right at the gate.

Engineers want more algebras for their intricate software, more analysis for their haptic feedback systems, more topology and algebraic geometry for their robots and artificial intelligence systems.

If mathematicians do not publish about it, engineers will publish. Where mathematicians refuse to be rigorous, engineers and logicians will invent languages that automate writing proofs.

It is the end of an era. It is like seeing the Catholic religion split into the multitude of other Christian religions.

You are a cyborg.

Take good care of yourself by keeping your software bug free and up to date.

What even IS intelligence?

Knowing optimizations in a space is just mathematical knowledge. You don't have to be intelligent to pretty much utilize everything that would count as intelligence.

So what could it be in 50 years? Possibly ownership of GPU cores and the latest and greatest optimization software.

@biomedmax It has been a good 50 years since a major politician has kept promises. At this point you have to blame the people for being so gullible instead.

@biomedmax Nothing is spineless about tricking fools out of their money and time.

@biomedmax The strategy for getting the keys of power in a democracy is not the same as keeping them.

@FadedCornkernel@mastodon.social to be fair, Latin was designed a lot better. Literacy level in Mandarin is probably going to stay low, and different Chinese regions have a really hard time understanding what each other say. It is a mentally tough language. Very memorization heavy.

@purism love that thing. Mobian is so great. It could use way more developers though. Many Debian packages to reinterface for a touch screen.