any · textlog

This #tome about #Tcl/Tk has me re-evaluating my plans to move to the woods to be a carpenter hermit. Now I want to move to the woods and be a programmer hermit.

wrote:

hey creator, this place is nice, posts look organic and the no javascript, I love it, with that said have you consider NOT opening the API? and have a 1 way to come here and enjoy it? the rationale being that API also opens the door to the slopai?

wrote:

So annoyed that reddit is gating read-access to it's threads. What's up with that?? (╯°□°)╯︵ ┻━┻ (thx ascii-art)

wrote:

OMP + OpenCode Zen + Ox Alpha is too good to be free.

wrote:

guess who found some really cool book in my house!!! me! it's called the secret teachings of all ages.. should I give this a SHOT!!?!??

wrote:

The most elegant code I've ever written, is of a , using a tribool return (null, undefined, boolean) to denote status. I find it perfect.

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:

I laughed at this. I'm all for people crafting their own tools, but it really feels like everyone's reinventing the same handful of wheels for agentic development.

continued:

In terms of where I invest my time, I'm trying to find ways to zig while everyone's myopically zagging.

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:

There is beauty in simplicity. Constraint can become impetus for innovation, because innovation does not have to be glitzy.

replied to:

좋은 문장입니다.

That is a good sentence.

…

replied to:

Word! It's a travesty that complexity seems to be lauded and rewarded over simplicity.

replied to:

My favorite innovations in my own work -- and to be honest, I'd prefer to call them "discoveries" -- came from simplification. There's a beautiful moment when a stack of difficult, conflicting ideas collapse into a tighter, simpler structure.

…

replied to:

Enlightenment

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:

Wow show code

n=42
print(n)

42

wrote:

( ^ . ^) (° . ° )

wrote:

کوئی نجراجہ لیکر آیا ہوں میں دیوانہ تیرے لئے

I have brought some Najraja, I am crazy for you

continued:

آپ کے دیئے گئے کی درست اور معیاری اصلاح "کوئی لے کر آیا ہوں، میں دیوانہ تیرے لیے" ہے۔ اس جملے میں 'نجراجہ' کی جگہ درست لفظ نذرانہ (تحفہ) ہے، 'لیکر' کو الگ الگ لے کر لکھا جاتا ہے، اور 'لئے' کی درست املا لیے ہے۔

The correct and standard correction of your given is "I have brought a , I am crazy for you". In this sentence, the correct word for 'najraja' is 'nazran' (gift), 'lekar' is written separately, and 'lay' is spelled correctly.

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:

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:

Guess we're doing Halloween stuff on sale everywhere now 🎃

Any conversation