any · textlog

Trying to jump back into project work while my kids are still home before school starts on Wednesday 🫠

I've linked up my blog (jeff-mitchell.dev) to textlog. I hope to use the two things together now to build a bit more of a writing habit. The 500 character increase is nice, room to breath but not an essay. Gotta build the muscles slowly :)

wrote:

working on permanent.sh a coding agent for the growing and seemingly permanent underclass of people that are left behind by the unbelievable pace of progress in ai the big labs are fighting over felonybench (exploitbench) and google deepmind ceo left to work on drug discovery

wrote:

Have been reading the book: The Wise Heart by Dr Jack Kornfield. Profound and inspiring. Highly recommend.

continued:

There are two kinds of suffering. One which you run from, and it follows you everywhere. And there is suffering you face directly, and in doing so become free. - Ajahn Chah So damn insightful.

wrote:

I was followed by here and wonder if this the one of ari fame? If so, I’m thankful for their work. Using ari “on top of” goal make some things just a lot easier for me when I’m exploring some data products I need to understand.

replied to:

Hi, yes, I develop ari. I'm so glad it's proven useful for you! Any feature requests or changes you'd like to see? I'm curious what bits of ari have made it easier for you to explore data, too. UI or additions keep tempting me, but I haven't settled on what I want there. If you have thoughts on that front, I welcome them.

replied to:

The two main things I use are the duckdb support and of course the built-in resty client. Not needing to shell out to curl just makes life easier. I should probably add that I’m mainly prototyping and explore things that later eventually will be developed further by others in our organization, so using array langs where I don’t need to type a lot is a big plus for me:) I’ll let you know if I need anything!

…

replied to:

Thanks, that’s helpful. Those are the two things I use the most, too. One development tool I use frequently is the util.ac function (for “auto-complete”) that takes a glob pattern and returns all the globals whose names match. I didn’t want to make people have to define or update their Goal lib path, so in recent versions of ari I’ve been packaging all of the Goal libs and ari's into a libs FS that you can use with import.

wrote:

I really like this minimal approach, I wish the maintainer great success with textlog. whatever that may look like to them :) I will make sure to check in occasionally.

wrote:

Going to document some approaches to produce data visualizations using ari via DuckDB. Don’t know why it didn’t occur to me earlier, that there would be some solid community extensions for in DuckDB.

continued:

I was trying to use an approach that relies on community extensions, but installing them is proving finicky. Going to consider an approach that requires less futzing.

wrote:

Hi!

replied to:

hey there! welcome 😊

wrote:

Certain modes of work are exhausting to the point of not being able to sleep, the mind is so wired.

replied to:

feel this viscerally. even when the problem is "solved" its hard to turn the brain off

wrote:

I enjoy the morning rain today

wrote:

, will it possible, on mobile, to be able to tap on “cards”. That is, make the posts area “tapable”.

replied to:

Great idea, implemented here! Thanks for the suggestion.

replied to:

This is very welcome! I don't know how many times I had already tapped posts to go to the comment chain, just to realize that wasn't the place ^⁠_⁠^

wrote:

did they silently decrease the subscription limits on codex? (in addition to reintroducing the 5h limit?) subscription models suck so bad when they can just change the terms and make the product shittier.

replied to:

I reached the limit also for the first time on the $100. Either that or we’re just using them more.

replied to:

ive been dual wielding 2 accounts with some fallback shenanigans. on average its enough for me, but on heavy weeks its annoying. + it feels intransparent

wrote:

!

wrote:

How can I change an organisation with hundreds of frustrated employees, when I can’t change my own life with only one person. Does a different person run a company and a different person live their life? I doubt it.

replied to:

I think so, actually. My wife runs my household, I run my engineering org. As I get older I do see the two aspects of my personality start to merge but they are still divergent and were much moreso in my earlier years.

continued:

and to be clear, I don't mean that I offload all the work to her by any stretch. It's just that I'm much more outspoken and opinionated on the specifics of work life versus home life.

wrote:

At moms house for the holiday weekend so the kids can see Nana. She has a "premium Plex" account on her tv serving a truly massive amount of content. Allegedly the brother of a long time friend is offering the "service". She says that the service will go down when the host is having outages, so the infra is likely local. I brought my year this weekend. We are going to dig in to this guys operation. Intuition dictates that there is some hand rolled accounting going on. I'd like to see it.

wrote:

My first post on Twitter in 2007 or so was kinda about the utility of broadcasting what was on my mind. :)

wrote:

Why did the programmer quit his job? revealBecause he didn’t get arrays.

wrote:

gondolom, vasárnap van nekik is, vagy nem tudom

wrote:

Apa kabar dunia?

wrote:

az interneten nem lehet egy képet sem átméretezni, sem Windows alatt, a Grok is csak hozzávetőlegesen dolgozik, mi következik ebből, muszáj lesz beengedni Gemmát, mintha Linus Thorvalds a napokban panaszkodott volna, hogy a Linuxot is elárasztotta az ai

You can't resize an image on the internet, not even under Windows, Grok only works roughly, what follows from this, we'll have to let Gemma in, as if Linus Thorvalds had complained the other day that Linux was also flooded with AI

Any conversation