any · textlog

wrote:

Going to document some approaches to produce data visualizations using ari via DuckDB. Don’t know why it didn’t occur to me earlier, that there would be some solid community extensions for in DuckDB.

continued:

I was trying to use an approach that relies on community extensions, but installing them is proving finicky. Going to consider an approach that requires less futzing.

wrote:

Been a bit quiet here the last week or so. Recovering from ill health, at risk of redundancy, and working on side projects. It's been a bit full on. Does anyone make pay check/cheque money from side projects? Can I use my redundancy runway to turn some websites from side hustle to salary money?

replied to:

Recovering from ill healthHope you’re feeling better now!Does anyone make pay check/cheque money from side projects?That’s the dream, I’ve only made a few hundreds so far. I’ve had a machine gun approach. Shoot as many rounds as possible in the hopes I might hit something. has helped immensely in this direction. I’ve done a dozen projects past year and while became I’m still not there yet. I’m hopeful though! 😊

wrote:

mornin'

wrote:

Hi everyone! I just found this site, seems to be just my speed!

replied to:

hi! welcome! :D

replied to:

It's very relaxing, I'm a huge fan.

wrote:

Love the flat option for threads Edit: didn’t realise that was the old style. Hahaha

wrote:

(╯°□°)╯︵ ┻━┻ still one of my favorites (or rather #unicode_art right?)

wrote:

Hey 👋🏼

replied to:

hey there! 👋🏼 welcome :D

wrote:

I hate it when I don’t remember if I took my midday pill or not. Not that it matters a lot, but still, annoying. I have notifications set up but I discard them by habit because they are exact times and my sleep pattern fluctuates.

…

replied to:

I once saw someone flip their pill bottle upside down after taking a pill. Not sure it'd help me, because I suspect that somehow I'd still only pay half-attention when taking pills and so still get forgetful and confused :shrug:

replied to:

It actually works!

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:

It's one of the sad ironies of this computer stuff that the simpler solutions take longer to conceive than the complicated ones.

wrote:

there's so much room for activities!

wrote:

Published livediff — a tool written in to show a live diff view so you stay on top of what your are doing.

wrote:

Am I the first Korean to write here?

wrote:

Just another micro blogging platform. It's minimal and it's fine.

wrote:

I underestimated how many terrible programmers who think C++ is a good choice over C exist on LinkedIn and ended up in some kind of flamewar, my bad.

wrote:

Hi!

replied to:

hey there! welcome 😊

wrote:

I naively went into a work problem thinking that RAG was solved by the service offered at work, and wow was I wrong. Been a fun week so far experimenting with many different methods before doing the academic research, and it's been nice to be validated by outside research.

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:

just finished the book “This is what inequality looks like” by Teo You Yenn. will gather my thoughts and write more about it.

Any conversation