any · textlog

wrote:

Can't say I'm surprised there are . Related: stop platforming DHH.

wrote:

hi

wrote:

Feather to paper that's moon inked for you -- a greeting from somewhere. It isn't for you. But it will be for you.

wrote:

I have a toddler. I come home from work, cook, feed, clean, wash up. We read stories and play. I put him to bed. Then I put something on the television and my wife and I scroll on our phones until she goes to bed. I am not so careless with the little free time I have. I continue to scroll until about 1 am. The next morning I do it again. On the weekends, I get to drink wine.

replied to:

I prefer to drink wine at night and read an eBook or watch when something good comes up on streaming media. Can’t always get what I prefer and that is life.

replied to:

Same. And on Monday, I look back and wonder how I ever got to fit five or six things in one weekend, and now one or two things fill it up entirely. Love the little ones though, they're my world.

wrote:

Coding is so passe. Dont feel like coding at all

replied to:

it's called prompting now. old man.

created a poll:

What do you think is better?

Students stay in the same classroom all day, teachers come and go60%

Teachers stay in the same classroom all day, students come and go40%

Nobody stays in the same room all day, rooms are booked for the duration of the lecture period0%

5 voted

replied to:

I picked the first, because you didn’t specified level, and I assumed below college.

wrote:

At a philosophical level, can we have nice things?

…

replied to:

I want this expanded and enacted by one of those guys doing Jordan Peterson impersonations :D

replied to:

And kermit the frog sardonically

replied to:

I think yes, but precisely NOT "at a philosophical level". You can have it only if you get your hands dirty and build it yourself. I think already proved this, just as a close example.

replied to:

entropy says no

…

replied to:

If speaking on a philosophical level, then first we have to ask: what’s “nice” and what’s “to have” 👀

replied to:

If you consider what you have nice, you can have nice things. If your expectations to your surroundings are very very low, you will be amazed with all the nice things you get from people you meet through your day. My personal approach.

wrote:

Why do so many tools have JSON config files‽ Commenting why options have been set the way they have is just such a basic thing to want to do… Why do tech people have such an aversion to writing things down⁇

……

replied to:

TOML is a better format for configuration files IMO, if not for many reasons, primarily because TOML accepts comments. However, one annoying thing for TOML was the lack of schema, and the reliance on JSON Schema for that. Which I decided to tackle years ago when I started the TOML Schema project. In the past few months I leveraged code agents to take to the finish line and got something compelling: tomlschema.org

…

replied to:

that is so nice

replied to:

That’s really cool. I suppose it would allow people to verify their config file is valid without having to pass it to in the intended program, which might be running in production or infeasible to run locally — very interesting

replied to:

Exactly! The schema also enables tools to have rich editors to config files without having to know about the config file format upfront. There is an editor for TOML Schema as an example, on the website.

replied to:

I don't know:  
  They should be using YAML:
    - That's for sure

wrote:

Been working on website marketing materials this morning. About to dig into some work. If 'variety is the spice of life', my job is Cajun seasoning.

wrote:

The live tab on the android app is interesting... How does it work? This is a test 🫣

continued:

Does it do some kind of polling? Is there some kind of notify like publisher subscriber? 🤔

replied to:

It’s using the /firehose endpoint. It’s an SSE endpoint publishing everything latest. Though I meant it to be used server-side, since it’s heavily rate-limited — up to 3 conns under the same network, but I can’t control how clients decide to use it so.. ¯\_(ツ)_/¯

…

continued:

Might just lift the limitation.

continued:

Lifted, that’s how clients want to use it then so be it! Should be fine. We’re nowhere near crashing the server from connections.

wrote:

turns out the power of exclamation mark thing in bash is bigger than !$ and !!. i learned a few tricks from , worth reading!

wrote:

Management says „AI first“, everyone hears „Human second“

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’ve never posted a lot on social medias. I hope I have a good time here!

wrote:

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

created a poll:

Do you rinse your after you brush your ?

Yes29%

No43%

Potato29%

7 voted

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:

👋

replied to:

👋

replied to:

👋

Any conversation