jcburnham

7 ms·

1.
Lurk: A programming language for recursive ZK-SNARKs(filecoin.io)
9 points by jcburnham 4y ago|0 comments
2.
by jcburnham 5y ago
> 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_law_of_headli...
3.
by jcburnham 5y ago
> 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 about Argentina is that currently about 8% of all physical
4.
by jcburnham 5y ago
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, and that as those technologies mature, th
5.
by jcburnham 5y ago
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: https://english.elpais.com/usa/202
6.
by jcburnham 5y ago
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 get transparent fees/rates, transaction confirmation in
7.
by jcburnham 5y ago
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 presence in Brazil.
8.
by jcburnham 5y ago
> 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 where beanie babies could be bought (via ty.com) and res
9.
by jcburnham 5y ago
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 courts, but there's a wonderful quote by @patio11:
10.
by jcburnham 5y ago
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 phenomenon (I recommend https://ww
11.
by jcburnham 5y ago
> 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 which hopefully you will not dismiss as a "shill&qu
12.
by jcburnham 5y ago
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 company to use Wise Business to pay a Brazilian con
13.
by jcburnham 5y ago
> 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 the easiest way to do international p
14.
by jcburnham 5y ago
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 weren't just references; they included complet
15.
by jcburnham 5y ago
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 ATS is one of the most important and innovative langua
16.
by jcburnham 5y ago
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/059b0abccd0ca54b9a... . You can see th
17.
by jcburnham 5y ago
> 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. Functor is hard. Like, really hard, esp
18.
by jcburnham 5y ago
Our standard library is here! https://github.com/yatima-inc/introit
19.
by jcburnham 5y ago
"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 substructural types - Parsing, tooling, a standar
20.
by jcburnham 5y ago
Come join our matrix channel! #yatima:matrix.org https://matrix.to/#/!bBgWgXJqeKuDuiUYWN:matrix.org?via=matri...
21.
by jcburnham 5y ago
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 with your characterization of Haskell, Rust and OCaml
22.
by jcburnham 5y ago
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 required subject in most schools around the world. But I don&
23.
by jcburnham 5y ago
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 Haskell/C was an imperfect analogy, I was just t
24.
by jcburnham 5y ago
Absolutely accepting contributions, come join our matrix channel: #yatima:matrix.org https://matrix.to/#/!bBgWgXJqeKuDuiUYWN:matrix.org?via=matri... This issue (on improving the test-suite) is a particularly good start
25.
by jcburnham 5y ago
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 primitives are backed by C libraries: https:
26.
by jcburnham 5y ago
Thanks for the support! I appreciate the difference of opinion here, but for me the "diversity shtick" isn't a shtick. It's a core reason of why I'm doing this project. Our field has big problem: Nearly everyone on
27.
by jcburnham 5y ago
Thank you!
28.
by jcburnham 5y ago
I would dearly love to make Yatima a usable theorem prover, and Lean has been a huge inspiration particularly regarding syntax. But building a usable theorem prover is a huge project, and at minimum will require substantial work on our theo
29.
by jcburnham 5y ago
Oh, yeah, I didn't even mention this on my other comment, haha. Rust doesn't have dependent-types (except outside of a few niche places like const-generics) and only limited/non-user-exposed sub-structural types. There's
30.
by jcburnham 5y ago
So, I love Rust immensely, but it's a totally different style of programming than a functional language like Haskell. For example, Rust closures are absolutely not the same as pure functions, and if you try to use them that way you&#x2

More ›