gowld

44 ms·

931.
by gowld 2y ago
The robocar "trolley problem" appears to be real.
932.
by gowld 2y ago
You need to ask a more specific question. https://leanprover-community.github.io/theories/linear_algeb...
933.
by gowld 2y ago
> GPT is probably absolutely useless for high-level math Terence Tao disagrees with you. https://mathstodon.xyz/@tao/110601051375142142
934.
by gowld 2y ago
> German mathematician and Fields Medalist Peter Scholze collaborated in a Lean project—even though he told me he doesn’t know much about computers. > With these formalization projects, not everyone needs to be a programmer. Some peop
935.
by gowld 2y ago
What is a "fragile" proof?
936.
by gowld 2y ago
It's literally the first sentence in the article. "I didn’t know it back then but it all started while I was reading Hacker News in February 2019"
937.
by gowld 2y ago
It's just one article, with 13 pages. There are page-turn buttons, like in a book. You can do it. Bookmark the first page.
938.
by gowld 2y ago
Apple owns the software platform. Can I run my non-Apple Intelligence software on the data in "my" iPhone?
939.
by gowld 2y ago
WWII was not a war "for" genocide. The genocide was not the war. It was a "police" operation against a nearly entirely unarmed enemy. The war was to to stop Germany from expanding past its borders, and also maybe to stop
940.
by gowld 2y ago
Some of it went to paying cash for other businesses https://techcrunch.com/2021/04/05/byjus-acquires-indian-tuto...
941.
by gowld 2y ago
How much value did the founder extract along the way? Forbes reports he still has a large, but now worthless, stake in the company.
942.
by gowld 2y ago
High margin why?
943.
by gowld 2y ago
Is this post/picture available somewhere else than twitter.com ?
944.
by gowld 2y ago
Nearly all of Finance theory is Ethics, but with the vector pointing in the opposite direction.
945.
by gowld 2y ago
Total value of US residential real estate: $47.5 trillion Blackstone AUM: $1T (2% of market) Evictions per year: 7400 * 365 = 2.7M Homes owned by Invitiation: 2.7M / 0.1 = 27M % US Population in Invitation: 27M (x avg househould size
946.
by gowld 2y ago
"supply and demand" is price's effect on supply and demand, not supply and demand's effect on prices. https://www.investopedia.com/terms/l/law-of-supply-demand.as...
947.
by gowld 2y ago
"monopoly/cartel pricing" is a different phenomenon from "supply and demand" It's not market failure, which refers to mutually beneficial transactions not happening. monpoly/cartel power vs competition is
948.
by gowld 2y ago
reblog of paywall article. Orginal has better, clearer information. https://www.404media.co/google-contractor-used-admin-access-... "Google Contractor Used Admin Access to Leak Info From Private Nintendo YouTube Video&
949.
by gowld 2y ago
Doesn't help me if I stop talkng to the LLM, if the police and the military are talking to the LLM.
950.
by gowld 2y ago
"PPNAS", as Andrew Gelman calls it. Research that doesn't use basic statistics correctly.
951.
by gowld 2y ago
Surely that throwaway "computer science" tweet only went viral because lcamtuf was already famous and had a high follower count because of their previous, substantial work.
952.
by gowld 2y ago
That's like saying chemistry has nothing to understand because we know Schrodinger's wave equation. Or that we understand biology and psychology just for for the same reason.
953.
by gowld 2y ago
I wonder if anyone's ever tried to figure out if APIs are copyrightable... https://arstechnica.com/tech-policy/2021/04/how-the-supreme-...
954.
by gowld 2y ago
What's fneascinating is that build -> scale -> maintain is a similar lifecycle to a human: create and pivot quickly with fluid intelligence and high energy at first, then settle into your lane and grow, and then use your accumula
955.
by gowld 2y ago
It's ChatGPT, not ThinkGPT
956.
by gowld 2y ago
That can describe every game in the world. It's a game, a closed world, not real life substistence farming.
957.
by gowld 2y ago
That's terrifying. I don't understand why the design requires Forwarding to work without more explicit consent from the client at use time. (That is, when the middle tier wants to make a connection, it should forward an encrypted
958.
by gowld 2y ago
Mint paid T-Mobile for spectrum. T-Mobile could have raised prices that Mint pays, even if Mint is a competitor.
959.
by gowld 2y ago
The USPS is empowered with a law enforcement branch to defend against attacks on the mail system. The problem is usually that domestic law enforcement is powerless against international crime, which gets laundered by international utilities
960.
by gowld 2y ago
Why don't DNS providers offer anti-malicious-URL protection?

More ›