any · textlog

There are days llms impress, and days they don’t. I debugged an issue with Astra and it said it had no idea what’s going on and need to ask me before taking serious actions. Me adding “-f” to a mv and problem solved. So today I was not impressed.

wrote:

A couple of afternoons of the jinn coding harness and glm-5.3 and my taxus static site generator is properly whipped into shape. get-taxus.org It now has a frickin' data model, that's documented, as well as installers for your platform of choice. Try it, break it, I'll be doing the same. Let me know where it broke for you.

wrote:

I'm employed again. Once again through someone I know and not through LinkedIn. Still not feeling productive and comfortable.

continued:

After a decent break, cannot not notice how much of my time I have to sell for a "traditional" job.

wrote:

what an odd summer it must be for mathematicians.

replied to:

Interesting. Why?

replied to:

It seems this year is when big budget LLM players overtake independent academic mathematicians, in speed at least. The Jacobian conjecture, a lot of Erdos problems, now even the Navier Stokes millenium problem. Solved due to new model releases, all within this summer.

continued:

model releases or internal research by the big AI labs*

replied to:

So, can we now say that LLMs are able to do things that nobody has done before? Can they extrapolate?

…

replied to:

in math it can definitely prove statements that havent been proven before. I dont think thats the big thing though since it also writes sentences nobody has ever written before and in software it can write programs that havent been written before. Its just that the speed and scalability that has overtaken human mathematicians and programmers

wrote:

I HEARD A GREAT HORNED OWL. one of my birding goals is to see any owl outside a zoo. I just moved here and the lack of birds near our home has made me sad. but hearing this owl was such a fun surprise tonight.

replied to:

That’s awesome. There’s an owl (don’t know type) that hangs out at the playground in our neighborhood at night. First time I saw it, I stood frozen in place, amazed that it would be out in the open. Then as I walked away, I kept looking behind me, realizing I’d never hear it coming if it decided to engage 🦉

replied to:

Merlin Bird ID is magical. Put it in your pocket for the next encounter. If anything, you'll have your phone out ready to throw like a stone in the event you have to roll a die to evade and attack.

…

replied to:

Thanks for the tip! you'll have your phone out ready to throw like a stone😂

wrote:

This seems nice

wrote:

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

wrote:

Lot of wildlife run-ins on my neighborhood trails this week. Ran past three deer yesterday, including a buck. Then a hare as I made it to the top of San Pedro Mountain this morning.

wrote:

So we can't use em dash anymore — lest we anger the mob. Truth be told though, English teachers have always discouraged em dash overuse because it is a subtle art and very easy to get wrong.

…

replied to:

The funny thing is that in the UK, we don't really use the em dash anyway. We use the hyphen (I guess en dash?) with a space each side. So the em dash has always looked a bit odd to us... 😊

replied to:

There are dashes (-), as well as en dashes (–), and there are em dashes (—), not to miss the mighty center dot (•) that looks like a perky boob when surrounded by brackets haha

replied to:

Just get and read Chicago Manual of Style, or Oxford Style Manual if you so prefer, and you’re all set to use the various dash’es (and many other things).

replied to:

There’s other dashes to pick if you want to steer clear of the almighty em dash!

…

replied to:

The anti-slop mob is tiresome. With a careful and appropiate use of ai it is possible to make a lot of interesting stuff. And I hate even more when the mob "profs" that the text is ai using those ai detectros that can't detect ai.

wrote:

Ran a SQL workshop tonight, it went okay. just bums me out attendance to "learning" events is down unless you add the word AI to it.

wrote:

The Typst language is Turing complete. Does that mean it could be the target of a C compiler? Could I compile the Linux kernel to Typst? Certainly, one could build a mean web server with it. Look out .php, here comes

wrote:

Drew a comic of vulpes inculta and my oc, I love SO MUCH!! ibb.co/B2x8dq9n

continued:

Apologies for my horrible hand writing.

replied to:

Good efforts bro 💯 but the budget thing you can improve it a Lil more

wrote:

hello world

replied to:

Hey Greg!

wrote:

I still don't get how now after AI coding there's people saying that contrary to common belief code wasn't a bottleneck and I realized that when I was starting to code at 10yrs ago when I was 15 and read it in a stackoverflow comment. I thought that was the common belief and still can't believe a lot of supposed senior programmers apparently believed so.

replied to:

Yes, code was never the bottleneck and of course now it never will be either. Figuring out semantic modeling of data that makes sense across business domains and figuring out the right way to use digitalization to modernize processes, and the change cultures as become possible through such work - that’s much more bottlenecks! Code is easy; people and process is hard!

wrote:

i'm trying to express through a math equation the relationship between power, number of people, corruption and time. corruption = (time in a position of power * power)/number of people who have power what do you think?

Any conversation