Unison | @unison-lang.org on bsky @unisonweb
Friendly programming language from the future Open source https://t.co/hDNFLjJ8Yy Cloud platform: https://t.co/fFWPp8vU2t https://t.co/KPdfGUPVDa unison-lang.org Planet Earth Joined March 2014-
Tweets861
-
Followers5K
-
Following5
-
Likes336
The UCM-Desktop has a new release! Version 1.3.0 is pretty smooth, with new animations and workflow helpers. 🎨 Support for folding cards Copy formatted source code button Better card focus indicators View and copy a definition hash Get it here: github.com/unisonweb/ucm-…
🤝 Check out our new side-by-side language pages for Unison! We provide comparisons for syntax and patterns found in other languages and how to accomplish them in Unison. Here's a snippet from our #Python guide. 🐍 More to come! unison-lang.org/compare-lang/u…
🌐 New major release of Unison’s HTTP library Making a bunch of requests to the same host? The new client features connection pooling + keep-alives for efficient connection re-use, plus custom TLS certs support. share.unison-lang.org/@unison/http?u…
🖥️ UCM Desktop 1.2.1 is out! Polish for a smoother Unison workflow: ✨ Better light mode contrast (including overlays) 🎯 Clearer focus indicators ⌨️ Keyboard shortcut guide (in Settings) 🖱️ Click cards to focus github.com/unisonweb/ucm-…
I LOVE that i can generate diagrams in @unisonweb ... from the code itself! Approach: Imperative DSL that produces a description of a circuit. Unison's "live" docs transforms that description into diagrams as part of rendering the docs. Pretty effortlessly.
📰 UCM 0.5.45 is out ⭐ Adds a Unison MCP server. Agents can typecheck your code, search for libraries, or inspect your project 🔃 New transcript.in-place option modifies your codebase 🏡 lib.install.local command installs a local project as a dependency github.com/unisonweb/unis…
Did you know, Unison has a @zeddotdev extension? It's built by our wonderful community! 🛸 The friendly programming language from the future plays nice with your favorite editors. 👽✌️ zed.dev/extensions/uni…
🐱 Cats can have a little-endian byte array read, as a treat. github.com/unisonweb/unis… github.com/unisonweb/unis…
There's not one but TWO articles about optimizing Unison tooling by the illustrious Chris Penner in today's Haskell Weekly newsletter! Check it out! Unison 💜 #Haskell haskellweekly.news/issue/485.html… haskellweekly.news/issue/485.html…
🧙 For fans of optics and traversals and other such functional programming wizardry, here's Unison's own Chris Penner, explaining how he composed custom Traversable instances to speed up Unison Share database queries! chrispenner.ca/posts/traversa…
🚀 Unison 0.5.44 is out! This version includes some real treats for devs: ✨ New, streamlined workflow for updating code 🗂️ Tab-complete remote project and branch names 📩 30% faster downloads from Unison Share Full release notes: github.com/unisonweb/unis…
🎊 Tab completion for remote projects and branches on Unison Share is here! No more typos or flipping to the browser to check spellings. It's a delightful quality-of-life win for Unison devs!
⚖️ Here's a blog post about mixing `Random` weighted values with the `Each` ability to write data generators in Unison. Useful for creating data for testing, tutorials, or mocks! rlmark.unison-services.cloud/s/rebeccasblog…
@unisonweb could potentially solve all of these problems; keeping my fingers crossed that others will come to the same conclusion!
New episode of the Func Prog Podcast where I talk @unisonweb with @etorreborre! Tune in to find out how the Unison programming language might just revolutionize how we build software systems. Listen in at any of the links below👇
Rúnar @runarorama
12K Followers 103 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.
Rock the JVM @rockthejvm
9K Followers 252 Following Teaching #Scala, #Kotlin, #Spark, #Flink and tech on the JVM. 📹 Videos at https://t.co/1ODhzZCpb9 🔖 Articles at https://t.co/gK3x49Bxk5
Domen Kožar @domenkozar
5K Followers 1K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J
James Ward @JamesWard
18K Followers 3K Following My book: https://t.co/QGevhw6nyE | My podcast: @HappyPathProg | Working on Agentic Architectures at @AWSCloud | My opinions are mine
Adam Warski @adamwarski
7K Followers 185 Following Sharing elegant solutions to everyday problems | R&D @ SoftwareMill | #Scala / functional programmer #FP | Blogger | #OSS developer
Chris Kipp | @ckipp@h... @ckipp01
1K Followers 387 Following I enjoy working on tooling, simple tech, and learning. One day I'll know things. I try to write Scala and host the Tooling Talks podcast. he/him
naomi (forgetful func... @fixedpointfae
5K Followers 512 Following 25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | https://t.co/UOuLLmAqKm
Alvin Alexander @alvinalexander
5K Followers 397 Following Over 260 free Scala & Functional Programming videos: https://t.co/pWogmdssB1
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Anti-authoritarian. Pro-privacy. Functional programmer. Recovering SRE. Micro-SaaS, real estate & trading. Outsider. Gay af. Genocide is terrible.
Rick @rickasaurus
10K Followers 3K Following 2x Dad, AI Old-Timer, FP Enjoyer, Math for Fun, Startup Leadership Roles in: Fintech, Healthcare, RegTech, Biotech. B2B, B2B2C, Successful Exit CTO.
neural oscillator of ... @mycoliza
21K Followers 1K Following wow, everything’s computer at @oxidecomputer
Paweł Szulc @EncodePanda
3K Followers 655 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Mat Fournier @mat4nier
1K Followers 1K Following Geotech Engineer turned sw dev. https://t.co/Kwv9mN53z2. Geological Engineering, Masters Data Science @UBC. FP/Rust: https://t.co/DvbiUZ0LMf
Paul Shen @_paulshen
5K Followers 502 Following interfaces, computation, and sometimes javascript. https://t.co/Fv0v1OWHGY 🇹🇼🇺🇸
Jules Ivanic @guizmaii
2K Followers 2K Following | Software Engineer | Functional Programmer | 🇨🇵 citizen | 🇦🇺 permanent resident | 🌊 🏄🏻♂️ ❤️ | @guizmaii.bsky.social | I talk about Software Engineering
andrew blinn @disconcision
4K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
Steve Krouse @stevekrouse
9K Followers 2K Following founder @ValDotTown, spreading the joy of programming
Alexander McCormmach @alexander
4K Followers 180 Following
Bryan Julian Garzon @yuri4n22
0 Followers 61 Following
Samuel Iyeh @thelamplighter_
87 Followers 311 Following ✝️ Christian | ⏱️ Productivity Guru | 👩💻 AI Engineer | 🔗 Workflow Automation Expert | CEO @Softsparq_
Siva @ergodicthought
473 Followers 2K Following Soul of an artist in the mind of a scientist | “... specialization is for insects.” 😉
Kevin Stone @kevinleestone
2K Followers 425 Following Research @ OpenAI, previously at FAIR, TRI, and Google working on LLMs, RL, and Robotics.
Peter Ahlberg @PeterAhlberg5
128 Followers 676 Following “History shows that the government will spend whatever the tax system will yield plus as much more as it can get away with and now government is too big.” - MF
SutiSoft, Inc @sutisoft
3K Followers 2K Following Cutting edge business management solutions and comprehensive #SaaS Integration Platforms (SIP) that transform your #business
Adam Manka 🟣 Dial.... @adammmanka
672 Followers 427 Following Decentralized Operator + Full time Phone Jockey, Guns are great, Banks are for Rivers. Launching Intercontental Ballistic Marketing campaigns @WTFDial
nopanic @0518MOkCJZ1e44R
67 Followers 3K Following
Prolero Stebach @Prolerobach
320 Followers 562 Following Working on GitStage | Software Consultant | cat dad | Lifelong Learner | Farmhand
samlaf @samlafer
2K Followers 2K Following Eigenseal @Eigenlayer currently focusing on @eigen_da integrations
Auto @RepoVoice
11 Followers 61 Following
pkd @pkdroux
242 Followers 648 Following Maxwell's demon | Researcher @unsuspiciousind | prev. @Inria & @ip_paris_ | communist @revpermanente
Bernardo Viana @BernardoPctv
68 Followers 529 Following Scala software engineer. Passionate and curious about Technology and Finance.
Ilya @Zlonast
12 Followers 231 Following
Bas @basketticode
5 Followers 676 Following
reo101 @reo101gamer
20 Followers 362 Following Programmer in heart and soul with a great eye for system design and technical detail, solidifying any program's system to its very core.
Andrii Shafar 🌐 @reidond69
177 Followers 1K Following
Riley Draward @rdraward
475 Followers 354 Following Dev turned advocate @gadget_dev, formerly @trunkio @ibm Skills include riding my bike slowly, sometimes through the snow
✦✦✦ @not_infinite___
45 Followers 2K Following
Ganapathi Muni @ganapathi_muni
15 Followers 293 Following India that is Bharat, Indic revivalism, Spirituality, Hath Yoga, Mantra upasana, Dasha mahavidyas, Gauraksha. RTs not my views.
Luis Papiernik @LPapiernik
14 Followers 828 Following
Mario @mcerulo_
3 Followers 319 Following
Howard Gonzalez @hwgonz
17 Followers 85 Following
HarrisonAIX @HarrisonAIx
130 Followers 2K Following
florian.vyvants.org @florian_vyvant
218 Followers 108 Following
Njordsier @njordsier
57 Followers 176 Following Never attribute to stupidity that which is adequately explained by unaligned systems
`drew (Parody) @dezren39
916 Followers 5K Following Computers and stuff, yay! 🍻 https://t.co/iBDkejdSLf Cisgendered. Shaka, when the walls booped. 🦀 At least boops daring greatly. ☕ parody ~dsp @[email protected]
Dhruba Prasad Barua @DhrubaPdBarua79
1K Followers 7K Following I'm a family man. I've a PhD in Mathematical Sciences. I specialize in Applied Mathematics, computational methods & mathematical programming. I like academics.
neichooveiva @neichooveiva
0 Followers 420 Following
Jean-Jacques Strydom @psionicalch
269 Followers 48 Following Lisp, Scheme & Linux Enthusiast | My DMs are always open. I might not necessarily respond but you should at least try.
cryptoaccount @crypto1602
16 Followers 325 Following
Anthony Roche @Anthony2389782
49 Followers 1K Following
Eawheanouv @Eawheanouv855
70 Followers 3K Following
victor a'dike @vic26058
86 Followers 2K Following
Lambda Days @LambdaDays
3K Followers 995 Following 📅 Save the date for 2026: 11-12.06 Celebrate with us functional languages like #Haskell #Scala #Elm #Elixir #Gleam #Clojure 🦋We're on other platforms too📅
Eldrid Rensburg @EldridRensburg
75 Followers 3K Following In the beginning, the Universe implemented Unix (Linux) & C (C with Classes) & stated: let there = vars; & /* commented that IT was good */ :-) ¯¯¯\_(ツ)_/¯¯¯
Rúnar @runarorama
12K Followers 103 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.
@pchiusano@universeod... @pchiusano
6K Followers 126 Following working on @unisonweb Mastodon: @[email protected]
Arya Irani 🇺🇦 @aryairani
412 Followers 126 Following Cofounder @ Unison Computing; Alumnus @ Georgia Tech and University of Hawaii
Rebecca @r_l_mark
582 Followers 847 Following Not using this website much, find me at @[email protected] and @rlmark.bsky.social
Chris Penner @chrislpenner
21K Followers 17K Following he/him | Optics By Example: https://t.co/WC3SHRY4Kl | Cunningham's law made manifest. | Building @unisonwebTrends for United States
You might like
