qrios (@qrios) profile picture

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

Germany
Joined August 2008
Photo by qrios (@qrios)Photo by qrios (@qrios)Photo by qrios (@qrios)Photo by qrios (@qrios)Photo by qrios (@qrios)Photo by qrios (@qrios)Photo by qrios (@qrios)Photo by qrios (@qrios)Photo by qrios (@qrios)Photo by qrios (@qrios)
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/
82
261
78
2,818
432,141
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 …
1
1
6
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..
59
1,265
370
3,510
„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.
2
1
Apparently, you can now do a Masters in Mansplaining.
1,129
13,510
1,682
154,345
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.
13
25
7
266
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.
135
1,312
172
4,012
Schlimm! Bin gespannt, wann es Olympische Winterspiele in den Emiraten gibt. 😢
2
1
8
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. ourworldindata.org/free-data… Let's do what we can to make it happen.
3
30
3
110
RT if you were part of that tiny 1993 bar. (via @markrendle)
240
1,462
1,048
1,539
Not only the headline is worth to read.
You’re unable to view this Post because this account owner limits who can view their Posts. Learn more
Knock knock… Who’s there? Meta… Meta who? It’s me—a metastatic cancer on democracy & public health—#Facebook.
137
949
86
3,482
Bad times for a hackspace with a name that starts with "Meta"...
6
21
3
128
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.
583
5,462
1,158
31,061
#Pharo has been accepted for the #GSoC2021! @NorbertHartl will mentor the project "Classes and Methods for Spatial Data” by Laurine Dargaud. Stay updated with Laurine’s work and progress on her blog: gsoc.ldargaud.fr/ #opensource #datascience #ZWEIDENKER #PharoPro
9
10
This evening I made Pizza Napoletana, but rather than using a recipe I used Commission Regulation (EU) No 97/2010 of 4 February 2010 entering a name in the register of traditional specialities guaranteed [Pizza Napoletana (TSG)]. eur-lex.europa.eu/LexUriServ…
29
158
79
755