Sigmoid Social

izzy<a href="https://gts.tumfatig.net/@joel" class="u-url mention" rel="nofollow noopener" target="_blank">@joel</a> thats not openbsd's fault if you're trying to do large transfers over a slow protocol like <a href="https://ieji.de/tags/ssh" class="mention hashtag" rel="nofollow noopener" target="_blank">#ssh</a>this wouldn't look much different on an alpine linux box hosting openssh and sshfs.you're using sshfs/sftp under the hood w/ <a href="https://ieji.de/tags/unison" class="mention hashtag" rel="nofollow noopener" target="_blank">#unison</a> right?

Joel Carnat ♑ 🤪Yeah… <a href="https://gts.tumfatig.net/tags/openbsd" class="mention hashtag" rel="nofollow noopener" target="_blank">#OpenBSD</a> is slow!Context: synchronizing photos using <a href="https://gts.tumfatig.net/tags/unison" class="mention hashtag" rel="nofollow noopener" target="_blank">#Unison</a> and <a href="https://gts.tumfatig.net/tags/ssh" class="mention hashtag" rel="nofollow noopener" target="_blank">#SSH</a> over Wi-Fi 6 AX211 connection while <a href="https://gts.tumfatig.net/tags/thinkpad" class="mention hashtag" rel="nofollow noopener" target="_blank">#ThinkPad</a> X1 gen10 runs on battery.

TottsThe UK's largest trade union <a href="https://mastodon.online/tags/Unison" class="mention hashtag" rel="nofollow noopener" target="_blank">#Unison</a>, saw its membership jump by 200% in the 10 local authorities won by Reform at last month's local elections.It is obvious why this is but equally it is sad that the working man and the working woman feel they can no longer trust the Labour Party to look after them Xx

Matej CernySuper interesting talk about how <a href="https://fosstodon.org/@unison" class="u-url mention" rel="nofollow noopener" target="_blank">@unison</a> works under the hood and why one wouldn't just use something like Akka Cluster, a bunch of services subscribed to Kafka, or even Spark for distributed computing. <a href="https://witter.cz/tags/unison" class="mention hashtag" rel="nofollow noopener" target="_blank">#unison</a> <a href="https://youtu.be/kK4vGU3iz9Y" rel="nofollow noopener" translate="no" target="_blank">https://youtu.be/kK4vGU3iz9Y</a>

Jennifer Moore 😷Unison campaign for fair pay at Nottingham University Hospitals

Justin du CoeurNice little talk about the <a href="https://social.coop/tags/Unison" class="mention hashtag" rel="nofollow noopener" target="_blank">#Unison</a> <a href="https://social.coop/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#programming</a> language: <a href="https://www.youtube.com/watch?v=cSr3DE5hBiw" rel="nofollow noopener" translate="no" target="_blank">https://www.youtube.com/watch?v=cSr3DE5hBiw</a>This zeroes in on the way that Unison *manages* code (which is extremely unusual), the way that this solves the library version-conflict problems that those of us in the <a href="https://social.coop/tags/JVM" class="mention hashtag" rel="nofollow noopener" target="_blank">#JVM</a> world (including <a href="https://social.coop/tags/Scala" class="mention hashtag" rel="nofollow noopener" target="_blank">#Scala</a>) are painfully used to, and winds up making distributed programming almost weirdly easy.If you don't already know Unison, it's worth a watch: it's very neat stuff.

harryprayiv2 votes for <a href="https://mastodon.social/tags/agda" class="mention hashtag" rel="nofollow noopener" target="_blank">#agda</a> 1.5 for <a href="https://mastodon.social/tags/unison" class="mention hashtag" rel="nofollow noopener" target="_blank">#unison</a> .5 for <a href="https://mastodon.social/tags/granule" class="mention hashtag" rel="nofollow noopener" target="_blank">#granule</a> 1 for <a href="https://types.pl/@pigworker" class="u-url mention" rel="nofollow noopener" target="_blank">@pigworker</a> ‘s new language that I can’t wait to read more about when it’s ready. Thanks for the extra insight, my friends. Believe it or not, I learned quite a bit about type theory just from this short poll (reading about Granule in particular).

