dvt

72 ms·

961.
by dvt 4y ago
> Tumblr is still relevant with niche corners of the internet, even if you're unaware. Just like Digg and MySpace, I'm sure.
962.
by dvt 4y ago
Ironically, the entire article could've been a tweet: > Although, to keep things in perspective, Tumblr is still much, much smaller than Twitter. Imagine thinking Tumblr is still relevant, especially when Gas (not to mention TikTok)
963.
by dvt 4y ago
> I do not see how the people of the USA benefit from this arrangement. Because you're shortsighted in your hatred for MBS. MBS can be deposed and hung in a public square (along with the entire royal family) for all I care, but that
964.
by dvt 4y ago
This is a bad take, as it would make diplomacy a very precarious proposition (whereas its entire purpose is to be weak & non-committal). Diplomatic immunity is nothing new and in fact MBS doesn't even assert conduct-based immunity
965.
by dvt 4y ago
DeFi rug pulls were extremely common in the bull market, here's a list[1]. Obviously doing it "next weekend" is going to be much harder given that FTX just collapsed and all of crypto is going to hell in a hand basket. [1] h
966.
by dvt 4y ago
> So the SEC are waiting for slam dunk cases to establish precedent. But this might never happen. I can launch a lending protocol completely anonymously, pump it on Twitter/Telegram, and get 7+ figures TVL overnight. It might not ev
967.
by dvt 4y ago
Maybe someone can explain this to me (not an expert in traditional finance), but how in the world are lending instruments not categorized as securities? Let's say I lend you 10 bucks (and I earn some interest on the money over time T
968.
by dvt 4y ago
Sequoia marked their $150M investment into FTX down to $0 in a letter to LPs[1]. [1] https://twitter.com/sequoia/status/1590522718650499073/photo...
969.
by dvt 4y ago
I fully understand the purported chain of events. But, again: the US does not have jurisdiction over FTX. So why would he "get arrested" in California for embezzlement? He didn't break any US laws. The FTX/Alameda deal w
970.
by dvt 4y ago
You're conflating FTX.us (which is regulated) and operates in the USA, and FTX global (where all this chicanery happened) and is located in the Bahamas. With that said, the SEC is already also investigating any potential links between
971.
by dvt 4y ago
I mean plenty of VCs invested in JUUL which literally gives people cancer; that's probably worse than stealing money from people.
972.
by dvt 4y ago
> This is why I lost complete respect for a16z and hate that crypto-shill Garry Tan will run Y Combinator. Even though I understand this from an ethical standpoint, this is the entire job of venture capital: make a ton of money as fast
973.
by dvt 4y ago
This might be satire, but in case it isn't: there are plenty of very rich people that are very dumb. And plenty of brilliant people that are destitute. This disparity is even moreso skewed in industries like finance, which tends to f
974.
by dvt 4y ago
Not according to the ESA[1], NASA[1], Portugese airspace authorities, or our captain. Or my dad, for that matter, who works for NASA (some of his projects specifically involve space debris cleanup). But thanks for your input, random interne
975.
by dvt 4y ago
My flight from the Canary Islands to Portugal was delayed for ~2 hours because of this. Everyone was a bit on edge and it seems extremely irresponsible, dangerous, and wasteful.
976.
by dvt 4y ago
> easy money policies that were only possible because.. I would push back a bit. First, I think these easy money policies are basically "possible" whenever the Fed mandates them (and the markets simply react accordingly). My po
977.
by dvt 4y ago
> That's the essence of what its dectractors (including myself) call the neoliberal economic model. The impact of "cheap and often undocumented labor from poor countries" is minuscule, especially considering the sectors th
978.
by dvt 4y ago
I don't think he'd sell. At this point, I think it's more of a "crown jewel" for him—like the tech nerd equivalent of owning a baseball or a basketball team.
979.
by dvt 4y ago
> it is always possible to compute BB(k) for a specific and arbitrary k. It is not. There are a few proofs, most notably the fact that you'd have to solve the halting problem to find BB(k) for an arbitrary k. But the more interestin
980.
by dvt 4y ago
> Parents who force their kids to attend churches where leadership will actively talk about the sinfulness of being gay Interesting, some religions think it's sinful to eat pork or seafood or beef, and actively forbid it. Others thi
981.
by dvt 4y ago
> These drugs are like casts for broken bones. Just because you can't see the broken system doesn't make it less physical. They're absolutely not like this. In fact, doctors themselves will tell you we aren't 100% s
982.
by dvt 4y ago
Interestingly, being `0.y.z` as a major released version (e.g. not in development or a release candidate) does seem to break semver[1], but I do realize it's more of a guideline and no one really cares: > Major version X (X.y.z | X
983.
by dvt 4y ago
I mean this only makes sense in a world where everyone uses semantic versioning (and the project doesn't seem to indicate this anywhere). Versioning numbers, per se, don't really have any bearing on application stability.
984.
by dvt 4y ago
> incomplete with respect to the truths of arithmetic This is not at all what it's about. First of all, "incompleteness" has a very specific meaning in logic, namely that the following conditional (what we call "compl
985.
by dvt 4y ago
This wouldn't work because all theorems are trivially extensible. Either by adding extra theorems via conjunction, e.g. my new theorem C = previously-mined theorems {A} ∪ {B}; or by adding garbage to the end, e.g my new theorem C = {A}
986.
by dvt 4y ago
> nowadays Turing Machines are a dime a dozen, and the idea of a "program" is common place I think you may have misconstrued what I meant. From a metamathematical standpoint, leveraging the Halting Problem gives you a lot of st
987.
by dvt 4y ago
You make a good point, and on the other hand you're right that "reasoning about programs" is not a term of art, so who knows what it means. Given how Lean is used in the article, I took it as basically being some kind of Turi
988.
by dvt 4y ago
You get this for free in (2). You couldn't "reason about programs" if F were inconsistent, nor would the halting problem make any sense in an inconsistent system.
989.
by dvt 4y ago
Cool page, though the Halting Problem brings with it a lot of stuff, so using it to prove Godel's first incompleteness theorem is (imo) a bit like cheating. I've proven it before using diagonalization on my blog (but also using
990.
by dvt 4y ago
Totally agree. Google/Bing/etc. are offloading the hard work of sifting through garbage to Wikipedia. That's why the top result is always Wikipedia followed by about 3 pages of listicles and clickbait. Heck, YouTube is linkin

More ›