Any conversation

Trying to gently work my way back to the target intensity needed for the Norwegian 4x4 to get my weekly dose of suck and feel accomplished after. Chronic left leg pain unfortunately likes reminding me it's there though.

what an odd summer it must be for mathematicians.

Interesting. Why?

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*

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

…

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

Just three more commits left, but /usage ran out. Resets at 01:50, so I guess I am going to sleep.

continued:

Woke up during the night for a short trip to the loo, got 'resume’ going. All done in the morning. Ahh, coffee tastes better now!

Best pee ever!

It's cookie o'clock, y'all.

_ _ me want (.)(‘) more… / ___, \ .-. .-. _ \ ‘--’ / (:::) (:::{ ‘-`--=-`-’ }”` `-’ `"/ \"` \ / _/ /\ \_ { / \ } `"` `"`

this is where I live. it’s a plateau. it’s quiet, we have cats and there are goats around and fig and pear trees.

Fired up street view on Google Maps to have a look around. It seems like a pretty relaxed and peaceful place to live. 🌞

…

I was obsessed with Greece as a kid because of The Chipmunk's Adventure movie where they were dancing on the statues, ha. I was more into he statues (even if cartoon) than the dancing, and yet I have still never been there (I'm 45).

Crete is beautiful, I remember being on vacation there many years ago and hiking a long gorge. It was a really great experience.

…

Crete is beautifulIt is!hiking a long gorgeThat would be ! it’s not very far from here and it’s the largest in Greece, 7–8 hours hiking. You arrive at a beautiful beach. I crossed it when I was little, I remember whining a lot because for my small feet it was much harder.

what are ya'lls favorite wikipedia page? I myself is partial to the 'variations' entry for high fives

You should check my other site onlycats.cc i think you will enjoy!

love it. great concept

still five hops to Hitler

replied to(deleted account):

A little late for that :p

continued:

Fantastic contributions, thank you all!!!

…

Catastrophic interference is also a favorite Wikipedia page and concept. The thing is, it doesn’t only happen to artificial neural networks, I’ve had it happen to me a few times. Especially with pin numbers, newer pins overwriting old ones and I’m always scared when I’m having hard time remembering something that this catastrophic interference applied and now the information is gone from my brain.

Trying the persona feature. It is very nifty!

just finished the book “This is what inequality looks like” by Teo You Yenn. will gather my thoughts and write more about it.

Anybody here actively working in or has contributed to (in any capacity) conservation (be it flora or fauna)?

You know, as interesting as that sounds, I wouldn't at all know where to begin with something like that. Do you have a suggestion?

I suggest looking around your area first, perhaps there are conservation groups already. Then, select among them which one focuses on native species that are most impactful to your place. 😁

akkor inkább holnap sürgősen elmegyek az állatparkba

Then I'd better go to the zoo tomorrow urgently.

_ _ __ ___.--’_`. .'_`--.___ __ ( _`.'. - 'o` ) ( ‘o` - .`.’_ ) _\.’_’ _.-’ `-._ `_`./_ ( \`. ) //\` /\\ ( .'/ ) \_`-’`---'\\__, ,__//`---’`-'_/ \` `-\ /-' '/

Noice Froggos make everything better.

As long as a lady carries a book with her, she will always have company. And a weapon.

replied to(deleted account):

It’s the social network I so want to love but something about it feels off.

…

replied to(deleted account):

I never understood why they would allow you to follow different “feeds” but not hashtags. I like mastodon’s approach better.

replied to(deleted account):

Oh my god, art was the only reason I used bsky regularly. Not anymore, and I miss it too.

Who's enjoying in 2026? I'm back after ~14 years away (some sporadic once-in-a-while use in there) and I'm finding it better than ever, a smoother development experience and clearer code than pretty much every language out there, except for maybe .

I get paid to write it if you can believe that.

…

Considering how absolutely barren it seems out there in terms of C jobs versus C++ jobs, I can barely believe it. What do you work on?

Some specialized censors used in automated manufacturing. It's pretty cool, I look forward to coming into the office almost every day. I've worked for a few f500 companies and took a pay cut to come here. A bunch of people from my college robotics club work here too.

That sounds really cool. Above all I really like hearing that someone enjoys their work and likes showing up for it. I've had that feeling on a few contracts and it's great. Looking to get into embedded myself, since it seems that's where you get to have all the fun writing C. :)

has been such a pleasure. Haven’t tried Odin, but was using for a while, and I just found myself pulled back to C. A minimal sharp tool. Runs anywhere. Can actually write a compiler for it. Short bootstrap chain from hex0. Does anybody care about these things (anymore)?

…

Support everywhere (in every way) was key to me starting to use C again. It's nice to not have to worry about the language you use being left out somewhere, a non-starter somewhere else and having to mentally translate it to something else (Zig/Odin in a debugger -> C).

The best Mcp server I have as Claude Connector is Emacs running on my Homeserver. It has one tool - eval-elisp. Using it Claude can do almost anything. My top 1 pinned chat is “Run agent-start-claude-code using HotterEmacs in dir …” - after that I have a ready to use remote-controlled session running on my homeserver.

This sounds like a really interesting idea. What would you say are its advantages over having the agent use the shell, write shell scripts, etc? Just your personal preference for elisp or something else?

To load a skill I literally type - “load (◊doc 'slack) and browse channel X for today”. The idea is my text stays English but repeating concepts are real reusable elisp functions that stay fully deterministic. (◊doc 'agent) and Claude knows how to talk to open code and pi agents.

Are tokens an equivalent of work? Like a currency and therefor a tool to steer and prioritize work in large orgs. Hypothesis: In the end all workpackages will consist of 1 accountable human and 99% tokens burnt by an ai.

omarchy felt a bit like cheating so i redid a plain arch install and am using sway now. if im honest, its all not that far away from eachother. obsessing over configs and distros is really just a hobby that some people in the linux community take too seriously.

Any runners on here? I mostly consider myself a trail runner, but of course train on roads, too. Good for 1–2 races/year, more into running as a practice, a way to manage stress and stay fit.

replied to(deleted account):

5 min/km is pretty quick, as far as I'm concerned! My easy/forever pace is more like 8:30–9 min/mile right now.

…

replied to(deleted account):

Hell yeah

replied to(deleted account):

🤝

replied to(deleted account):

Better for your knees, too :)

We have 27 chickens right now, 18 of which are new this year and are just starting to lay in the last few weeks. I have collected 13 eggs today so far.