SilasX

52 ms·

511.
by SilasX 3y ago
So you just moved the goalposts from "this is new and unique to the recent wave of Silicon Valley bullshitters" to "well, this started in the industrial era"?
512.
by SilasX 3y ago
SBF likewise claimed he had investors lined up to save FTX and depositors, right when he was forced to declare bankruptcy. https://www.nytimes.com/2022/11/29/technology/sam-bankman-fr... Earlier comment:
513.
by SilasX 3y ago
But ... he's already had his bail revoked and is in jail for the trial.
514.
by SilasX 3y ago
I find landscape easier to use on mobile. I don’t get the hate for it.
515.
by SilasX 3y ago
But ... we did, and do. It's called HTML. It allows you to send back structured data in a client-agnostic way. It's just that it got bastardized to the point that people will send the data in a way that only certain clients can in
516.
by SilasX 3y ago
I said that they're fine -- which they are -- not that they do every feature the best possible way. In any case where the initial rendering is bad, it's trivially fixable with your existing browser affordances. On HN, yes, the arr
517.
by SilasX 3y ago
Or just load a comment closer to that one.
518.
by SilasX 3y ago
Rotate your device to landscape and it's fine. I guess part of the problem is sites training everyone not to do that. (Quora's expert designers will happily throw content into the void of the iPhone's notch on landscape, inve
519.
by SilasX 3y ago
Hacker News, old Reddit. Both work fine on both mobile and desktop. (Reddit started breaking features like double tap to zoom though.) Yes, on a large screen you might have to increase the size. But a mediocre design you can recover from is
520.
by SilasX 3y ago
Well, then I guess you have your answer to this: > Why buy an MBS when you can buy a mortgage pool from Fannie or Freddie directly?
521.
by SilasX 3y ago
>People have been complaining on HN that "houses are too expensive to buy" almost since it started 15 years ago. Yet 65% of Americans currently own their own homes. Yes, because the current set of of homeowners includes people
522.
by SilasX 3y ago
Link to where you would do this?
523.
by SilasX 3y ago
It’s not a “panic” when customers move their money to other banks that can actually afford to pay market rates of interest. Rather, it’s prudent financial management.
524.
by SilasX 3y ago
Everything in this ETF and similar has a floating interest rate: https://www.morningstar.com/etfs/bats/flot/quote Please be careful about overconfidence.
525.
by SilasX 3y ago
So, what's the connection to the article, or Binance, or USD withdrawals? Oh, right, HN no longer does anything about generic soapbox comments that have nothing to do with the article.
526.
by SilasX 3y ago
Yes, the latter. It’s an inconvenience in that you have to take the stablecoin to some other provider (incurring a blockchain transaction fee) and then sell/redeem it there. Which is annoying since conversion to USD is a core role of a
527.
by SilasX 3y ago
Oh, one more refinement: Surgeons are constantly killing people[1], and every time, it turns out it was because the surgeon disabled a known, recommended safety rail, and whenever anyone points out that they should stop disabling the safety
528.
by SilasX 3y ago
Hm one answer mentions some of Euclid’s proofs, but I think you could add that there were also false/widely accepted proofs that his Fifth Postulate could be deduced from the others and was therefore redundant. IIRC, such proofs made s
529.
by SilasX 3y ago
>The criticism is that cryptoassets do not, in practice, have the censorship resistance they are billed as having. Correct: when you have assets in the traditional financial system, you don't have censorship resistance, which everyo
530.
by SilasX 3y ago
But this thing happened in the conventional financial system, which is not billed as having those properties, so no, it's not a legitimate criticism.
531.
by SilasX 3y ago
I think the parent was making a coy reference to the TV show Arrested Development, how it has a couple with the confused belief that the state can't prosecute both a husband and wife for the same crime[1]. In any case, in the US, the a
532.
by SilasX 3y ago
Can we stop with this kind of low-effort snipe on cryptocurrency exchange topics? Yes, if you run a crypto exchange, you have to interface between crypto and the conventional financial markets. So yes, you at times have to hold money with o
533.
by SilasX 3y ago
>Every type system is a system of logic (and vice-versa.) * So, if you have a System F, you can build a Haskell. * If you have affine logic, you can make Rust. That seems to be different from CHI, which asserts a correspondence between p
534.
by SilasX 3y ago
>CHI is just the observation that some logical steps in proofs behave as similar steps in programs. It would have to be all , not just some, or it's not an isomorphism (or there are caveats about function purity I mentioned before)
535.
by SilasX 3y ago
> But if you can endow your Int -> Boolean function with a proof that it computes some property you actually care about, that's more likely to be helpful. Agreed, but that's beyond the scope of what's asserted with CHI,
536.
by SilasX 3y ago
So the only way for an explanation not to be accessible is to not provide it? Okay.
537.
by SilasX 3y ago
Under that constraint, what wouldn't count as an accessible exposition?
538.
by SilasX 3y ago
Okay. Today I'll be the idiot. I don't get it. Or rather, I don't get the significance of the Curry-Howard Isomorphism. Questions: 1) Is there an example of a proof and its corresponding program that makes you say "whoa,
539.
by SilasX 3y ago
I made an earlier comment explaining it as SBF coming to believe that his tricks kept working so consistently that he regarded them as some kind of fundamental aspect of reality, that he could always find another investor to give him a repr
540.
by SilasX 3y ago
I appreciate the background, but I'm not aware of any usage of "X a la Y" that implies "Y is the first ever instance of X".

More ›