You are viewing archived messages.
Go here to search the history.

Mariano Guerra 2023-01-12 09:18:56

Unison Cloud is looking for beta users, fill out this short questionaire if interested

Unison Cloud offers a managed pool of cloud-based Unison nodes that can execute distributed computations. There's no separate packaging or deployment step. To use it, just call a function, passing it the distributed computation you want to run. For instance, the below example forks two parallel computations on randomly chosen locations in the default pool. Calling cloud.run will serialize this computation, sync any missing dependencies on the fly, and run it in the cloud.

main = do

r = cloud.run do

t1 = Remote.forkAt !pool.default '(1 + 1)

t2 = Remote.forkAt !pool.default '(2 + 2)

Remote.await t1 + Remote.await t2

printLine ("Result was: " ++ Nat.toText r)

The current unison.cloud API is tailored for batch computations (as in Hadoop or Spark or miscellaneous ETL jobs), but we plan to add support for launching async background jobs, recurring or scheduled jobs, resilient long-running workflows (as in Temporal), and autoscaled resilient microservices .

We'd like to work with folks who have ideas for use cases in any of these areas and who are willing to work with us on some pilot project using Unison and Unison Cloud.

Christopher Shank 2023-01-12 16:31:52

An online IDE for visual programming in Prolog

github.com/toblotron/praxis-ide

Jason Morris 2023-01-12 19:47:36

I'm currently working on adding lists to my blockly-based IDE for s(CASP). But it restricts people to unary and binary predicates, so it's not applicable to a real Prolog language, yet. I keep thinking it might be worth building a block language for generic prologs, if I could come up with a decent way of letting the user generate n-ary predicates. Seeing any uptake on Praxis?

Kartik Agaram 2023-01-13 03:45:02

Nice use cases and solutions for adding just a tiny amount of visual notation to mostly text programs.

youtube.com/watch?v=8htgAxJuK5c

blog.visr.pl/posts/intro

Jarno Montonen 2023-01-13 07:41:37

Very interesting stuff. Have been thinking about something like this my self as well. The author has another interesting video. The interesting stuff starts at this timestamp: youtu.be/l0GfMs82PvU?t=1421

Andreas S. 2023-01-13 09:04:23

Hello ๐Ÿ‘‹ everyone. I came across this nice looking thing. mntre.com/media/reform_md/2020-05-08-the-much-more-personal-computer.html anyone tried something like this? Some experiences to share?

Kartik Agaram 2023-01-13 15:42:55

I follow this project on Mastodon, but haven't been able to justify a new device in the last couple of years..

Jack Rusher 2023-01-14 08:44:57

I really like the spirit of the project, but have no direct experience with the gear. (And, like Kartik Agaram, am not in the market for a laptop atm).

Ivan Reese 2023-01-14 23:42:26

Not sure if this work by Yasuyuki Maeda has been shared here before, but it has a ~delightful~ aesthetic.

youtube.com/watch?v=RuU0HI-paik