Huh, TIL that `Text.lines != Text.splitOn "\n"` when the string ends in a newline.

You can now spin up Unison Cloud clusters on your own infrastructure! ✅ Build elastic distributed systems and services in vastly less code ✅ Fast, typed RPC ✅ Deployments in seconds ✅ Free to get started youtu.be/0sZqI1XoGLY

Interesting article by @chrispenner.ca about why monads aren't the solution to everything, and a functor I've never crossed paths with called selective applicatives. Still absorbing it, but great read as always. Check it out if that's your thing. chrispenner.ca/posts/expres...

New blog post! #Haskell is built on a foundation of Monads, but are they really the optimal way to sequence effects or should we keep looking for something better? What's the big deal with Applicatives and Selective Applicatives? Read on! chrispenner.ca/posts/expres...

✨ The new dependents view shows everywhere a definition is used, broken down by category, as a separate card in Unison Share and the Unison Desktop app. Your codebase is a bidirectional graph! You should be able to walk it as such.

📽️ New to the Unison workflow? We’re making short videos to walk you through the basics. Follow along here: www.youtube.com/watch?v=QJ1h...

I'm pretty stoked on how well WASM seems to be working for languages that target it (not that there aren't difficulties there). Even more stoked for these updates!

It may in fact be a VeryBadIdea™ but I'm extremely tempted to duct tape my soldering iron to my 3D printer and use it to wood-burn the grid lines on the Go board I'm building...

We all know AI is unreliable, but what's the worst case you've seen? #zig This one made me exhale sharply through my nose today:

Programming languages really need a way to expose functions as "you can import this within this project and tests, but it's not public to other libraries"; somewhere in-between fully public and fully private.

The GHC developers are very pleased to announce the availability of the first alpha prerelease of GHC 9.14.1. Highlights: * Major improvements to the Specialiser * SSE/AVX support in the x86 native backend * Significant improvements in the GHCi debugger blog.haskell.org/ghc-9-14-1-a... #Haskell

Ah yes, I was just wondering how I could make my CI _less_ deterministic...

Is the non-#haskell part of the world aware STM exists? I see a few languages have somewhat broken implementations... #STM is truly a revolutionary tool for any kind of async/concurrent/parallel programming and new languages would do well to ensure they can implement it well!

You should add debugging views to your database. #postgres #databases chrispenner.ca/posts/views-...

🧙 For fans of optics and traversals and other such functional programming wizardry, here's Unison's own @chrispenner.ca, explaining how he composed custom Traversable instances to speed up Unison Share database queries!

Nifty trick to save some memory and cpu with caching, but using weak pointers so values clean themselves up when they're no longer referenced. #Haskell chrispenner.ca/posts/intern...

Anyone have recommendations for a good app for having people sign up for a mailing list? I'd like to keep in touch with folks across platforms, and it looks like MailChimp decided to delete my entire existing mailing list due to inactivity, so I guess I'll be starting over... 😑

as we all know every programmer's dream job is to never have to code again and instead just manage PRs with unreliable code and communicate with the unreliable entities who wrote it

I was wondering why everyone is suddenly planning to move out of GitHub

I think folks often go to _great_ lengths to avoid being just a little less type-safe or to avoid just a _little_ boilerplate, often at the expense of simplicity, adaptability and clarity.

New blog post! chrispenner.ca/posts/traver... Here's a technique for refactoring nested code for batch workflows, specifically when loading data from a database. I got up to 300x improvements on some codepaths with a relatively mechanical transformation.

I also learned that prompting an AI just isn't fun for me. I enjoyed playing with the game, and thinking up features, but the prompting was annoying and frustrating. I really enjoy the craft of writing code, if my career turns from crafting code to babysitting a bot I'll be very sad.

Ultimately, the takeaway for me is: * It's a great tool for getting a small artifact like this. It fulfills a need I had, and was very low investment. * I didn't learn a damn thing. I don't know any more rust, I don't understand WebGPU, I didn't learn how to structure a game.

I built a fully-functioning in-browser mobile Go Game for local play in a couple hours yesterday, or should I say, an AI Agent did. chrispenner.ca/rugo I'll summarize my experience with the tool;

