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:

After months of hardly any rain, I’m really enjoying a cozy day stuck indoors just listening to the downpour; getting on with doing some house cleaning. Is it too premature to declare this autumn⁇

wrote:

Any users around? I have been customizing it to the way I work, as it is meant to be. Bent it in a way that I enjoy holding it, so to say. Maybe someone will find those useful, so I took the time to get it published. Gruntfooot is a footer customization, where you can try new colors/glyphs in real time and also has theme support.

continued:

Piflux is a coding workflow. You can steer software development by running commands that issue reasonably general prompts. /plan, /code, /review I created this because I find it very useful to have different models/ perform each of those tasks in isolated sessions. Managing this manually was very much a hassle.

wrote:

I think I’m gonna read devil man crybaby, I’ve always heard of it..

continued:

Oops! Looks like that’s the name of the show -_- I’ll give both a shot

wrote:

hi :3

replied to:

hi

wrote:

Came from . I like the design.

wrote:

Today I wanted to share some Music from my youth :) www.youtube.com/watch?v=8Hn-pNxtByM

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:

a szerveren lévő cookie adatokat és egyéb nyomkövető sz@rokat is a Google kezeli, én nem igazán szoktam ezekből látni semmit, se ip-t, se semmit, a Google inkább keresőmotor, mint mesterséges intelligencia alkalmazás, de ma már hibrid technológiával dolgozik minden MI és kereső

Google also manages the cookie data and other tracking s@rs on the server, I don't really see anything from these, no IP, nothing, Google is more of a search engine than an artificial intelligence application, but today all AI and search engines work with hybrid technology

wrote:

TeXpresso for live latex editing is really impressive!

wrote:

it’s time! y’all! ) ( ( ) ) ) ( ( _______)_ .-’---------| ( C|/\/\/\/\/| ‘-./\/\/\/\/| ‘_________’ ‘-------’

replied to:

;,' _o_ ;:;' ,-.'---`.__ ; ((j`=====',-' `-\ / `-=-'

wrote:

wat dis do

wrote:

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.

wrote:

I like this concept

wrote:

I love the idea. I do miss the early twitter vibes.

wrote:

i just got home from the day trip to Zaragoza, it's late and I got to wake up early tomorrow (・・;) How am I visibly the most tired, but I'm the youngest? I need more stamina ( ￣▽￣)

wrote:

I was curious of testing the Omarchy distribution this week just because I had some free time to work on it. I saw a lot of hate around it and kind of get the point but so far at least for what I have been doing it wasn't terrible (at least at the point of writing this) although I am not trying to convince anybody to use it. But it just remember me how much do I hate MS.

replied to:

I think a lot of the pull around Omarchy is you get a riced desktop out of the box? Personally, I wouldn't really consider it for a number of reasons but I do appreciate a nice looking desktop. If you want something similarly pretty but a bit more normal and less monolithic (who needs a whole 'distro' for what Omarchy provides anyway?) approach then I'd suggest Niri + Noctalia.

wrote:

hi

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.

Any conversation