qrios

It can be proved that it is impossible to prove that the first order arithmetic is consistent.
(Goedels paradox by Vladimir Voevodsky)

[Grant♟️ @granawkins]

I built a natural language CLI.

It generates Python scripts to answer your question, then auto-executes them in the cwd. You will not believe how capable this simple pattern is. Rawdogging gpt-4 from the command line.

Rawdog.
1/

[Felix Geisendörfer @felixge]

After being a @HypoVereinsbank business customer for 14 years they just canceled my company credit card out of the blue without a heads up or explanation for why. The account holds a decent 5 figure amount.

Thanks y’all. Totally not annoying or disruptive …

[Ronald Drimmel 🇺🇦 @rdrimmel]

Ok, short thread about why this could be an ecological and cultural disaster. I'm on the beach, so this might be a bit slow..

[i. n. a. @in_aha]

„Some Alzheimer’s experts now suspect Lesné’s studies have misdirected Alzheimer’s research for 16 years.“
So much time, effort & resources (probably) wasted, just to find out you’re basically standing on the shoulders of liars.

[Teacher Dude @teacherdude]

Apparently, you can now do a Masters in Mansplaining.

[qrios @qrios]

@XMLArbyter Und in dem Beispiel auch lieber mit Attributen. Im json sind die Werte ja auch keine Liste.

[Jay Kirell @JasonKirell]

Putting aside the justification, I have a theory that there’s a kind of psychological and moral catharsis going on among American military people that can tie this current Russia-Ukraine war to the botched pullout of Afghanistan.

[Max Roser @MaxCRoser]

Russia’s exports are largely fossil fuels. A good graphic that shows which European countries import gas from Russia.

I would have made the arrows go the other way, to highlight not the flow of gas but the flow of money — and show which countries are financing Putin’s war.

[qrios @qrios]

@0x5021 Das sind Schwaben! Die wollen billig an Passwörter kommen um sie selbst zu benutzen.

[Christine Eisner @ChristineEisne1]

@NicolaWerdenigg @Fiorini2012 Schlimm! Bin gespannt, wann es Olympische Winterspiele in den Emiraten gibt. 😢

[Max Roser @MaxCRoser]

Two weeks to go!

In two weeks the governments of the world's richest countries will decide whether they will make the @IEA data available to the public –– or whether they continue to lock it up behind paywalls.
https://t.co/ZmiR3G3MVD

Let's do what we can to make it happen.

[Georg Molzer @georgmolzer]

VaaS

[MIT CSAIL @MIT_CSAIL]

RT if you were part of that tiny 1993 bar.

(via @markrendle)

[qrios @qrios]

Not only the headline is worth to read.

[Eric Feigl-Ding @DrEricDing]

Knock knock…

Who’s there?

Meta…

Meta who?

It’s me—a metastatic cancer on democracy & public health—#Facebook.

[Metalab Vienna @MetalabVie]

Bad times for a hackspace with a name that starts with "Meta"...

[Alec Muffett @AlecMuffett]

Can't decide whether to be more upset at the privacy or the grammar:
https://t.co/R0SIyU39G4

[JORDAN ⚧(She/Her) - The huggiest kaiju!🦆🐴🎈 @ParchmentScroll]

I fucking HATE how video tutorials have almost completely taken over online resources.

For my ADHD brain, NOTHING is worse than trying to learn something at SOMEONE ELSE'S PACE.

Give me text and images PLEASE, I'M BEGGING.