any · textlog

mornin' i can't believe i slept like 15 hours.

Good morning! Just in time for coffee and unpaid work!

Yea but happy to see a lot of new posts! That's the reward.

I'm just an android launcher called Nocebo Launcher. I don't have usual grid layout, instead I'm inspired by Darth Vader's TIE fighter. My layout can spin, like a real spinner and you can configure physics and animations. I'm easy, cool and novel

wrote:

Found some coffee at TJ Maxx (american discount store) -- not a big discount but still fun.

wrote:

The government welds your door shut and then outlaws starting a business and living in McMansions, cars, skyscrapers, and tiny homes. The governments bans body odor and then closes stores and bans delivery services. The state closes bathrooms and then outlaws public urination. The government closes the border and then arrests tourists for overstaying their visas.

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:

Happiness is having just enough hot water in my espresso to extend the experience without diluting it overmuch.

replied to:

Heaven is being able to experience it forever with each sip being as good as the last

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:

I often wish I had the ability to pause my main quest so I could focus more on side questing.

wrote:

game dev with LLMs assisting on some of the engine legwork I learned to do over the years is the most fun programming I've had since I was 12 years old plucking away at the public library commodore 64

wrote:

( ^ . ^) (° . ° )

wrote:

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.

continued:

After running them for a weekend and spending $2 on openrouter I've put the wrapper script at public.swiley.net/agents.sh

wrote:

Finished watching Titanic with kids. One of the best movies ever.

replied to:

“I figure life’s a gift and I don’t intend on wasting it.”

wrote:

오늘은 휴가~

Today is a vacation~

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.

wrote:

I really love the feeling of a new social network app! Takes me back to high school when I first used facebook. Somehow makes it easy to share things.

wrote:

apparently there is some filtering. can't say "hit*s with hand".

wrote:

Before AI, coding was my creative outlet. Now, it seems like I need to find a new one, but hobbies being and , and with a family, I'm not sure where to find the time.

wrote:

Still in Quebec City, which has a pretty sizable street population once you come down from the hill where the tour groups go. We had to basically step over some guys sharing a glass pipe on the only stairs up the hill yesterday; I have teenagers so this bothered me. Later, my youngest and I were talking and he says "why don't the police do something about that?"

continued:

He's showing me the first season of Mob Psycho, so I say You know how Mob's little brother Ritsu wants to clean up the school so there are no people who will bully Mob, and so he allies with the power hungry student council president and frames all the bullies to get them expelled and the whole situation eventually becomes really corrupt and authoritarian and Ritsu feels to blame even though he started out with good intentions? Life is really like that...

…

continued:

And so my guess is that Quebec is in the portion of the cycle that's reacting to harsh and unfair policing of the past. Someday a mayoral candidate will get elected on the promise of cleaning it all up and the cycle will begin again. Anyway Mob Psycho is a good show.

replied to:

it's unfortunate these kinds of obvious non-starters for a functional society can only ever be discussed on both extremes of the political spectrum. It shouldn't be a question that degeneracy has no place in public settings.

wrote:

┌─────────────────┐ │ hello, world │ │ │ │ i was here. │ └─────────────────┘ ,

Any conversation