Any conversation

I'm trying to construct an argument that LLMs are like a chess engine. People still play chess. But somehow this falls short.

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

I stopped interacting much with social media years ago and am honestly not sure how to do this any more… but I like the shape of what is starting here.

Which planet has the shortest day? #quiznotesfollow

Ikea has rules for naming products (so in theory, you could figure out what it is from the name) -> www.ikea.com/…/6f564c4d-2ccc-46de-…545a3948dc79.html

This is like the third time in my life I've seen an interrobang in the wild. And I don't know, but I'd prefer JSON over having configuration as constants in a PHP script like at $DAYJOB sob

#morningnotesfollow o/ bc im a old fart in a young body, i can only drink coffe at least 2 hours after waking up. So no #coffeenotesfollow until 10am

A couple of afternoons of the jinn coding harness and glm-5.3 and my taxus static site generator is properly whipped into shape. get-taxus.org It now has a frickin' data model, that's documented, as well as installers for your platform of choice. Try it, break it, I'll be doing the same. Let me know where it broke for you.

Hello to friends. Holla for tools. #htfhftnotesfollow #pinnotesfollow 👨‍💻 #codingnotesfollow: ZedZedZed — Your last next editorZed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter., GhosttyGhosttyGhosttyGhostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration., and Pragmata Pro 💪 #doingnotesfollow: NotePlan 🎧 #listeningnotesfollow: Overcast 🧠 #thinkingnotesfollow: Allume 🖋️ #writingnotesfollow: Mark Two (EDC), Pen Type-B 🌳 #werifesterianotesfollow: Anisota

@stagasprofilefollowcreative technologist creator of textlog “mentioned” is overlapping on nicks. Like @stagasprofilefollowcreative technologist creator of textlog mentioned you …”.

Football > Liverpool Research behind Liverpool’s last minute veteran-substitute-provided-draws and the talented but uncompetitive players they replace. www.verywellmind.com/…/what-is-sunk-cost-fallacy-7106851Verywell MindDon't Fall for the Sunk Cost Fallacy: Tips for Smarter Life DecisionsSunk cost fallacy is a cognitive bias that can lead to irrational decision-making. Learn more about sunk cost fallacy and how it can show up in your life. pmc.ncbi.nlm.nih.gov/articles/PMC6324799/PubMed Central (PMC)The feeling of throwing good money after bad: The role of affective reaction in the sunk-cost fallacyContinuing investing in a failing plan (i.e., the sunk-cost fallacy) is a common error that people are inclined to make when making decisions. It is impossible to get resources back that already have been invested. Hence, economic theory implies ...

hello world!

I'm not sure the world needs another static site generator, but I made one. get-taxus.org Giving the project some TLC this week, doing some bug squashing. If you want and SSG that doesn't fight you, give it a go.

hey peeps.

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.

I never have enough time but I’d love to do a bit more recreational programming with esoterical languages like kitten, #uiuanotesfollow, and #jqnotesfollow. 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.

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