pchiusano

7 ms·

1.
Stop Programming in Markdown(structural.chat)
5 points by pchiusano 3mo ago|0 comments
2.
Computational Conversations: beyond static UIs and chatbots(computational.chat)
4 points by pchiusano 6mo ago|1 comments
3.
by pchiusano 10mo ago
Use Unison Share, it's great for all that! https://share.unison-lang.org/ It's open source, you can create a free account with GitHub OAuth, and you can push projects there and collaborate on them, open PRs, publi
4.
by pchiusano 10mo ago
Thanks for this report. The tooling takes a little getting used to but it’s extremely powerful. Here are a few benefits you’ll see - UCM keeps a perfect incremental compilation cache as part of its codebase format, so you’re generally never
5.
by pchiusano 10mo ago
Thanks! I am not 100% sure the origin of the idea but I do remember being influenced by git and Nix. Basically "what if we took git but gave individual definitions a hash, rather than whole working trees?" Then later I learned tha
6.
by pchiusano 10mo ago
You can gradually adopt Unison, it's not all or nothing. It's true that when programming in Unison, you use Unison's tooling (which is seriously one of the best things about it), but there are lightweight ways of integrating
7.
by pchiusano 10mo ago
Mobile or browser clients talk to a Unison backend services over HTTP, similar to any other language. Nothing fancy there.[1] > sending code over the network to be executed elsewhere feels like a security risk to me? I left out many deta
8.
by pchiusano 10mo ago
That depends. What are you wanting to accomplish more broadly with the integration? I'll mention a couple things that might be relevant - you could have the git repo reference a branch or an immutable namespace hash on Unison Share. An
9.
by pchiusano 10mo ago
Unison code is published on https://share.unison-lang.org/ which is itself open source (it's a Haskell + postgres app), as is the language and its tooling. You can use Unison like any other open source general-purpose
10.
by pchiusano 10mo ago
We do have an FFI now! https://github.com/unisonweb/unison/pull/6008 It's very recent and we'll be adding more types to it soon, this first PR was just focused on the core machinery. This is in the
11.
by pchiusano 10mo ago
Yes, we have a way of hashing literally all values in the language, including arbitrary data types, functions, continuations, etc. For instance, here, I'm hashing a lambda function:[1] > crypto.hash Sha3_256 (x -> x + 1)
12.
by pchiusano 10mo ago
Erlang is great and was one inspiration for Unison. And a long time ago, I got a chance to show Joe Armstrong an early version of Unison. He liked the idea and was very encouraging. I remember that meant a lot to me at the time since he&#x2
13.
by pchiusano 10mo ago
https://www.unison-lang.org/docs/the-big-idea/ might be a good starting point! For interesting usage - we built Unison Cloud (a distributed computing platform) with the Unison language and also more recently an &q
14.
by pchiusano 10mo ago
Also, hi, I'm one of the language creators, feel free to ask any questions here!
15.
Unison 1.0(unison-lang.org)
289 points by pchiusano 10mo ago|95 comments
16.
by pchiusano 1y ago
The Unison language supports algebraic effects and optimizes handlers that call their continuation at most once in tail position (we call these "affine"), so you can have the best of both worlds. Some links at the end if you'
17.
Adaptive Service Graph Compression(youtube.com)
1 points by pchiusano 2y ago|0 comments
18.
by pchiusano 2y ago
If I understand your question, this would work much the same way as any other language. Suppose you have: allocationPolicy = 23484 -- two usages of allocationPolicy foo = allocationPolicy + 1 bar = allocationPolicy + 99 You th
19.
by pchiusano 2y ago
I know what you mean with those other tools, but this doesn't happen in Unison. The reason those systems are somewhat flaky is that the cache of what's in memory can diverge from the "source of truth" which is a bag of c
20.
by pchiusano 2y ago
Hi there, I'm one of the creators of Unison, feel free to AMA!
21.
by pchiusano 3y ago
The language is open source. See this reply re: self-hosting https://news.ycombinator.com/item?id=39293568
22.
by pchiusano 3y ago
Hi, one of the Unison creators here. We've held off working on FFI until the JIT compiler[1] is completed since FFI is closely connected to the runtime. There's some interesting subtleties with FFI in a distributed programming lan
23.
by pchiusano 3y ago
Thanks for this feedback. We will get there!
24.
by pchiusano 3y ago
No worries! It is true that tech exists that try to make all 3 of those items easier. YMMV, but having used these technologies myself and now having used Unison + Unison Cloud, all I can say is that the Unison experience is quite different
25.
by pchiusano 3y ago
Yes, I think Deno's a decent analogue for what we're doing, though the Unison language provides some additional superpowers that we find essential. The https://www.unison.cloud/our-approach/ post has more det
26.
by pchiusano 3y ago
It definitely is ambitious! A multi-year effort. This post https://www.unison.cloud/our-approach/ talks more about why such radical changes were necessary to achieve what we wanted. (In particular check out the "3
27.
by pchiusano 3y ago
Hi, one of the Unison creators here. The Unison language is open source (MIT licensed) and there's an open source library ecosystem (see https://share.unison-lang.org/ ) like most languages. If you just want to run some
28.
by pchiusano 3y ago
Yes, it is! Of course there's other technologies involved but the core services for our compute fabric and storage layer are pure Unison[1]. A number of open source libraries in the Unison ecosystem were developed via us eating our own
29.
by pchiusano 3y ago
Hi, one of the Unison creators here. We've talked about adding pluggable syntax[1]. It's in principle straightforward (the code is already stored in a database as its abstract syntax tree, not text) and I imagine a future version
30.
by pchiusano 4y ago
You might like these posts on gradient free optimization: http://pchiusano.github.io/2019-07-06/learning-without-a-gra... http://pchiusano.github.io/2020-10-12/learning-without-a-gra... I think yo

More ›