Next level technology!

🔥🔥🔥

Nice and concise explanation of how we should think less about our implementation. Parametricity at its finest 🔥🔥🔥

Very cool!

I found the captions distracting, but this was cool!

Legendary 🎉

please share the code

You guys are the next generation of Erlang “hello Runar” from “hello Mike” ❤

great stuff! I was thinking about how to implement `chunkWithTimeout` but I think the stateful loop is only woken up by a new input, so this would require adding some kind of sum type as the input type, saying `HearthBeet Time | Activity a`, and yield the buffer if Time is big enough?

Loving this new style!

How do you think about cross-tenancy calls? IIRC, this model assumes everyone is in the same codebase and compute fabric. Something like Share brings the code to the caller, which is great for efficiency, but not great for IP protection. Do you essentially just use the Unison proxy for cross-tenancy situations (and just use Unison on both sides)? That gives you essentially the same network and code/data privacy isolation we have today. Or do you see a world where things go the other direction: Tenancy A's application code moves toward Tenancy B's data (essentially in B's enclave), where it can do arbitrary computation on it, and then some data policy (also defined in Unison) allows some data to make it back to Tenancy A?

awwe man ive had the exact same experience… except i went too deep and started implementing all sorts of custom yaml tags and macros… i never needed any clearer evidence of my own self-hatred…

I understand when you say that some callers bring code to execute locally (thereby improving latency), but that only makes sense for stateless code-which can be solved by using libraries. What about stateful or persistence-related code, which (I guess) tends to account for most of the headaches?

Unison would be great with a JS Transpiler/Interop! Love the work, keep it up!

Cool!

It's cool to see some Unison in action. I know I personally have a little bit of friction when I'm using Unison and want to jump between functions _very_ quickly. Seems like the flow is the same relatively unchanging scratch file with the entire project in it, and then 'view'ing other definitions in the terminal. Maybe one day the LSP would include some sort of jump-to-definition support through ucm to make 'edit'ing many functions a little easier. I appreciated the little editing cuts here and there, and the playful overlays. Would be nice to have a higher resolution for the screenshare, as it's a little blurry. Thank you both for putting this out!

amazing spotlight - great abstraction and functionality these orderators! ( the long format educational / two pair programming sessions work also for library authors :) [ content producing wise, the exponential curve in complexity from stream, via skip-ahead to orderator ability fits a 1hr format perfectly :] { you're a great library writer paul - and you a great educator rebecca - thx both <3

Pls make the code font at least as big as the terminal(for youtube the bigger the better actually ^_^ ) The editing with Big text appears against the face is great btw!

great spotlight - unison really starts to come together - incl. teaching material and abilities <3 ( like these long format interview / two pair programming sessions :) [ im very excited - thank you for this :]

How does unison handle the memory limit, if a crdt map has more data than the system can handle

Very nice to see your thoughts expressed in code. I would have made a difference between the state of the `Server` that is responsible between orchestrating games and the state of individual `Game`s. I like to be exposed to a approach

noice! My dream would be to see some datalog stuff on top of this :)

impressive

Amazing! 🤩

you're an excellent teacher rúnar - these short all encompassing tutorials fit your style afaic <3 ( thank you :)

Seems pretty easy to do, neat!

I only follow the unison on/off so i might be completly off on that one. Is this unison answer to not having stable ABI ? As far as I understand, changing the hash of a function would change the hash of every "syntax tree" using it; so making any change to a library would change the hash of the function part of the ABI. So are there "auto @rewrite generator" that take the old hash and convert it to the new ? Or is the editor runtime smart enough to update matching function ?

That's a great tool!

That so Cool !! Thanks for keeping the good work years after years !

This is neat! I think it's a fun way of taking advantage of Unison's whole thing. Makes me wonder what other cool things could be done.

Awesome!

Please zoom in the text

That is awesome!!

that is pretty slick

Great stuff. Thanks

Very interesting core set of ideas and a bunch of smart people. The happy-go-luckiness and the “uhh” every six seconds - not only here but quite commonly distributed (pun) - is indicative of a certain naïveté that might become a hindrance to making this glorious promise Real (tm). Compare with the Scala 3 and cross-platform initiatives, where there is a certain formal foundation that provides a skid foundation to alter the development ecosystem.

Great talk!

Unison can be used to make a ray-tracer?

What language is thuis?

Would be cool to hear about the API client too, as a newbie trying to do the AoC too!

Is the first part of this available?

I kept getting the error: I couldn't resolve any of these symbols: 2 | hello.hello : Text I realized there was a version mismatch. I installed unison via nix, and got unison release M4a I was able to resolve the issue by running: > pull unison.public.base.latest lib.base It seems like in the Milestone 4 - the standard library isn't included 🤷‍♂. Not sure if this is exactly the change. Hope this is helpful to a future person 😄

After `cd exercism.HelloWorld` you need to do `fork .base lib.base` to copy base to the HelloWorld's lib namespace. Otherwise nothing works.

Show unison some love ❤️

Phenomenal primer on how these algebraic structures are useful in distributed systems.

Link to slides: aesakamar.github.io/DistributedDataStructuresAlgebraically

First to comment here 🔥🔥🔥 Such an honour