epgui

47 ms·

781.
by epgui 3y ago
Who knows if the way you interpreted these 6 random words is even in line with what the author had in mind though? It so needs fleshing out that it borders on meaningless.
782.
by epgui 3y ago
I’m a biochemist and software engineer, and FWIW I agree with you. This article, in its current form, is nonsense.
783.
by epgui 3y ago
I think you have an off-by-one error there!
784.
by epgui 3y ago
Bad implementations shouldn’t prevent you from toying with an idea in theory in your head. That’s just a failure of the imagination (in many cases).
785.
by epgui 3y ago
> If we're going to arbitrarily require a competence test for all voters under 25, then I say we should also mandate a competence test for all voters over age 65 I would agree that this is a prima facie good idea. I would say that i
786.
by epgui 3y ago
I don’t know anything about the proposal or the person, but on its own, this seems like a prima facie great idea to me (in theory).
787.
by epgui 3y ago
Even if you knew you only wanted to produce black and white images, a product like this introduces non-obvious tradeoffs. A colour sensor captures more information, and you can use a near infinite number of different functions to map to gre
788.
by epgui 3y ago
You’re not going to go very far with a 800px poster… Maybe a fridge magnet.
789.
by epgui 3y ago
That’s very optimistic!
790.
by epgui 3y ago
Uhh no… Almost by definition, science encompasses all (valid) methods for getting knowledge.
791.
by epgui 3y ago
Working 12 hour days is not that big a deal on its own…
792.
by epgui 3y ago
I made the same comment as you in response to parent commenter (now deleted)... But then I looked at some definitions of "social construct" and it seems to have broader semantics than I had thought.
793.
by epgui 3y ago
I agree very much with you... but it seems to me like theorem provers / computers can be a really helpful tool in building trust and understanding between people or between groups of people, in ways that printed paper can't quite
794.
by epgui 3y ago
> A proof in Lean is a quite strong guarantee, you'd basically have to have a bug in Lean's core for it to be wrong That, or an error in the specification (ie.: not the implementation). (I very much am with you that his attitud
795.
by epgui 3y ago
I mean... you can abuse language and math notation in ways that you can't do for computer code. Math notation is actually terribly and surprisingly informal compared to code. I'd just argue that many[*] of these "social disag
796.
by epgui 3y ago
A lot of this information is quite simply non-public, but again it's besides the point. We're talking about employee ownership as a business model at a high level, and you're complaining that the specific terms (which you hav
797.
by epgui 3y ago
I'm not sure what you're trying to say or how it's relevant to the question. I work for Teamshares, and while not everything about the company is public, what we do is buy small local companies when their owners retire, and t
798.
by epgui 3y ago
I think people need to have a more reasonable expectation of what is knowable. It's very much against human nature to accept uncertainty, but here it's the adult thing to do. Currently the best working hypothesis is the natural or
799.
by epgui 3y ago
teamshares.com
800.
by epgui 3y ago
Answer: yes. It’s what teamshares.com does.
801.
by epgui 3y ago
You can’t see countries under a microscope either, but that doesn’t mean countries are magic.
802.
by epgui 3y ago
There is such a thing. But just because it has "law" in the name doesn't mean it's at all the same kind of thing as the "law" we usually think about. Call it "international common ground" if it makes
803.
by epgui 3y ago
> many others consider what she did no different than a ponzi scheme I can interpret this in many different ways. Maybe they mean "no different than" in the sense of "no better than", ie.: as a moral or value judgment
804.
by epgui 3y ago
I believe that may be correct, although in practice there is often/usually/historically-always (?) deception involved, because presumably no morally competent adult would willingly give their money to an honest Ponzi unless they k
805.
by epgui 3y ago
My last 3 employers. They exist! I probably reject 99% of all recruiters that reach out.
806.
by epgui 3y ago
I usually just tell recruiters I won't even consider interviewing unless they can tell me up-front that salaries are not negotiated and are systematically the same for all employees in the same seniority ranks. I feel like these compan
807.
by epgui 3y ago
> Monads aren't found everywhere in code. I completely disagree... The distinction is simply that they're usually ad-hoc and not formalized, mainly because the author didn't know what they were writing and was reinventing
808.
by epgui 3y ago
Yes, but that's only superficially similar to a Ponzi scheme. They're just not Ponzi schemes.
809.
by epgui 3y ago
In practice and in effect, it's more like a lightweight IPO that skirts around the rules meant to protect investors. Like an IPO, but way riskier. Technically there is a merger that does happen, but... it really is a technicality.
810.
by epgui 3y ago
Much needed perspective! (it's still not a great track record, but it feels more proportional)

More ›