groby_b

23 ms·

451.
by groby_b 2y ago
I fear that the economics as they are will settle for "worse software, significantly quicker". Not sure formal methods will save us either way. But making it more accessible might just trigger enough people's "I don&#x27
452.
by groby_b 2y ago
Having attended conferences under Chatham House Rule: It's invaluable if the event includes speakers that must maintain a specific public stance - politicians, people in highly visible roles/organizations, etc. There's no top
453.
by groby_b 2y ago
OK, thanks for sharing.
454.
by groby_b 2y ago
This sounds fabulous on paper. Are there any examples of moving unit tests to property tests? Are there examples for proving unreachability? Has anybody successfully managed to explain how this is applicable if you don't have a deep ba
455.
by groby_b 2y ago
I recommend reading the WaPo article that goes along with it: https://www.washingtonpost.com/business/2023/09/28/minoritie... Bloomberg's choosing to misrepresent the data here - this is not about j
456.
by groby_b 2y ago
Unless you are making an argument for personhood, one is a machine, the other is a human. Different standards apply, end of discussion.
457.
by groby_b 2y ago
I was all "did he mean 'convincingly do the Charleston'", and thought that was an odd choice. Then I googled :) But that aside: It's kinda sad a lot of folks don't really learn to dance any more. It's a gr
458.
by groby_b 2y ago
There's just been a twitter post by Omar Khattab (@lateinteraction) on encoding documents into a scoring function instead of a simple vector for the work on ColBERT - and maybe at some point using a DNN as scoring function. So, yes, ma
459.
by groby_b 2y ago
Now how to build a web site that doesn't keep 60% of the screen as whitespace is the next frontier of software. Well, that, and writing articles that aren't mostly content-free.
460.
by groby_b 2y ago
> How did folk medicine come to know the effects of guanidine? Dunno. The same way we know a lot about other things in the chemistry domain - somebody tasted it, just to see what happens. "Mendeleyev's Dream" is a great bo
461.
by groby_b 2y ago
Welcome to medicine and biology. We have no idea how a lot of stuff works (ask an anesthesiologist how anesthesia actually works, if you don't mind being freaked out). We just know it seems to reliably work. This extends all the way to
462.
by groby_b 2y ago
> This is an organizational tool that increases in value as a multi-platform company grows. That sounds impressive enough for the UX sales presentation. Meanwhile, how is it any different from "don't just use numbers, use an ag
463.
by groby_b 2y ago
As if DOGE had any competency at that. Most of their proposals are deeply flawed because they didn't bother to dig into details - not the behavior you want when examining failures.
464.
by groby_b 2y ago
Really, there's nothing but respect for the guy throughout the entire set of threads - maybe take your personal feud with modern front end elsewhere?
465.
by groby_b 2y ago
Good God, no. Pretty much every telescope owner will happily show you the sky - after you've made an effort finding out where they gather, or if you just happen to walk by. The instagrammification of astronomy, with hordes of influence
466.
by groby_b 2y ago
> You want to change energy policies based on the price of power during a few days a year? That is rather short sighted. No, I want energy policies that account for the need to support a reliable base load in all circumstances. The price
467.
by groby_b 2y ago
I guess more coal and gas was "kind of the point"
468.
by groby_b 2y ago
> Is there some expectation that these things won't improve? Sure. But the expectation is quantitative improvement - qualitative improvement has not happened, and is unlikely to happen without major research breakthroughs. LLMs are
469.
by groby_b 2y ago
What was the cost per MWh last week again? No, we're not "doing ok on renewables" And no, it's not "too late to fix that". We have 8 restartable reactors, we don't need to build new ones to do that. (Isar
470.
by groby_b 2y ago
Unless they would like to experience a reverse Anschluss with Russia, yes.
471.
by groby_b 2y ago
Because some people care about low-bandwith users. Or about not being wasteful as a principle.
472.
by groby_b 2y ago
You know what? Yes, I make selfish decisions about my life. So does everybody else. We do not exist to satisfy the needs of other people. The choice behind death is that it's preferable to the alternative. Before we had medically assis
473.
by groby_b 2y ago
>Of course I don’t know all the circumstances around it. And that's the point. The person expressing the wish (and expressing it before the death) did. People make choices. We should let them, wherever possible. Yes, there are conse
474.
by groby_b 2y ago
Given where his body fat and his core body temperature is these days, let's withhold judgment a bit before we crow about "titan sized improvements in GDP". He's running an n=1 experiment well out of established parameter
475.
by groby_b 2y ago
And every high schooler, TedX speaker, and Malcom Gladwell impersonator gets this wrong: It only works if intro and conclusion present a different view on the information, otherwise it's simply boring the audience to death.
476.
by groby_b 2y ago
Except e.g. in Hebrew, you almost certainly have bidirectional text. E.g. numbers in a text still follow LTR. So if you press backspace, you don't always want to delete the text to the right. Now add to that the fact that nobody wants
477.
by groby_b 2y ago
It would cost $1k-$2k per dose because in the US you can just make up a price, and profit is God.
478.
by groby_b 2y ago
This would be a much better article if two things changed: One, skip the scroll gimmick. It's a waste of time and space (and that has been discussed enough) Two, give us examples that live in that supposed wasteland. Without those, it
479.
by groby_b 2y ago
Excellent. I'll stop hiring and kill the roadmap discussion then, since obviously that one morning guy on my team is more important than anything or anybody else. Get a grip. Most managers try to accomodate folks, but core working ho
480.
by groby_b 2y ago
> If you're a morning person managing other people that are not morning people but insist on having daily meetings in the morning, you're an asshole. This of course raises the question why forcing morning meetings on morning pe

More ›