any · textlog

I've been curious about the reasoning for prices too. Like, there has to be research behind it... But I agree it is far easier to buy four 2.5€ services than one for 5

wrote:

Tweaking the algorithm. Really want posts like i.e genuinely long discussions, stay longer instead of getting burried away by newer posts.

continued:

I think it works now better.

wrote:

the binding of isaac might be one of the best games ever made

replied to:

Omg! I just started playing it

replied to:

it will never take its leave out of your life :D

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:

𐑔𐑮𐑰 𐑓 𐑔𐑮𐑰 𐑪𐑯 ·𐑚𐑮𐑦𐑑𐑦𐑖 𐑛𐑦𐑖𐑩𐑟 𐑞𐑦𐑕 𐑢𐑰𐑒𐑧𐑯𐑛: 𐑣𐑨𐑛 𐑩 𐑓𐑫𐑤 ·𐑦𐑙𐑜𐑤𐑦𐑖 𐑯 𐑩 𐑐𐑲 (𐑮𐑨𐑚𐑦𐑑) 𐑘𐑨𐑕𐑑𐑼𐑛𐑱, 𐑯𐑬 𐑑 𐑛𐑵 𐑨 𐑚𐑰𐑓 𐑮𐑴𐑕𐑑. 𐑤𐑳𐑝𐑤𐑰 𐑯 𐑒𐑷𐑟𐑰 𐑦𐑯 𐑞𐑦𐑕 𐑷𐑑𐑳𐑥𐑯𐑩𐑤 𐑢𐑨𐑞𐑼. Three for three on British dishes this weekend: had a full English and a pie (rabbit) yesterday, now to do a beef roast. Lovely and cozy in this autumnal weather.

wrote:

It's not clear, based on personal experience, how long - if it all - the software development field will value devs who actually enjoy the work. Most people I know are producing mostly AI work and there's an obvious skill decline that's resulted from it. 1/?

continued:

But does it matter if your boss doesn't care? Or if their boss doesn't care? If the paychecks keep coming who cares? What's the point of choosing the mountain if the "joy" just means more hours on screen that could have been spent elsewhere? 2/?

…

continued:

I got into doing dev work, because I thought it was fun to learn and do and I genuinely enjoyed hanging out with others who felt the same. Now, more than ever, I realize how few people feel the same. And, now - more than ever, I realize that no on cares if I feel that way. 3/?

continued:

Bosses and their bosses care more about tickets moved and LoC written than quality or knowledgeable employees. 4/4

replied to:

It never did. Before AI people did webslop in node.js, before that people were slopping in Java. AI changes surprisingly little.

…

replied to:

Only if you buy into the narrative that AI is "just another layer of abstraction." Which of course, it isn't.

replied to:

No, it obviously isn't that. It also isn't going to be some fantastic thing that transcends humanity either, it's just another tool.

wrote:

"My feed" shows two unread messages, but I can't find them, and browsing away from it, and coming back doesn't clear that count. Perhaps sorting (unread at the top) when there unread messages is a good idea ?

replied to:

Same for me, it's been that way for a few days.

…

continued:

Any plans to fix this, ?

wrote:

i thought german state bureacracy was bad, until i had to go jump through the hoops of (an online retailers) coorporate hellhole of a dev program.

continued:

my naive vibecoding ass thought everything that can be built can be shipped. compliance is a b*tch

wrote:

késztetést érzek, hogy valami ilyesmivel (is) foglalkozzam, a kódoláshoz egyelőre nincs agyam, de majd azt is szeretnék, csak scripteket, semmi komoly programnyelv, de végülis a JavaScript is scriptnyelv

I feel the urge to do something like this, I don't have the brains for coding yet, but I would like to, just scripts, no serious programming languages, but after all, JavaScript is also a scripting language

wrote:

age restriction app on my phone doesn't let me turn off the picture in picture for YouTube T-T

wrote:

Just got Moshi set up - a phone-friendly terminal app. Works well with Herdr for persistent agents, friendly UI. Verdict so far: looks like I'll be working more from my phone.

wrote:

Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.

continued:

The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.

wrote:

hi

replied to:

hi there ;) welcome

wrote:

අද පොහොය දවස. ශ්‍රී ලංකාවේ හැම මාසයකම පුන් සඳ පායන දවස පොදු නිවාඩු දිනයක්. වෙසක් පොහොය (මැයි මස) ලෝකයටම නිවාඩු දිනයක්.

Today is Poya Day. The full moon day of every month in Sri Lanka is a public holiday. Vesak Poya (May) is a holiday for the whole world.

wrote:

The more I about it, the more I am she is not .

wrote:

Good morning, techno. Konstantin Scharf - Still Moving

wrote:

I never have enough time but I’d love to do a bit more recreational programming with esoterical languages like kitten, , and . AoC and Project Euler are good because they just require an answer but there’s also loads of simple puzzles online that rely on being able to submit the code in common languages. I’ve been wondering, however, if I could use an LLM to take those problems and create a verification harness for any language I like.

Any conversation