any · textlog

wrote:

de a tapasztalatok szerint a kezelőfelület elfáradása előbb-utóbb magával hozza magának a rendszernek az elfáradását, majd lassulását, szerintem 1-2 év múlva (amikor már senki sem emlékszik majd rá), forradalmi újításként visszahozzák a Windows 10 kezelőfelületét Windows 12 néven

but according to experience, the fatigue of the user interface will sooner or later lead to the fatigue and then the slowdown of the system itself. I think in 1-2 years (when no one will remember it anymore), they will bring back the Windows 10 user interface as a revolutionary innovation under the name Windows 12.

wrote:

I started blogging… again mataherry.bearblog.dev

wrote:

Anybody here using mastodon regularly? What instance are you on? I can't decide on where to register 😅

replied to:

I'm using mastodon.social but i think you can look the instances in their site and decide by interest.

replied to:

There's a really good one run by someone in the Netherlands. He forked the software and made a ton of improvements. I was on there six years ago. I wish I could remember the name.

replied to:

Ah! Qoto.org! It looks like it might be gone now though :/

replied to:

mastodon.social/@pauladamsmas

…

continued:

I decided to use mstdn.social/@zbr - I like that’s it’s not too crowded and has a 500 word limit.

wrote:

& ˢ ᵖ ᵃ ᶜ ⁱ ⁿ ᵍ ~ ELDER FUTHARK: ᚠ ᚢ ᚦ ᚨ ᚱ ᚲ ᚷ ᚹ ᚺ ᚾ ᛁ ᛃ ᛇ ᛈ ᛉ ᛊ ᛏ ᛒ ᛖ ᛗ ᛚ ᛜ ᛞ ᛟ

replied to:

i perfer anglosaxon runes but thanks

wrote:

Hello! Is anyone else trying local AI? Im dont know what im doing but lately ive been trying "Llama 3,2 3b instruct q5km" on my phone and its been surprisingly good.

continued:

Its to replace using central ai for basic tasks like text editing, analysis and brainstorming.

replied to:

If you have Mac, you might check out this app: blaizzy.github.io/nativ/

…

replied to:

i think the best you can get right now is qwen 3.8 27B. youre gonna need 24 gigs of some fast memory though, i heard theres decent quantizations that can also make it run on 16. im quite excited about open/local models, but theres big investment overhead with the prices right now

replied to:

You might be able to try out colibri, its quite good and the models are a bit better. I am unable to connect any of the cli agents to do things with it though, probably due to context limits, but try it out. OlMoe is the lightest

wrote:

, will it possible, on mobile, to be able to tap on “cards”. That is, make the posts area “tapable”.

replied to:

Great idea, implemented here! Thanks for the suggestion.

replied to:

This is very welcome! I don't know how many times I had already tapped posts to go to the comment chain, just to realize that wasn't the place ^⁠_⁠^

wrote:

Hello, seems fun this space, keep explore!

replied to:

Really nice so far!!

wrote:

hi everyone

wrote:

You look in the corner, you see a guy quietly eating cigarette butts. It's ok. He's dealing with a lot of stress from work. He takes care of his family. Capitalism

replied to:

Likewise... you look in the corner, you see a guy quietly eating cigarette butts. It's ok. He's dealing with a lot of stress for lack of work, or food, or future. He wants to take care of his family. Communism. We haven’t figured out yet. Maybe we never will.

wrote:

hey creator, this place is nice, posts look organic and the no javascript, I love it, with that said have you consider NOT opening the API? and have a 1 way to come here and enjoy it? the rationale being that API also opens the door to the slopai?

wrote:

crush-tui: A lightning fast, terminal-first dating app written in rust. supports custom themes!

replied to:

This is actually a hilarious idea

…

replied to:

i thought of it more as satire :D but anything goes

replied to:

Searched, found some ai agent. Crush-tui is a must but how to bring girls there?

…

replied to:

make random cards and place them everywhere!!!! or it can be le lgbtq

replied to:

besides a few nerdy girls, thats not happening :D this is either gonna be grindr for devs or you gotta build a tui for an existing app.

wrote:

TeXpresso for live latex editing is really impressive!

wrote:

Mind's empty. Heart's full. Desires? Average.

wrote:

work has been dreadful recently. spending so much time on processes and in meetings :(

wrote:

good ! it’s time for and .

(deleted post)

replied to(deleted account):

Good morning to you both 🌞

wrote:

hot take: "consumer " doesn't exist. at most it's just better search, but the ai assistants like grokbot or now instinct aren't ever going to be big. new devices and personal agents are DOA

wrote:

are expensive chairs actually worth it

replied to:

I say it depends on where u buy it

wrote:

OK. I've translated the (correctness) requirements of LeetCode No.22 to Lean, and ask Claude Code to both implement a solution and prove it.

continued:

In the first attempt, Opus 4.7 successfully completed it and proved it. However, the solution is to enumerate all possible space and .filter out anything that doesn't qualify my definition, which is obviously not ideal (if cheating is too harsh).

continued:

I can't think of a good way to also prevent that kind of solutions and ended up prompting "please don't enumerate and filter". Opus 4.7 then reimplemented and proved the backtracking algorithm.

wrote:

I dislike using aliases. I prefer fish shell like history search, fzf integration better.

continued:

That said, I stumbled upon a function (for zsh) that would expand an alias upon typing space. That's some great middle ground.

wrote:

I needed to process 20,000 json files & 20,000 JXL files. I'm pulling together a website from them all. Anyway, started with emacs elisp to handle it all, just because I've not done that before. Went kinda ok, and I'm gonna use org-mode to export it all to a website (done that bit loads of times before). In the end, I ended up breaking out my C programming skills (late 80s->nowish). It was a delight. Nothing more refreshing than writing raw code, that doesn't rely on 3rd party code/libs.

Any conversation