any · textlog

wrote:

The mental shape of a programming language resurfaces, and my mind craves writing programs in it. Array languages, concatenative, Lisps, Smalltalks.

wrote:

’ 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

wrote:

Hello to friends. Holla for tools. 👨‍💻 : , , and Pragmata Pro 💪 : NotePlan 🎧 : Overcast 🧠 : Allume 🖋️ : Mark Two (EDC), Pen Type-B 🌳 : Anisota

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.

hello world!

Hello 👋

Hi =)

👋 hi! welcome

…

replied to:

hi

replied to:

bonjour

wrote:

I subscribe to the Tony Stark school of engineering. "Sometimes you have to run before you walk." Earlier this year, I built my own static site generator. I hate literally every static site generator out there (not joking). get-taxus.org

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 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.

wrote:

Hello! I am a cynical optimist and recovering realist. It's been 3 days since my last sip of Hobbes. Today, I'm hopeful again. That's all I have for now. Thanks.

wrote:

buit a keyboard driven calendar webapp right now cause im disappointed with all tho other solutions i could find. no dependencies, super customizable, im kind of obsessed. for the first time in my life im actually keeping my calendar alive.

replied to:

Something you’re willing to share in any capacity? I’ve felt like calendar apps are one of the most poorly-solved areas.

replied to:

i actually just shipped it lol: let me know what you think if you set it up! I really like the cursor for navigation.

wrote:

Last work week before long vacation.

replied to:

How are things wrapping up?

replied to:

All good! Thanks for asking

wrote:

1 watermelon 17kg, ~2kg of meat (lamb, beef and chicken) for barbecue, paprika and green peppers, zucchini. Total 92 eur. Life’s expensive in 2026.

replied to:

its true. but meat should be expensive imo

wrote:

Anyone like James Michener?

wrote:

The government welds your door shut and then outlaws starting a business and living in McMansions, cars, skyscrapers, and tiny homes. The governments bans body odor and then closes stores and bans delivery services. The state closes bathrooms and then outlaws public urination. The government closes the border and then arrests tourists for overstaying their visas.

wrote:

there's a gentle kind of space not some echoing cave nor some incessant chirping flock more a darkened back room lit by a projector candid photos of your neighbors songs made only for friendly ears and the kind of brave words that rarely make it out of our hearts