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:

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:

Someone can create enormous value while their manager controls the narrative around that value. Conversely, a manager can conceal structural problems because the people capable of exposing them depend on that same manager for evaluation and promotion

wrote:

Congrats on the ! What a delightful service. Almost has an 80s BBS feel. =)

replied to:

tysm! Glad you like it and welcome! :)

(deleted post)

replied to(deleted account):

Almost like a Zen garden.

wrote:

Here I am trying to shine amidst all the darkness that pulls me down.

wrote:

bill gates built microsoft by making computation cheaper faster and harder for government to restrain. now that he's a billionaire no longer dependent on the free market for his own success he's discovered the virtues of taxing the next wave of computation. 1995 gates would have called it a tax on innovation. classic pull-the-ladder-up-behind-you politics.

replied to:

These were exactly my thoughts reading about how he thinks we should “preserve” some jobs for people; I don’t remember him being an advocate of preserving the jobs of typists, draftsman, typesetters, and other clerks when his company was leading a prior digital revolution…

wrote:

Math class -_-

wrote:

was feeling a little fancy, bought a bag of gesha coffee beans :))

wrote:

The mental shape of a programming language resurfaces, and my mind craves writing programs in it. Array languages, concatenative, Lisps, Smalltalks.

wrote:

Bandcamp Friday is almost over! Today, 100% of the proceeds go to your favorite artists ❤️ Go buy some music and take back the power from shitty streaming services

wrote:

Built a couple lambdas today to send account verification and onboarding drip emails for folks who sign up for my app but don’t make it all the way through the onboarding flow. Pretty cool to be able to quickly bang out self-contained infra for this instead of having to pay some SaaS vendor.

wrote:

I subscribe to the Tony Stark school of engineering. "Sometimes you have to run before you walk." Earlier this year, I built my own static site generator. I hate literally every static site generator out there (not joking). get-taxus.org

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:

we also launched Norma! :) It checks AI-generated code for security, quality and maintainability while the agent is still working, rather than after a pull request opens. The output is deterministic. Here the demo link: portal.qualityclouds.ai/demo

wrote:

Anyone know how to get the projects view back on codex? It changed from project categorization to date categorization.

continued:

Nvm. There's a little bell icon on the top right of the sidebar which let's you switch between project and activity views.

wrote:

ran 5km daily for 7 weeks now

replied to:

wow congrats!

replied to:

Wow, respect!

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:

Wedding Venue in Girmapur for Memorable Celebrations Your wedding day's experience and overall atmosphere can be greatly improved by selecting the appropriate venue. Located on Gowdavalli-Railapur Road in Girmapur, Telangana, Sri Om Gardens offers an expansive view of the city that is perfect for holding weddings, reception nights, engagements and other family events.

Any conversation