harryprayiv<a href="https://types.pl/@pigworker" class="u-url mention" rel="nofollow noopener" target="_blank">@pigworker</a> then you get to languages like <a href="https://mastodon.social/tags/Unison" class="mention hashtag" rel="nofollow noopener" target="_blank">#Unison</a> that are somewhat namespace-independent. Things in Unison are stored not based on name but a hash representing its contents. It enables all kinds of crazy futuristic stuff not the least of which is decentralized computation. I wonder what you think of that idea.

Matej CernyUnison has recently added a Postgres library. If you are familiar with Skunk for Scala, you'll find this library relatively easy to pick up. <a href="https://witter.cz/tags/unison" class="mention hashtag" rel="nofollow noopener" target="_blank">#unison</a> <a href="https://witter.cz/tags/postgres" class="mention hashtag" rel="nofollow noopener" target="_blank">#postgres</a> <a href="https://fosstodon.org/@unison" class="u-url mention" rel="nofollow noopener" target="_blank">@unison</a> <a href="https://share.unison-lang.org/@runarorama/postgres" rel="nofollow noopener" translate="no" target="_blank">https://share.unison-lang.org/@runarorama/postgres</a>

Fipaddict,Merci à vous pour les réponses, même quand c'est pour vous moquer !Je vais donc proposer <a href="https://diaspodon.fr/tags/Cobian" class="mention hashtag" rel="nofollow noopener" target="_blank">#Cobian</a>, <a href="https://diaspodon.fr/tags/Kopia" class="mention hashtag" rel="nofollow noopener" target="_blank">#Kopia</a> et/ou les outils natifs suivant la version de Windows concernée. Je ne retiens pas <a href="https://diaspodon.fr/tags/Unison" class="mention hashtag" rel="nofollow noopener" target="_blank">#Unison</a> qui fait de la synchro de fichier (Ce n'est pas l'objectif).<a href="https://framapiaf.org/@marctapages" class="u-url mention" rel="nofollow noopener" target="_blank">@marctapages</a> <a href="https://pouet.chapril.org/@flomaraninchi" class="u-url mention" rel="nofollow noopener" target="_blank">@flomaraninchi</a> <a href="https://mastodon.top/@pierrick_taluy" class="u-url mention" rel="nofollow noopener" target="_blank">@pierrick_taluy</a> <a href="https://diaspodon.fr/@greenman" class="u-url mention" rel="nofollow noopener" target="_blank">@greenman</a> <a href="https://mastodon.social/@foo__" class="u-url mention" rel="nofollow noopener" target="_blank">@foo__</a> <a href="https://diaspodon.fr/@Phipe" class="u-url mention" rel="nofollow noopener" target="_blank">@Phipe</a> <a href="https://hostux.social/@tadc47" class="u-url mention" rel="nofollow noopener" target="_blank">@tadc47</a> <a href="https://mastouille.fr/@vv666" class="u-url mention" rel="nofollow noopener" target="_blank">@vv666</a>

Andreas ScherbaumIn earlier days I was using <a href="https://mastodon.social/tags/unison" class="mention hashtag" rel="nofollow noopener" target="_blank">#unison</a> to two-way (mostly manually) sync a directory between hosts. But this is becoming a huge problem, as unison requires the very same version on both sides, and my systems are quite different these days.What other Linux tools out there can do a reliable two-way sync of a directory?<a href="https://mastodon.social/tags/Linux" class="mention hashtag" rel="nofollow noopener" target="_blank">#Linux</a> <a href="https://mastodon.social/tags/Sync" class="mention hashtag" rel="nofollow noopener" target="_blank">#Sync</a> <a href="https://mastodon.social/tags/Copy" class="mention hashtag" rel="nofollow noopener" target="_blank">#Copy</a> <a href="https://mastodon.social/tags/Filetransfer" class="mention hashtag" rel="nofollow noopener" target="_blank">#Filetransfer</a> <a href="https://mastodon.social/tags/FollowerPower" class="mention hashtag" rel="nofollow noopener" target="_blank">#FollowerPower</a> <a href="https://mastodon.social/tags/FediTips" class="mention hashtag" rel="nofollow noopener" target="_blank">#FediTips</a>

