any · textlog

It seems this year is when big budget LLM players overtake independent academic mathematicians, in speed at least. The Jacobian conjecture, a lot of Erdos problems, now even the Navier Stokes millenium problem. Solved due to new model releases, all within this summer.

continued:

model releases or internal research by the big AI labs*

replied to:

So, can we now say that LLMs are able to do things that nobody has done before? Can they extrapolate?

…

replied to:

in math it can definitely prove statements that havent been proven before. I dont think thats the big thing though since it also writes sentences nobody has ever written before and in software it can write programs that havent been written before. Its just that the speed and scalability that has overtaken human mathematicians and programmers

wrote:

If I went back in time, I would aim to become a professional footballer rather than becoming a programmer

wrote:

Bought some delicious olive oil.

replied to:

What kind of olive oil do you like? I am not big on the peppery stuffs

replied to:

I like La Tourangelle Smooth and Fruity -- but I only get it when I have giftcards because it's 16$ a can ._.

…

continued:

it is delicious on vanilla ice cream though. Just a bit.

wrote:

Longer answer: My editor does not start wars. I use whatever is convenient. Most of the time I am on visual studio code but I'll use anything. Well, anything except emacs I guess. I don't think I have ever actually used emacs.

wrote:

Vagyis attól még, hogy trehány vagyok, még működhetne jobban is az anyagmegmaradás törvénye, mint éppen errefelé, vagyis errefelé pláne működnie kellene, mégsem ezt teszi.

So even though I'm clumsy, the law of conservation of matter could still work better than it does here, or rather, it shouldn't work here, but it doesn't.

wrote:

az Ubuntu pedig a sandboxban fut, fut, futrinkázik, de egyelőre csak hollandul hajlandó velem kommunikálni

and Ubuntu runs, runs, and plays around in the sandbox, but for now it only wants to communicate with me in Dutch

wrote:

Vår konges livsgjerning går mot slutten, landet samler seg for å ta farvel med en konge som har vært samlende og god for landet. Må Gud velsigne hans minne og hans etterfølger.

Our king's life's work is coming to an end, the country comes together to say goodbye to a king who has been unifying and good for the country. May God bless his memory and his successor.

wrote:

TPMS indicator came on, which means an unplanned Costco trip 🙁

replied to:

Just check, and top off as needed, the tyres pressure. Run it for a few miles. If it doesn’t go away, then take that trip.

replied to:

No gas station near me has nitrogen so it had to be Costco. I topped off air and also filled gas while I was there. It’s only 5 miles from me, so overall not bad.

wrote:

Maurizio Lombardi is my only reason now. I have to move forward

wrote:

I’ve been working with OpenStreetMaps a little and I must say, they’ve done an incredible job. The data are very detailed and accurate, I can’t believe they’re free to use. Someone must be paying all those topographers somehow or I don’t understand how this can be achieved by volunteers. This project, Warsaw in Voxels which uses them inspired me to play as well.

replied to:

nobody is paying us. It's a work of love :)

…

replied to:

you may start with StreetComplete to contribute easily. With time, you may need more capable interfaces like Vespucci. Seems like i can't post links on textlog for now. Both apps are available on fDroid

replied to:

There are very nice tooling that allows to contribute data to it as well. I recently installed StreetComplete and contributed a little (very little, but still).

wrote:

I whipped up a quick report in this morning.

…

wrote:

Funny, I was gonna say Anathem as well. I've read it multiple times and I keep thinking back to it as it increasingly becomes harder to unplug from tech in daily life.

replied to:

I am in the middle of my yearly reread and with the way things are going I am tempted to become an avout.

replied to:

become an avout possible self-harm content They didn't mention this Iconography...

wrote:

I’m getting my canon rebel t6 tomorrow yay!!

wrote:

'wade in the water.' isn't this the challenge of being 'ahead'? so many of us are waist deep in the same sea, it's hard to see what's in front of us vs. what's behind us. then we see the yacht boys sail by with their new masters, splashing us in their wake. then we grumble amongs

continued:

then we grumble amongst ourselves about 'that was my idea,' then carry on.

wrote:

"If you don't think of yourself years ago as an idiot... Perhaps it is because you still are one." In that spirit I started to write down my own thoughts. I think I am meant to call it a blog. Years from now I can read my old words and cringe at them. www.gruntsoft.com/words/

wrote:

The strange thing about modern loneliness is that everyone is technically available.

replied to:

🤯

replied to:

Maybe validity to “distance makes the heart grow fonder.” Scarcity is valuable.

…

replied to:

Too true.

replied to:

Similar with having access to so much critically acclaimed media, but they are so emotionally or intellectually draining that I find myself rewatching ol' familiars. Availability seems just one aspect, and perhaps not even the most limiting factor. Maybe most people have a "limit" on number of "lives", as in number of times you fall in love, change, get inspired, connect, etc..

Any conversation