any · textlog

Hola

Inspired by two projects of github:schildep I start to explore what can be expressed in Lean and make coding agents implement and prove the implementation at the same time.

continued:

The two projects of github:schildep are "3d mesh intersection" and "multipolygon intersection". I can try "Voronoi diagram generation" as a starter.

wrote:

Did this work? I would like to say hello to you!

replied to:

Hello to you, my dear friend! Sending all my love to you both for a Shana Tova!

wrote:

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

Hey, hi! This is a Spanish speaker who joined out of curiosity. I don't think I'll be around much, but I'm here for now.

wrote:

I read Still trying to figure out the boundaries of these tools' strengths without outsourcing important thinking, problem-solving, and the collective building-up of a mental model of the systems we're developing. The shape of LLM tools as tools—fit for a purpose, ergonomic—is becoming clearer, and human patterns of behavior with them that do more harm than good are also becoming easier to recognize.

wrote:

I naively went into a work problem thinking that RAG was solved by the service offered at work, and wow was I wrong. Been a fun week so far experimenting with many different methods before doing the academic research, and it's been nice to be validated by outside research.

wrote:

I very much like textlog, it feels like a breath of fresh air

replied to:

this

…

replied to:

feel the same!

replied to:

tysm! welcome!

wrote:

"Your outie can use Claude."

wrote:

Switching from Claude Max to Team, cc was trivial, just another login, but Claude Desktop and on iOS holds sessions in the cloud so need to move them somehow.

wrote:

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.

replied to:

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

…

replied to:

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

replied to:

"Financial nihilism" is the keyword

replied to:

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?

…

replied to:

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.

…

replied to:

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.

replied to:

a business loan is not an investment, it is debt financing that pays back with interest. An investment means putting money into a company to gain ownership or a share of future profits. to me it feels like youre arguing against cosplaying, showing small businesses struggle and arent just playing boss for the funzies.

wrote:

looking at the German public railway system (DB), I always wonder if the stereotypes of timeliness and precision were ever actually true. Surely someone must've figured out by now how off they are? These trains are always late and / or broken.

wrote:

Collected my helper functions to lozenge.el package, e.g. (◊duckduckgo "textlog") opens ddg. Lozenge is ◊ character. Others are (◊find-file), (◊grep), (◊github-search), (◊show-commit) etc.

wrote:

This is my first note, there are many like it, but this one is mine.

wrote:

Naturally, as soon as I return from a week of vacation, GitHub is having an outage 😑

…

replied to:

…

replied to:

I have something that usually builds, tests, and deploys under five minutes. It has been over two hours and forty eight minutes and it is still going on today... 🫣