Channing Walton<a href="https://types.pl/tags/Unison" class="mention hashtag" rel="nofollow noopener" target="_blank">#Unison</a> Forall 2024 is on Friday, there will be quite a few familiar faces from the <a href="https://types.pl/tags/Scala" class="mention hashtag" rel="nofollow noopener" target="_blank">#Scala</a> community.<a href="https://www.unison-lang.org/unison-forall-2024/" rel="nofollow noopener" translate="no" target="_blank">https://www.unison-lang.org/unison-forall-2024/</a>

Nayab SayedI'm starting a thread on the Linux apps (mostly <a href="https://mastodon.social/tags/KDE" class="mention hashtag" rel="nofollow noopener" target="_blank">#KDE</a>) I enjoy using the most. Here's the first one on my list (1/n):<a href="https://mastodon.social/tags/Unison" class="mention hashtag" rel="nofollow noopener" target="_blank">#Unison</a> is a powerful tool for keeping files in sync between two directories, making it perfect for continuous backup to an external drive. For Debian-based Linux systems, installation is simple with the command:$ sudo apt install unisonUsage: $ unison <path1> <path2>Official <a href="https://mastodon.social/tags/Github" class="mention hashtag" rel="nofollow noopener" target="_blank">#Github</a> repository: <a href="https://github.com/bcpierce00/unison" rel="nofollow noopener" translate="no" target="_blank">https://github.com/bcpierce00/unison</a><a href="https://mastodon.social/tags/OpenSource" class="mention hashtag" rel="nofollow noopener" target="_blank">#OpenSource</a> <a href="https://mastodon.social/tags/Linux" class="mention hashtag" rel="nofollow noopener" target="_blank">#Linux</a> <a href="https://mastodon.social/tags/Debian" class="mention hashtag" rel="nofollow noopener" target="_blank">#Debian</a>

Jeff Fortin T. (風の庭園のNekohayo)Oh wow, now that it doesn't break on every random <a href="https://mastodon.social/tags/OCaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#OCaml</a> version change, <a href="https://mastodon.social/tags/Unison" class="mention hashtag" rel="nofollow noopener" target="_blank">#Unison</a> came back into the main <a href="https://mastodon.social/tags/Fedora" class="mention hashtag" rel="nofollow noopener" target="_blank">#Fedora</a> repositories a few months ago, so I don't have to depend on a COPR anymore! This is great news 😌<a href="https://packages.fedoraproject.org/pkgs/unison/unison/" rel="nofollow noopener" translate="no" target="_blank">https://packages.fedoraproject.org/pkgs/unison/unison/</a><a href="https://lists.fedorahosted.org/archives/list/devel@lists.fedoraproject.org/thread/R7HX2NOVMJXO3VBOOFPIMKD64GORSKWN/" rel="nofollow noopener" translate="no" target="_blank">https://lists.fedorahosted.org/archives/list/devel@lists.fedoraproject.org/thread/R7HX2NOVMJXO3VBOOFPIMKD64GORSKWN/</a>

Csepp 🌢Consider: a durable <a href="https://merveilles.town/tags/permacomputing" class="mention hashtag" rel="nofollow noopener" target="_blank">#permacomputing</a> system that uses <a href="https://merveilles.town/tags/sqlite" class="mention hashtag" rel="nofollow noopener" target="_blank">#sqlite</a> for all storage (except maybe the kernel and bootloader) and embeds a programming language. You get: -more resilience against storage failures -code AST stored in DB, maybe <a href="https://merveilles.town/tags/Unison" class="mention hashtag" rel="nofollow noopener" target="_blank">#Unison</a>-like refactoring features -malleable with database queries -maybe more resilience against random shutdownsUsing C or a close-to-C language would make the most sense, because then it could self-host itself.

