senko

10 ms·

151.
by senko 6mo ago
All good points here (and yeah I didn't add /s, hopefully "now you know!" was sufficiently obvious over-the-top). All that said, in most orgs I've worked with, they were following agile processes over agile principl
152.
by senko 6mo ago
I think most of us are ending up with a similar workflow. Mine is: 1) discuss the thing with an agent; 2) iterate on a plan until i'm happy (reviewing carefully); 3) write down the spec; 4) implement (tests first); 5) manually verify t
153.
by senko 6mo ago
Did you know that agile is just waterfall scaled down to two weeks? Now you know!
154.
by senko 6mo ago
>> He didn’t say that. > Actually he did, or something very close to it. Yeah, the "something very close to it" is what I quoted. And I'll repeat: distinction matters. > don't think you are going to get linea
155.
by senko 6mo ago
Cumulative total number of deaths from Chernobyl, definitively the worst nuclear disaster in history, ranges from 4000 to 16000 (estimates, via Wikipedia). A dam bursting upstream of a few small towns will kill many more[0]. Do not underest
156.
by senko 6mo ago
I've had an AI assistant send me email digests with local news, and another watching a cron job, analyzing the logs and sending me reports if there's any problem. I'd say that counts as yes. (For clarity: neither are powered
157.
by senko 6mo ago
> what a horrendous insecurity nuclear power plants are. A direct missile attack on one could be catastrophic The same holds for hydro. Even worse, there would be no time for evacuation. Yet nobody is considering banning dams.
158.
by senko 6mo ago
As another comment[0] asked: > Hmmm, what would I do if giving up the right to veto hinged on my veto power? If you're like most politicians, you would do what most politicians do - bargain. For example: agree on veto removal but k
159.
by senko 6mo ago
> If you’ve never read Fred Brooks, I’d recommend it. The aphorism is a bit dated but rings true: you can’t add another developer and make the process go faster. He didn’t say that. He said adding developers to a late project makes it s
160.
by senko 6mo ago
>> Lean 3 was the least bloated theorem prover among Lean, Coq and Agda, and Lean 4 is the most bloated among this Big Three. > Lean is far off the most bloated one. Isabelle most likely takes that spot. Among these three is th
161.
by senko 6mo ago
>> The models are nondeterministic, and therefore it's pretty normal for different runs to give different results. > And how is that an excuse? […] this qualifies as strong evidence… This qualifies as nothing due to how random
162.
by senko 6mo ago
The “red/green TDD” (ie. actual tdd) and mutation testing (which LLMs can help with) are good ways to keep those tests under control. Not gonna help with the test code quality, but at least the tests are going to be relevant.
163.
by senko 6mo ago
I don’t want a scary red message chastising me for not being responsive enough! I often leave CC hanging (or even suspended) and use /resume a lot. I’m okay with that having some negative effect on my token limits. Product design is ha
164.
by senko 6mo ago
> It's not rocket science. Neither is "apt install caddy".
165.
by senko 6mo ago
Well, there's also the "How we saved $10M/mo by actually paying attention to indexes" trope.
166.
by senko 6mo ago
Maybe it's tongue-in-cheek.
167.
by senko 6mo ago
> Subscriptions are the only way to fix piracy. If you're trying to make people cheer for the pirates, you're succeeding.
168.
by senko 6mo ago
If this sounds like basic advice, consider there are a lot of people out there that believe they have to start with serverless, kubernetes, fleets of servers, planet-scale databases, multi-zone high-availability setups, and many other &quot
169.
by senko 6mo ago
I believe everyone has a different strategy for this, so here’s mine in case it’s useful to someone: I noticed that when I procrastinate, it still weighs on my mind, often more (cumulatively over time) than the actual discomfort of doing th
170.
by senko 6mo ago
> Expected no less from Torvalds This was written by Sasha Levin referencing a Linux maintainers’ discussion.
171.
by senko 6mo ago
Care to write it up somewhere? Would be a fascinating read!
172.
by senko 7mo ago
From TTT: > Magnus Carlsen, co-founder of Take Take Take, will not be actively promoting the platform at launch. With Take Take Take now offering a full play and learning experience, it enters territory that conflicts with his ambassado
173.
by senko 7mo ago
> you aren't allowed to expose the access to end users, it has to be for internal usage only, > TOS says: access the Site or Service for purposes of reselling API access to AI Models or otherwise developing a competing service;
174.
by senko 7mo ago
Yup! Turns out if you want to have a useful clock it needs to use the social/cultural constructs. This was not at all obvious to me before I started with the project, but now, especially after the discussions here and elsewhere, it loo
175.
by senko 7mo ago
Yeah, as @kogold mentioned in another comment - turns out if you want to make a clock that's usable in daily life, you have to import some cultural norms.
176.
by senko 7mo ago
> LLMs are not there yet with images https://genai-showdown.specr.net/image-editing There's been a lot of progress there, it's just that an LLM that's best for, say coding, isn't going to be also the
177.
by senko 7mo ago
Thank you, appreciate the kind words!
178.
by senko 7mo ago
Do you have a recommendation for a piano/keyboard one?
179.
by senko 7mo ago
Thanks for the kind words and the feedback & suggestions! Yeah I don't think you can get completely free of the cultural assumptions.
180.
by senko 7mo ago
That's cool, thanks for sharing! Does the arc length signify anything? Wasn't able to figure it out, and as far as I can see, it isn't explained.

More ›