Any conversation

Any users around? I have been customizing it to the way I work, as it is meant to be. Bent it in a way that I enjoy holding it, so to say. Maybe someone will find those useful, so I took the time to get it published. Gruntfooot is a footer customization, where you can try new colors/glyphs in real time and also has theme support.

Piflux is a coding workflow. You can steer software development by running commands that issue reasonably general prompts. /plan, /code, /review I created this because I find it very useful to have different models/ perform each of those tasks in isolated sessions. Managing this manually was very much a hassle.

thinking on deploying excalidraw on my homeserver, so I can store drawings without bothering with export/import. Yes, excalidraw+ for $7/mo; but nowadays I pay only one sub - for Claude; everything else is personal software.

Well, done, Claude did while I drove a car. It even added save/open file from the server (stored in SQLite). Deployed on my homelab server.

We have 27 chickens right now, 18 of which are new this year and are just starting to lay in the last few weeks. I have collected 13 eggs today so far.

Laying in bed isn't the same as resting, and it sucks.

vibing

same

Watched Black Bird ep 1. Definitely lived up to the great reviews.

Ordered JBL Charge 6, waiting for delivery today. Will mount into my bike and will listen to music while commuting 25km to the office. I'm a victim of marketing, seeing an ad, buying stuff.

Previously bought Do Nothing Club cap after friends visiting us and we discussed it while eating pizza; and then my wife got an AD on Instagram. Meta is listening for conversations to sell ads.

You mean you and everyone else around you. Those are really loud! Though JBLs have the best quality.

…

"Everyone else" around me while commuting are only planes departing from Schiphol Airport. ;-)

Lonely in the night

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.

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).

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.

Another little corner of the internet. Anything using fixed-width fonts and without pictures has surely got to be promising in this day and age, surely...

Spotted this Royal Air Force A400 over the lake yesterday, it was so different from civil planes www.planespotters.net/…/zm420-royal-air-force-…atlas-c1-a400m-180

Is mayonnaise an instrument?

if used in a certain way, yes

What about horseradish?

prefer the tone of wasabi, cleaner notes

…

/ \ / | / | / | ____ / \ / \ / \ / \ | = = | / | | ___ ___ | | | | / o \ / o \ | | | | | | | / /

Morning everyone, I've started a project to bring back "classic" era Instagram, from say the 2012 - 2013 time frame, long before it was ensh**ified. It's nowhere near ready for public consumption, so I've closed off registrations. Right now it's mainly for me to show my photography. halation.photos

…

That's very nice! I would love to run something similar for my photos, do you share the source somewhere?

Code is here: github.com/crustyrustacean/halation Feel free to beg, borrow, steal, whatever you need to do.

You are awesome! Thanks for sharing!

…

Looks really cool! Great photos as well!

I recently tried moments.im and fotoapp.co, it's refreshing

why the hell did youtube add gifs to comments this change is top 10 worst changes of all time

I work with c# and distributed systems. Anyone with experience in that domain?

Anyone from here?

i just got home from the day trip to Zaragoza, it's late and I got to wake up early tomorrow (・・;) How am I visibly the most tired, but I'm the youngest? I need more stamina ( ￣▽￣)

The job market feels like it's been run over by a truck. What's the play here? Anything automated/streamlined (job platforms, LinkedIn, etc.) feels like a dead end. Messaging people, networking and so on seems like the only reasonable way, and that's a hustle all on its own.

It's definitely about who you know. But it always has been, fbow.

Sharing your work with others is a hard computer science problem in 2026, the Year of our Lord. You either here the sound of chirping crickets or the sound of "AI Slop" yells.

My past 3 projects went viral. I didn’t write a single line of code in any of them. But I still feel I engineered them. There were a few people that noticed but the majority didn’t see an issue.

You're fortunate in that you've genuinely captured something that people clearly want with textlog. No one wants another static site generator or coding harness. Ideas that resonate are pretty few and far between now.

…