José A. AlonsoRanking functional programming languages (Why I'm biased and excited). <a href="https://youtu.be/vhIQZ0px-Lc" rel="nofollow noopener" translate="no" target="_blank">https://youtu.be/vhIQZ0px-Lc</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/Scala" class="mention hashtag" rel="nofollow noopener" target="_blank">#Scala</a> <a href="https://mathstodon.xyz/tags/Ocaml" class="mention hashtag" rel="nofollow noopener" target="_blank">#Ocaml</a> <a href="https://mathstodon.xyz/tags/PureScript" class="mention hashtag" rel="nofollow noopener" target="_blank">#PureScript</a> <a href="https://mathstodon.xyz/tags/Elm" class="mention hashtag" rel="nofollow noopener" target="_blank">#Elm</a> <a href="https://mathstodon.xyz/tags/Roc" class="mention hashtag" rel="nofollow noopener" target="_blank">#Roc</a> <a href="https://mathstodon.xyz/tags/Unison" class="mention hashtag" rel="nofollow noopener" target="_blank">#Unison</a> <a href="https://mathstodon.xyz/tags/Gleam" class="mention hashtag" rel="nofollow noopener" target="_blank">#Gleam</a> <a href="https://mathstodon.xyz/tags/Fsharp" class="mention hashtag" rel="nofollow noopener" target="_blank">#Fsharp</a>

AnthonyA weird thing about being 50 is that there are programming languages that I've used regularly for longer than some of the software developers I work with have been alive. I first wrote BASIC code in the 1980s. The first time I wrote an expression evaluator--a fairly standard programming puzzle or homework--was in 1990. I wrote it in Pascal for an undergraduate homework assignment. I first wrote perl in the early 1990s, when it was still perl 4.036 (5.38.2 now). I first wrote java in 1995-ish, when it was still java 1.0 (1.21 now). I first wrote scala, which I still use for most things today, in 2013-ish, when it was still scala 2.8 (3.4.0 now). At various times I've been "fluent" in 8086 assembly, BASIC, C, Pascal, perl, python, java, scala; and passable in LISP/Scheme, Prolog, old school Mathematica, (early days) Objective C, matlab/octave, and R. I've written a few lines of Fortran and more than a few lines of COBOL that I ran in a production system once. I could probably write a bit of Haskell if pressed but for some reason I really dislike its syntax so I've never been enthusiastic about learning it well. I've experimented with Clean, Flix, Curry, Unison, Factor, and Joy and learned bits and pieces of each of those. I'm trying to decide whether I should try learning Idris, Agda, and/or Lean. I'm pretty sure I'm forgetting a few languages. Bit of 6502 assembly long ago. Bit of Unix/Linux shell scripting languages (old enough to have lived and breathed tcsh before switching to bash; I use fish now mostly). When I say passable: in graduate school I wrote a Prolog interpreter in java (including parsing source code or REPL input), within which I could run the classic examples like <code>append</code> or (very simple) symbolic differentiation/integration. As an undergraduate I wrote a Mathematica program to solve the word recognition problem for context-free formal languages. But I'd need some study time to be able to write these languages again. I don't know what the hell prompted me to reminisce about programming languages. I hope it doesn't come off as a humblebrag but rather like old guy spinning yarns. I think I've been through so many because I'm never quite happy with any one of them and because I've had a varied career that started when I was pretty young. I guess I'm also half hoping to find people on here who have similar interests so I'm going to riddle this post with hashtags: <a href="https://buc.ci?t=coding" class="mention hashtag" rel="nofollow noopener" target="_blank">#Coding</a> <a href="https://buc.ci?t=softwaredevelopment" class="mention hashtag" rel="nofollow noopener" target="_blank">#SoftwareDevelopment</a> <a href="https://buc.ci?t=programminglanguages" class="mention hashtag" rel="nofollow noopener" target="_blank">#ProgrammingLanguages</a> <a href="https://buc.ci?t=8086assembly" class="mention hashtag" rel="nofollow noopener" target="_blank">#8086Assembly</a> <a href="https://buc.ci?t=basic" class="mention hashtag" rel="nofollow noopener" target="_blank">#BASIC</a> <a href="https://buc.ci?t=c" class="mention hashtag" rel="nofollow noopener" target="_blank">#C</a> <a href="https://buc.ci?t=pascal" class="mention hashtag" rel="nofollow noopener" target="_blank">#Pascal</a> <a href="https://buc.ci?t=perl" class="mention hashtag" rel="nofollow noopener" target="_blank">#perl</a> <a href="https://buc.ci?t=java" class="mention hashtag" rel="nofollow noopener" target="_blank">#java</a> <a href="https://buc.ci?t=scala" class="mention hashtag" rel="nofollow noopener" target="_blank">#scala</a> <a href="https://buc.ci?t=lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#LISP</a> <a href="https://buc.ci?t=scheme" class="mention hashtag" rel="nofollow noopener" target="_blank">#Scheme</a> <a href="https://buc.ci?t=prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#Prolog</a> <a href="https://buc.ci?t=mathematica" class="mention hashtag" rel="nofollow noopener" target="_blank">#Mathematica</a> <a href="https://buc.ci?t=objectivec" class="mention hashtag" rel="nofollow noopener" target="_blank">#ObjectiveC</a> <a href="https://buc.ci?t=matlab" class="mention hashtag" rel="nofollow noopener" target="_blank">#matlab</a> <a href="https://buc.ci?t=octave" class="mention hashtag" rel="nofollow noopener" target="_blank">#octave</a> <a href="https://buc.ci?t=r" class="mention hashtag" rel="nofollow noopener" target="_blank">#R</a> <a href="https://buc.ci?t=python" class="mention hashtag" rel="nofollow noopener" target="_blank">#Python</a> <a href="https://buc.ci?t=fortran" class="mention hashtag" rel="nofollow noopener" target="_blank">#Fortran</a> <a href="https://buc.ci?t=cobol" class="mention hashtag" rel="nofollow noopener" target="_blank">#COBOL</a> <a href="https://buc.ci?t=haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#Haskell</a> <a href="https://buc.ci?t=clean" class="mention hashtag" rel="nofollow noopener" target="_blank">#Clean</a> <a href="https://buc.ci?t=flix" class="mention hashtag" rel="nofollow noopener" target="_blank">#Flix</a> <a href="https://buc.ci?t=curry" class="mention hashtag" rel="nofollow noopener" target="_blank">#Curry</a> <a href="https://buc.ci?t=factor" class="mention hashtag" rel="nofollow noopener" target="_blank">#Factor</a> <a href="https://buc.ci?t=unison" class="mention hashtag" rel="nofollow noopener" target="_blank">#Unison</a> <a href="https://buc.ci?t=joy" class="mention hashtag" rel="nofollow noopener" target="_blank">#Joy</a> <a href="https://buc.ci?t=idris" class="mention hashtag" rel="nofollow noopener" target="_blank">#Idris</a> <a href="https://buc.ci?t=agda" class="mention hashtag" rel="nofollow noopener" target="_blank">#Agda</a> <a href="https://buc.ci?t=lean" class="mention hashtag" rel="nofollow noopener" target="_blank">#Lean</a> <a href="https://buc.ci?t=6502assembly" class="mention hashtag" rel="nofollow noopener" target="_blank">#6502Assembly</a>

Alan Zimmerman<a href="https://functional.cafe/@nil" class="u-url mention" rel="nofollow noopener" target="_blank">@nil</a> I would love to have something like the <a href="https://social.coop/tags/unison" class="mention hashtag" rel="nofollow noopener" target="_blank">#unison</a> codebase manager for Lisp.

Sven Slootweg (soft-deprecated)<a href="https://social.pixie.town/tags/AskFedi" class="mention hashtag" rel="nofollow noopener" target="_blank">#AskFedi</a>: Does anyone know where to find documentation about the *internals* of <a href="https://social.pixie.town/tags/Unison" class="mention hashtag" rel="nofollow noopener" target="_blank">#Unison</a> (the language)? So not how to use it, or the problems it solves, but the actual nitty-gritty of stuff like "how exactly are we creating hashes out of a code tree"

Harald GliebeI solved day 2 of <a href="https://mastodon.social/tags/AdventOfCode" class="mention hashtag" rel="nofollow noopener" target="_blank">#AdventOfCode</a> 2023 again in <a href="https://mastodon.social/tags/unison" class="mention hashtag" rel="nofollow noopener" target="_blank">#unison</a> Today's task was mostly about parsing the input, a good opportunity to explore <a href="https://techhub.social/@rlmark" class="u-url mention" rel="nofollow noopener" target="_blank">@rlmark</a> 's parsing library <a href="https://share.unison-lang.org/@rlmark/parsing" rel="nofollow noopener" translate="no" target="_blank">https://share.unison-lang.org/@rlmark/parsing</a>. Here's my solution for today: <a href="https://share.unison-lang.org/@hagl/advent-of-code-2023/code/main/latest/terms/day02/README" rel="nofollow noopener" translate="no" target="_blank">https://share.unison-lang.org/@hagl/advent-of-code-2023/code/main/latest/terms/day02/README</a>

Recent searches

Search options

Administered by:

Server stats:

#unison