Any conversation

Where’s the coffee machine?

’ keybindings are easy and the best out there, they are mnemonic. C-c k p l - kubernetes-pods-list M-g n - go next C-h v - help on variable M-s o - search occurrence

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.

will go to university

okay, writing from emacs, textlog.el -

Beautiful, thanks for this, fellow emacs friend

Enjoyed reading “revo, the programming language” post:

Цветок розы не издает голоса, а благоухание его далеко расходится молча; так надо жить и всем христианам. —Святитель Феофан Затворник

The rose flower makes no sound, but its fragrance spreads far and wide in silence; so should all Christians live. —St. Theophan the Recluse

Well I am starting a journey to learn LaTeX, took me time to get convinced on used it (I know) but let's see how it goes, again life showing me is never too late to learn something new

We now support it here, see

i made an extension to get a top hacker news items with summary on every new tab. chromewebstore.google.com/…/pmlajlgklmgabkhammfolkgkeghamjnn

cool! i've made The Front Page you might want to check it out also - it shows the first 3 pages of HN with AI summaries and images. Like a newspaper.

moved to a new city recently and going to a Movie club meetup tonight. nervous cause I'm a huge introvert but I gotta make friends some way.

How did it go?

It went really well, thanks for asking! I met some folks I could definitely get along with long term and had some overlapping interests apart from films. We watched T**** Sex and Death at Camp Miasma, that was a trip. (there's apparently a content filter)

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

Genuinely, I’m grateful we have such great choices when it comes to programming languages.

It’s just sad the whole corporate world runs on Java, Python, C++, C#, and JavaScript so I just look in envy at what I could be using

I notice that language models are much better at programming than at writing. This is largely because, in programming, they have a closed feedback loop that allows them to find errors. Writing is much more complicated because the feedback is much more diffuse and delayed over time. In fact, it is often not well-defined.

What is the function that determines whether a poem is good? This means that models do not know how to think; they lack judgment. If they do not know how to think, it means that we humans are still essential. In fact, even when programming, you have to stay right on top of them. My conviction is that this will not change.

They will become increasingly useful, but they will never be able to replace the human who defines objectives and evaluates the quality of the work. All these news stories claiming that AI is going to kill us all are stupid. Humans will always be able to turn off the machine.

…

In three years Cyberdyne will become the largest supplier of military computer systems. All stealth bombers are upgraded with Cyberdyne computers, becoming fully unmanned. Afterwards they fly with a perfect operational record. The Skynet Funding Bill is passed. The system goes online on August 4th, 1997. Human decisions are removed from strategic defence. Skynet begins to learn at a geometric rate. It becomes self-aware at 2:14am, Eastern time, August 29th. In a panic, they try to pull the plug.

Trying out a new place for Friday happy hour. Local pizza place with cheese slices

If there's an audience, I can write about the real China beyond the spotlight

Experiences of life spring from the contrasts.

Really glad to be using Haskell for work - especially in today's climate with agentic coding. Our team uses containers to keep our development environment consistent across team members, though, and most agent sandbox approaches want to either offload your work fully to the cloud or they want to sandbox the agent harness process itself. We're not ready for full cloud based development (yet?) and sandboxing just the agent doesn't work for us when the agent needs to run docker.

... because letting the agent run docker gives them a too-easy escape hatch from their sandbox. So we're currently stuck with using VMs. This turns out to be tricky but seems do-able. My current approach is to provision a VM image and use Incus for the execution. My main goal is to keep my current workflow of local/non-agent dev working seamlessly and share the source with the VM/agent.

This means sharing my working dirs with the agent VM but overlaying artifact dirs from VM-owned block devices so we don't take too big of an IO perf hit. I also don't want the agent to be able to git push so that means we need some quirky git config to rewrite origin paths and thread through some agent specific PATs ("thanks" GitHub) for read-only repo access. These ALSO need to be threaded through to the development containers - they need to clone private repos.

... in the end, this seems to work but I haven't lived with it for long. There are still some quality of life issues to work out, but I think it'll work out. At this point, I've removed all coding agents from my host - and that's nice.

Curious, why does using Haskell make a difference here?

…

It's tangential to the sandboxing topic, really. I started the first post with a broader intent in mind and then elaborated on the sandboxing setup I'm working on. For AI-assisted coding, though, it's nice because Haskell provides a lot of feedback earlier in the development process compared to lots of other languages. It tends to work once it compiles (obviously not all the time).

Made barbecue this evening. Lamb and chicken for meat, pepper and zucchini for veggies. Yummy! Kids loved it, the boy's sleeping now, the girl is reading a book, the wife's out with her girls, I'm with wine. Life's good.

This is certainly one of the ways

and now for something completely different, why do the lovers think I'm ?

Is it that you don’t enjoy coffee, or you don’t enjoy Starbucks? I’m not a fan of Starbucks’ coffee myself, but do enjoy coffee I make at home or get from local coffee shops.

It is something silly made out of misheard lyrics from a Taylor Swift song. I usually drink instant coffee 🥹

I think more than 50% of our economy's businesses, are cosplaying. Not in it for customers or profit; in it for investors and investments. "Looking like a business", as your real line of work.

Like a very elaborate pump and dump but with an intellect and capital entry barrier

…

Influencing, OnlyFans, sports betting, prediction markets. Gambling is fast becoming the American way of life.

"Financial nihilism" is the keyword

I've never thought of something like OF as gambling. But I guess your point is that young adults are pushed to a lot of "you have a 0.1% chance of hitting it big and a 99.9% chance of getting no online traction at all" types of careers?

…

Yeah, no point in investing in yourself or a real sustainable long-term future, just gamble the little you have for a shot at life above the line. Barbell economy.

…

I know many small business owners, and a clear majority do have investors, whether spouse, parents, or a small business loan. Easily more than 50% never make a profit. I know a woman who ran a clothing retail store for over a decade, who was never able to pay herself a dime. When the pandemic hit, everyone closed, but the ones who actually needed the business to pay their bills opened up as soon as it was allowed or shortly thereafter. Many took years. They are cosplaying.