Any conversation

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. #educationnotesfollow #programmingnotesfollow

there's no fundamental physical limit that prevents silicon from developing taste and judgement, but language is a lossy compression of reality. taste comes from experience, from the shadowy mass of episodic memory, which swirls and convects at the boundary of consciousness. the ideas recombine into new ones in the nuclear reactor of the hippocampus. but no matter how imbued with meaning and expertise is a handmade wardrobe we still get our shit from ikea

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.

日本語話者はどれくらいいるんだろう。ここで日本語で書き込み続けるのはどうなんだろう

At moms house for the holiday weekend so the kids can see Nana. She has a "premium Plex" account on her tv serving a truly massive amount of content. Allegedly the brother of a long time friend is offering the "service". She says that the service will go down when the host is having outages, so the infra is likely local. I brought my year this weekend. We are going to dig in to this guys operation. Intuition dictates that there is some hand rolled accounting going on. I'd like to see it.

i recently finished hemingways "the old man and the sea". very highly recommend for anybody that wants something short and memorable. left me feeling something between inspired and nihilistic

I've written a small persistent agent wrapper for agent.py. I'm impressed with how well it works. I feel like a CEO issuing global memos to all my agents after reading their status reports.

Tax wealth not work

I dag brukte jeg scann&betal rett fra Coop-app’en på Obs. Snakk om smooth opplevelse! #hverdagnotesfollow #forenklingnotesfollow

I have to constantly be working or I get very agitated. Is this #workaholismnotesfollow? I don’t like entertainment other than background music while working and maybe before going to sleep I watch a series on Netflix to relax. That’s when I’m on my introvert mode. When I’m extrovert (I’m ambivert) I have to constantly be around people and outdoors, I get agitated indoors, can’t work at all and definitely can’t watch anything. How do these two personalities co-exist in me?

Excited about these news! I am #flyingnotesfollow Heraklion to BerlinHeraklion Airport N. Kazantzakis → Berlin Brandenburg AirportHeraklion Airport N. Kazantzakis → Berlin Brandenburg Airport on Friday, going to stay for a while to work on textlog among other things. Happy because I was getting a bit depressed lately living in the mountains in Crete.

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

van szomorú vasárnap, van vidám vasárnap, és van átlagostól egy kicsit jobban elcseszett vasárnap is, mint ez a mai

Mr. Watson – Come here – I want to see you.

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

Past year's personal projects that went viral: hallucinatehallucinate.site The Front PageThe Front PageThe Front PageA newspaper-style front page for Hacker News. groovemastergroovemastergroovemaster - Code musicCode music in the browser. textlogtextloghotThe quieter social microblogging platform. Yet I'm poor and can't get an interview :S how do I solve this?

The Typst language is Turing complete. Does that mean it could be the target of a C compiler? Could I compile the Linux kernel to Typst? Certainly, one could build a mean web server with it. Look out .php, here comes #typstnotesfollow

Somehow, I can't work in the mornings. Going to the office earlier just makes longer the "warmup period", this is, the period I stare the computer's screen reading stuff that is completely unrelated to my work. #ASDnotesfollow

I HEARD A GREAT HORNED OWL. one of my birding goals is to see any owl outside a zoo. I just moved here and the lack of birds near our home has made me sad. but hearing this owl was such a fun surprise tonight.

Doughnuts are delicious, then belly vicious. Oh multitudes! Why have you forsaken me?