BeetleB

11 ms·

211.
by BeetleB 2mo ago
Ha! I've encountered many Romanians where I live (in all walks of society). I used to always point out I'd seen the movie (Mihai Viteazul).[1] It never built any kind of connection with them. Years later, I found out that most R
212.
by BeetleB 2mo ago
> People will just put up the formally verified result and call it a day, and there's no incentive for them or anyone else to clean things up. The incentive will be to be able to publish in a top tier journal. I suspect what Tao is
213.
by BeetleB 2mo ago
> I don't understand why people are so fixated on the minds doing the mathematics being made out of meat. I don't follow - are you surprised that mathematicians have social rules on how they interact with others? You're de
214.
by BeetleB 2mo ago
The essay On Proof and Progress in Mathematics by a Field's medalist is worth reading: https://arxiv.org/abs/math/9404236 He wrote it in 1994. He writes about how he almost "destroyed" a subdiscip
215.
by BeetleB 2mo ago
Payments is quite hard, actually. Payment platforms existed for years before Stripe came along. They solved the problems the others couldn't.
216.
by BeetleB 2mo ago
They have enough customers to have leverage against providers. As an example, if they decide they can be "punished" if they claim ZDR but lie about it.
217.
by BeetleB 2mo ago
They charge a premium of 10%. I would imagine that's a lot of revenue.
218.
by BeetleB 2mo ago
OK, but what about the step counter. Can it really last 2 years with the step counter continuously on?
219.
by BeetleB 2mo ago
This is a survey of 20,000 health care workers in one organization. I doubt that that many of them are senior.
220.
by BeetleB 2mo ago
I was about to ask that - I somehow doubt it will last 2 years if you keep the step counter + Bluetooth on.
221.
by BeetleB 2mo ago
"He discussed the workflow for splitting a Git commit, which involves seven separate commands with Git's current UI. Most users do not know how to do this, he said. The goal is to add several ""opinionated subcommands&qu
222.
by BeetleB 2mo ago
> Many, many people have crappy relationships with their daughters. Outsourcing meals includes eating out or buying for take out. According to your standards, pretty much every dad sucks. > Put yourself in the pov of the daughter - “d
223.
by BeetleB 2mo ago
> ordering food delivery, Before Grubhub, did you feel that way about pizza delivery? > are in fact damaged by people buying everything online You enjoyed ordering from mail order catalogs? Reality check: Before online shopping became
224.
by BeetleB 2mo ago
And the person you are replying to answered it. Many, many people outsource things like meal prep.
225.
by BeetleB 2mo ago
It's wild seeing so many comments about updating every 1-2 years. When I build a PC, I pay a little extra because I want it to last a long time. I aim for 5 years, and in reality it usually ends up 7 years (life happens, need the money
226.
by BeetleB 2mo ago
Before I became a SW engineer, I've worked in such teams (you "own" the quality, but they want you to do it so quickly that you can't really own it). I left. I will always recommend finding a new job when you have dishon
227.
by BeetleB 2mo ago
Your comment reminds me of a (single) friend who talked about how he doesn't use dishwashers because he finds the motions of washing them by hand therapeutic. That's because he rarely cooked, and ate out often. When you get marrie
228.
by BeetleB 2mo ago
You need compliance to install jj?
229.
by BeetleB 2mo ago
You don't need --interactive. It is interactive by default.
230.
by BeetleB 2mo ago
I think this is harsh criticism. It's because not many people use SO any more. One of SO's selling points was that outdated answers get replaced with the more modern, better ones - and it worked for many, many years.
231.
by BeetleB 2mo ago
Is this yet another case of git improving its UI due to jujutsu? (This is exactly how jj does it.) If you like this kind of convenient CLI command, I would seriously recommend giving jj a try. To give you an idea, I never bothered splitting
232.
by BeetleB 2mo ago
Again: I'm failing to see how this is different from pre-LLM days. If you have coworkers who are sloppy in reviewing, then you would have been a bottleneck compared to them back then as well. Do you not have team meetings with the mana
233.
by BeetleB 2mo ago
> Your bosses don't want you actually reviewing it anyway. They want you to approve the PR. Just give them what they want. Then remove the whole process and let it go through automatically. I've worked in high trust teams where
234.
by BeetleB 2mo ago
> I recommend this great book, blog or whatever is completely fine in the middle of the conversation. Please reread my comments. That's not the scenario I was discussing.
235.
by BeetleB 2mo ago
> There's a difference between shelves in A Store and shelves in The Store. > Amazon can - and does - do whatever it wants with no consequences. 20+ years ago the exact same accusations were leveled against Walmart. I still don&#
236.
by BeetleB 2mo ago
> Fair, but how easy is it to in that case mistakenly read it like that? I had no trouble parsing it, but then again, I'm used to people whining about how they're getting screwed because their employer made so $1M/employee
237.
by BeetleB 2mo ago
He's not saying they get the $35K bonus.
238.
by BeetleB 2mo ago
I'm having trouble understanding how this differs from traditional ads - even pre-Internet...? Didn't manufacturers pay to get premium shelf space in a store?
239.
by BeetleB 2mo ago
The bottleneck existed before LLMs. Amdahl's Law applies. Just because code can be produced 10x faster doesn't mean much if other parts of the flow can't be sped up. As I said here and elsewhere: If management is concerned co
240.
by BeetleB 2mo ago
Many do as you, and I completely endorse this usage. Unfortunately, too many of us here make the giant leap of "If it went through the LLM, the original person was too lazy."

More ›