Viewing profile — goostavos

...I use email notifications. I follow very few people (fewer than 10), so I'm always happy when an email pops up letting me know they've written something. I don't pay attention t…

>session transcripts were the new oil Something about this idea really resonates with certain personality types. I equate it to the Zettelkasten hype phase from several years ago. …

If you offload breaking up long sentences to the LLM how will you get better at not writing long sentences? (as an aside, I also struggle with super long sentences and found a pret…

>no hope for writers like me continuing. If it's any consolation, I'm releasing a technical book on Java this year. In 2026. When AI exists and, at according to the front page most…

Same for domestic partners. They push you into their desktop version for some reason, but the desktop version is a buggy pile of trash. I wasn't able to use it at all even on a win…

Agreed. To quote Leslie Lamport, "the hardest part of TLA+ is learning to think abstractly." There's always a moment, usually annoyingly late in the process, where I realize I've b…

DDB has two use cases: 1. You need an "infinitely scalable" key/value store and have deep pockets[0] 2. you work at AWS and your deployment pipeline has so many stages and regions …

>so distant from daily routine that it seems completely pointless imo, this is a problem with how it's taught! Order theory is super useful in programming. The main challenge, beyo…

Agree. AI is (currently) fantastic at "de-bullshitifying" the internet. "Give me a table that compares Products A & B by z, y, and z." Companies have gone out of their way to make …

You do all of that when leaving a comment on HN? Why...? I'm confused by this need(?) desire(?) to polish things that are irrelevant.

No amount of FBI stats about how often "assault" rifles are used will change people's minds. They don't like them and so want to take them away. I don't know how to square the same…

Sigh.. same. The real AI fatigue is the constant background irritation I have when interacting with LLMs. "You're not imagining it" "You're not crazy" "You're absolutely right!" "Y…

>software engineers today are 100x more productive Somebody needs to explain to my lying eyes where these 100xers are hiding. They seem to live in comments on the internet, but I'm…

A lot of pride is wrapped up in the craft of writing software. If that goes away (I don't think it will) it would leave a lot of people wondering how they spent all their time. (or…

I had my first interview last week where I finally saw this in the wild. It was a student applying for an internship. It was the strangest interview. They had excellent textbook kn…

I found the first season OK enough, but the second season to be unwatchable.

https://chriskiehl.com

If the only reason you write is as a means to and end, sure. Inevitable. If you pursue it as a craft then the struggle and imperfections are part of the process. LLM usage would sa…

Oh, hey -- you're that guy. I learned a lot of what I know about TLA from your writings ^_^ Consider my behavior changed. I thought the "high school math" was an encouraging way to…

I find the same. Even those who are interested in it in theory hit a pretty unforgiving wall when they try to put it in practice. Learning TLA+ is way harder than leaning another p…

Fictional, but it captures something about work and life in that unique way that art is supposed to. One of my favorite scenes: Peggy: "You never say thank you!" Don: "That's what …

FWIW, even with the "simple explanation," I'll echo OP's statement that the README doesn't really explain what it is or what it's solving. "Generates new versions of the structures…

The new 10x engineering is writing "please don't write bugs" in a markdown file.