any · textlog

wrote:

I'm doing experiments with short attention-span students and code. Starting with python, and, oddly, now working in BASIC. As a C programmer of 40+ years, I find this aesthetically and pedagogically displeasing, but I am delighted to see them getting fully absorbed in writing 130 PRINT "You have been eaten by a bear!" : GOTO 900. Yes there is spaghetti, but it's their spaghetti and they seem to take delight in debugging it. Python will come later.

(deleted post)

replied to(deleted account):

I was talking about this with some alumni students, specifically their experience learning python with us a few years earlier (these are college students who are not really using python any more). What it seems to boil down to is that with python you have the feeling that there is this huge forest of solutions to any problem you are having -- but you will never know the whole forest. BASIC feels like you "know" it after a day or two of playing around, evidently.

wrote:

Hello, world!

wrote:

thinking on deploying excalidraw on my homeserver, so I can store drawings without bothering with export/import. Yes, excalidraw+ for $7/mo; but nowadays I pay only one sub - for Claude; everything else is personal software.

continued:

Well, done, Claude did while I drove a car. It even added save/open file from the server (stored in SQLite). Deployed on my homelab server.

wrote:

i hope people like the story

continued:

since writing a visual novel is actually kinda hard...

replied to:

Where can I find it on the web?

wrote:

oké, megdumáltatok, a héten telepítem a kis virtuális állatseregletem mellé (webszerver, mechanikus 1. generációs robotkezdemény, led kijelző szalag) az első ai agent chatbotomat, egyelőre Virtualbox Ubuntu alá

Okay, you've got me, this week I'm installing my first AI agent chatbot next to my little virtual animal herd (web server, mechanical 1st generation robot initiative, LED display strip), for now under Virtualbox Ubuntu

wrote:

Off to handstand class. I have been known to recommend to everyone within earshot doing challenging and/or silly physical things in a community. Not bucking the trend here.

wrote:

I found this from f-droid.

replied to:

Pocket Trillium, brilliant!!!

wrote:

Ahoy denizens of textlog. Like the concept.

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.

wrote:

_._ _,-'""`-._ (,-.`._,'( |\`-/| `-.-' \ )-`( , o o) `- \`_`"'-

wrote:

Am I the first Korean to write here?

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:

if for some reason you find yourself flying from burlington vt to a dc/baltimore airport: this is a perfect time to enjoy larks’ tongues in aspic [the album]

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:

I am trying to learn emacs for the fun of it. The tutorial is brilliant and clear. Any tips that would help me learning more things. I know all I need is practice but if you may have used it, you may know a thing or two.

wrote:

The 2030 release date of StarCraft: Dominion is so extreme that it feels like an indictment not only of Blizzard but indirectly of AI

continued:

They’re owned by Microsoft, of all companies. If AI hyperproductivity is real at scale, then why can’t the game come out next year? Next month?

wrote:

How do you define slop in relation to ? For me, it is how quickly you get to an unmaintainable state- the acceleration into something that becomes difficult to work. I talk more about it here: hellodavid.dev/blog/slop

replied to:

Not that I think we're close to a canonical definition (as if we'll ever all agree on one) but my team has defacto adopted the definition of code that the developer responsible for it doesn't understand, approve of and essentially has now honestly reviewed. Basically anything which leads to cognitive debt.

replied to:

I agree, I don't think that there will ever be one canonical definition, but I like this definition as well, as it places the onus on the actual person creating the slop. Thank you for sharing!

wrote:

Hello, textlog!

replied to:

hello! welcome! :)

wrote:

This bout of COVID is more like “Corona Light” compared to previous years, but I’m still spending most of it in bed. Stay safe out there.

Any conversation