Just merged native MCP server support to @unison-lang.org . It comes with all the usual vibe-coding caveats for sure, but also teaches agents how to read documentation, type check code, and even lets them search Unison Share, so it’s actually quite good at explaining projects and how they work 😄

GHC has slow compile times because otherwise the #Haskell programmers would be far too productive. Balance must be maintained.

it's hard to put it into words but #jj-vcs has rewired my brain into thinking about commits more "meaningfully". i think git—and to a large extent github—have made commits feel "cheap", something you don't put much thought into. just a thing you have to do before you "push your change".

A deployment pipeline that ships your code to staging, and hides the “Deploy to prod” button somewhere in your app on staging. You have to dig through your app, running your new code, to find it.

Very cool!

Cool trick for finding bottlenecks in your concurrent systems; sometimes you can just literally print where you're currently blocked.

When people talk about 'inherent' complexity they're probably talking about an authorization system or a notification system 😵‍💫 I will say that designing flexible and performant versions of each of these has been a great design challenge though, a lot of fun to figure out 🙂

Did you know that #Unison Share is a full-featured code-repository and collaboration platform that *doesn't have a single unit test*? Here's how that works: chrispenner.ca/posts/transc... (*spoiler*: it's great!) @unison-lang.org

Saw someone asking about a Haskell debugger on Reddit today and realized how _weird_ it is that Haskell doesn't really have a good story here, but also how weird it is that I don't ever find myself reaching for one. Maybe I'm sufficiently stockholmed into TDD (Trace driven development) by now?

💝 We encourage everyone to take inspiration from Unison's core ideas and practices. The more programming languages and tools challenge the status quo, the faster "outlandish" becomes "obviously better." Here's @chrispenner.ca on three things other languages should steal from Unison:

It is absolutely bonkers to me that there still isn't a standard way to just see which functions a python module exposes. I know it's dynamic enough to generate new ones at runtime, but like, I'm just tryin' to look at docs!

I'm officially adding Notification Systems to my list of inherently hard problems. I've got: * Cache invalidation * Authorization * Notification Systems What's on your list?

🤝 We've just added collaborator support to Unison Share! You can now add fellow Unison devs to your projects with these roles: 👁️ View – Read & download 🔧 Maintain – Read, download, merge & write 🔑 Admin – Full admin permissions Try it out here: share.unison-lang.org/

P.s. thank you to whoever maintains HTTP.Cat, I unironically reach for it to look up the more obscure http status codes and it adds a bit of whimsy to my day. http.cat/418

Today's programmer annoyance: Cyclic import errors. _Sometimes_ it reflects a bad design, but I think more often it's just a limitation of the compiler, let me organize my code how I want please :) Golang lets a package span many files, Unison compiles at the definition level, any other solutions?

I am once again urging news organizations to learn the difference between questions and answers

HELP PRESERVE OUR LIMITED SUPPLY OF UUIDS! instead of generating a new UUID, try to reuse one you already have!

Pro tip, don't use emoji represented by multiple codepoints in an text you're trying to align, it'll show up differently between terminals (e.g. iterm2 vs Terminal app) and will ultimately just cause a bunch of headaches.

People absolutely LOVE to hate on #golang, I think it just sits outside of every zealot's domain, it's not close enough to the metal for the systems programmers and it doesn't offer enough abstractions for those in the Ivory Tower.

I'm giving a `jj` (#jujutsu) version control primer in the @unison-lang.org discord in 25 minutes! Come join up and ask some questions :) unison-lang.org/discord

On a completely unrelated note, I really love this query plan visualizer www.pgexplain.dev

Just got a new #Postgres query cost high score of 142,086,037.85 😅, what's your high score?

Haters will say this approach doesn't work at scale or w/e, but what if I told you that Unison Share, a production-grade code-hosting and package management platform, doesn't have a SINGLE unit test? It's all integration tests using this transcript-test method. bsky.app/profile/did:...

Hot take, I don't make assertions in my tests anymore. I write tests which record what happened as files on disk, then in CI when we run the tests again we assert there are no changes from the test artifacts that are checked in. This transcript-driven testing approach provides a bunch of benefits 👇

Many devs write SQL embedded in some other language, ORM, Interpolator, something like that, but would benefit from getting even basic SQL syntax checking in that environment. Is there any lax SQL LSP I can configure with my lang's interpolation syntax? Or do I need to write my own?