jcburnham

9 ms·

31.
by jcburnham 5y ago
Totally a fair point. Honestly I'm not sure the Yatima's actually ready for on-boarding language users, as distinct from language contributors, just yet. Like, if you want to hack on a Rust implementation of a functional language
32.
by jcburnham 5y ago
Thanks! We definitely do need to put up more material. This HN post caught us a little unprepared on that front; our focus for the past few months has been on our lambda-DAG reduction system (essentially a Rust implementation of https:&#x2
33.
by jcburnham 5y ago
Type is a builtin currently, with `Type : Type`, which makes the type system unsound. There are a couple ways of addressing that that we've explored, like the standard universe polymorphism hierarchy of `Type 0 : Type 1 : Type 2 ...`,
34.
by jcburnham 5y ago
Fixed, thank you
35.
by jcburnham 5y ago
That makes sense, I'll definitely add a snippet like that to the README once our IO system is finished so you can do a proper side-effecting print of "Hello World" rather than just returning the pure string.
36.
by jcburnham 5y ago
Sure, thanks for the feedback. Our standard library is here: https://github.com/yatima-inc/introit , I'll edit the README to make that more prominent As far as docs and tutorials, we weren't planning on doing
37.
by jcburnham 5y ago
Hi, Yatima co-author here, the intended use case is to write portable, safe and efficient programs using Yatima's advance type-system features (dependent types, substructural types, etc) and WebAssembly runtime. That said, we're s
38.
by jcburnham 5y ago
> types are very complex expressions and they're expressed with the same machinery as arithmetic expressions (femtolisp). This is how it works in Yatima. Since we use self-types and lambda-encodings for our datatypes, all type expre
39.
by jcburnham 5y ago
Hi, Yatima co-author here, this paragraph refers broadly to static dependent types, like in Idris, but I described them as "first-class-types" here because I thought it sounded more accessible. Also, becase at the type-level Yatim
40.
by jcburnham 6y ago
Upsilon is admittedly an "i" sound in Modern Greek, but in Attic Greek (which is what I studied, sorry) it did have the "oo" sound. Edited: I missed the pi and rho completely though, my bad
41.
by jcburnham 6y ago
Especially since if you want to port the title to Greek lettering, you have upsilon and omicron for u and o: αcτυαlly pοrταblε εxεcυταblε
42.
by jcburnham 12y ago
...clearly that's a content type validator. A zing is actually just a chat message. Take a look at the zing type definition in https://github.com/urbit/urbit/blob/master/urb/zod/main/s
43.
by jcburnham 13y ago
In Urbit, 3098282570 is ~lanben-dibnup. ~tomsyt-balsen/try=> `@p`3.098.282.570 ~lanben-dibnup
44.
by jcburnham 13y ago
...the term "gonad" is gender-neutral. http://en.wikipedia.org/wiki/Human_gonad
45.
by jcburnham 13y ago
Yeah... on their own these slides aren't the clearest. More useful for people who've read at least some of the other urbit doc. But that's what you get when you put a linkbait title on some non-linkbait slides...
46.
by jcburnham 13y ago
Yeah... just one of the many many things we haven't gotten around to fixing. Since it doesn't really matter for a jet-propelled function. https://github.com/urbit/urbit/issues/11
47.
by jcburnham 14y ago
It'll happen. http://www.youtube.com/watch?feature=player_embedded&v=h...
48.
by jcburnham 14y ago
Too bad those jobs are going to be replaced by machines.
49.
by jcburnham 14y ago
This is some gerrymandered surveying. Yes, technically Mozilla comes in at #1 in the Internet & Social Media Category, but that category excludes higher-ranking companies such as Amazon (classified as eCommerce), ebay (eCommerce), WebMD
50.
by jcburnham 14y ago
Yes! We call it Historical Analytics. We're waiting till the next release to enable the visualizations, but you can start collecting data now by enabling it.
51.
by jcburnham 14y ago
I'd be delighted to answer your questions: 1. I don't believe that the two documents are in conflict. Our privacy policy states: "When you use any Wolfram|Alpha application associated with a Third-Party Site ("TPS"), including but not limit
52.
by jcburnham 14y ago
No worries, thanks for posting it so quickly!
53.
by jcburnham 14y ago
Unless you enable Historical Analytics, we delete your data after one hour. http://www.wolframalpha.com/fbfaqs.html "I’m concerned about the privacy of my account information. What is done with my Facebook data? We value the trust that ou
54.
by jcburnham 14y ago
Agreed.
55.
by jcburnham 14y ago
Only time it saves anything is if you enable Historical Analytics. http://www.wolframalpha.com/fbfaqs.html "When do you access my Facebook profile? We only access your Facebook profile when you use Wolfram|Alpha Personal Analytics for Fac