Viewing profile — jcburnham

> Betteridge's law of headlines is an adage that states: "Any headline that ends in a question mark can be answered by the word no." https://en.m.wikipedia.org/wiki/Betteridge%27s_…

> tracking down the entity that is paying cash Cash is what the illegal drug trade runs on, and governments are generally very bad at preventing that. One interesting data-point ab…

I'm suggesting that a large part of the phenomenon you're describing as "garbage that exploits people" is caused by the asymmetry of information found in new market technologies, a…

I think many people here simply don't understand how the past century of corrupt governments in Argentina, on both the right and the left, have ruined the economy of that country: …

Of course you can use SWIFT, at the cost of bank fees, opaque exchange rates and waiting a week. You could also take a briefcase full of cash on a plane. Whereas with crypto, you g…

Yes, you could do that if the payment volume was high and bidirectional. It doesn't work at all for a company that occasionally has to pay someone in Brazil, but has no revenue or …

> They were fed stories > They got fomo and bought in. But the key factor is that they were they fed stories via a new information medium: The Internet. And the Internet is also wh…

Tether and Bitfinex are certainly highly dubious and I would not at all be surprised if what they've done rises to the level of fraud. So far they have remained mostly out of the c…

Yeah, and like I said, that's a lazy answer, because it raises the question "Why, actually, was there demand for beanie babies?" It was actually a really complex and fascinating ph…

> The argument presented is very reasonable and requires a rebuttal. > The other comments on this thread are worthless and just shilling crypto. Let me try to present a rebuttal wh…

I'm glad you brought up Wise! I love Wise and use it frequently. However, there are some jurisdictions it simply doesn't work for. For example, there is currently no way for a US c…

> Given that cryptocurrencies don’t produce anything of material value I've read this "crypto has no use-case" meme a lot recently, and it's always perplexed me. Crypto is clearly …

It's the name of the protagonist from science fiction novel Diaspora by Greg Egan, which is where the quote at the top of the README is from. > In the Truth Mines, though, the tags…

There's definitely some similarities to ATS conceptually, but not that much in the actual implementation, and definitely not in the syntax. That said, Hongwei Xi is a genius, and A…

Sure, so I do use petgraph for actually visualizing the lambda DAG graphs, since it's got a very nice graphviz integration: https://github.com/yatima-inc/yatima/blob/059b0abccd0ca5…

> I find it hard to reconcile these goals with the language you created: Monads, applicatives etc You know, I've never understood the the "Monad is hard" meme. Monad isn't hard. Fu…

Our standard library is here! https://github.com/yatima-inc/introit

"vaporware" is a pretty harsh accusation for a project that has: - A performant lazy functional runtime with sharing implemented from scratch in Rust - A dependent type system with…

Come join our matrix channel! #yatima:matrix.org https://matrix.to/#/!bBgWgXJqeKuDuiUYWN:matrix.org?via=matri...

I didn't claim that we have solved or will solve the diversity problem, but I did articulate in the README a few ways that I thought Yatima might contribute. I also don't agree wit…

I think the same problems manifest in math, but to a different degree and in a different way. We do have some expectation of universal mathematics literacy, or at least math is a r…

I wasn't talking about C--, more about how GHC essentially exposes C libs for its primitives. Also want to clarify that Yatima doesn't compile to Rust either. The comparison to Has…

Absolutely accepting contributions, come join our matrix channel: #yatima:matrix.org https://matrix.to/#/!bBgWgXJqeKuDuiUYWN:matrix.org?via=matri... This issue (on improving the te…

Sure, if you consider Haskell's runtime (I know that technically GHC /= Haskell, but in practice it's the only Haskell that matters, except maybe something like Asterius) all the p…