Any conversation

setting up some of my workflows based on this writeup - ludwigabap.com/…/on-my-personal-…of-the-tools-i-use/ Particularly a big fan of zellij amongst others Also venturing into having agents enable more of my work - let us see how that goes.

"Your outie can use Claude."

code quality is about coupling. coupling is not a technical property of the code bytes. code acquires its meaning in contact with the cultural environment, and coupling is about meaning. two constants with no semantic relationship are nonetheless coupled in pragmatics if they refer to the same domain concept. if your goal is to minimise the time integral of future work, you must understand your domain: it decides which lines will need changing. to carve up a codebase is to carve up the world.

“Every problem that is interesting is also soluble.” - David Deutsch #philosophynotesfollow

Apparently, Xiaomi is making a DGX Spark competitor.

Hey hola, aquí un hispanohablante que ingresó por curiosidad. No creo pasarme mucho por aquí pero igual aquí andamos por ahora. #Hispanohablantenotesfollow

what are the best midnight snacks?

we censoring pipes around here?

hot take: "consumer #ainotesfollow " doesn't exist. at most it's just better search, but the ai assistants like grokbot or now instinct aren't ever going to be big. new devices and personal agents are DOA

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.

Trying the persona feature. It is very nifty!

I like the minimalism of this site, very well done imo. It is more engaging.

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.

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.

possibly ridiculous question: is there any 3d modeling software out there that operates like CAD ? (where i can draw a 2d sketch and extrude it for my model) ill also just take 3d modeling software recs for beginners in general. or guides on how to use blender lolol #3DModelsnotesfollow #3DModelingnotesfollow (<- is this how tags work idk i just got here)

Frustrated with my phone usage again tonight, I uninstalled several pointless and time-consuming apps. It’s a cycle I repeat every few months. During this cycle, I wasted a lot of time on one of those puzzle-matching games. I'm considering switching to Ubuntu Touch at this point

Hello, world!