Rebecca

Unison Computing now has a consulting group · Unison programming language We are spinning up a consulting group, now open to work in a variety of languages, including Scala, Haskell, Rust, Elm, and of course Unison. Our goal is a self-sustaining model in which a mix of consulting and product revenue funds development of Unison-based tech well into the distant future. We aim to be cash flow positive as a business in the next 12 months and could use your help in getting there.

We have a consulting group, now open to work in a variety of languages, including Scala, Haskell, Rust, Elm, and of course Unison. More details here: www.unison-lang.org/blog/consult...

Please boost to help get the word out. And we'd love to hear from you if you're interested in working with us!

The latest Base upgrade contains the Threads ability, for safer structured concurrency. This video talks about the problems that the Threads ability solves a... Introducing the Threads ability for safer structured concurrency

🧵🪡 Our latest release of the standard lib includes a new `Threads` ability for structured concurrency.

Why is it an improvement over our existing primitives? Here's a video with some comparisons.

youtu.be/xU_MRNNo4kg

“Mr. Beast Salesforce ad” - they’re calling it the least appealing phrase ever assembled in any language. They finally did it

I remember one conversation with Theodor Adorno when, after I'd said what I'd done that morning (checking out some books from the library, going to the laundromat, etc.), and asked "What about you," I was slightly chilled when he answered: "I have been meditating on erotic and musicological problems."

While in California, Ian Watt asks Theodor Adorno how his day went

How to Film ICE Filming federal agents in public is legal, but avoiding a dangerous—even deadly—confrontation isn’t guaranteed. Here’s how to record ICE and CBP agents as safely as possible and have an impact.

NEW: The @wired.com Security desk put together a comprehensive guide to filming ICE—with tips for reducing risk at the forefront. No paywall, but please consider subscribing to help find these kinds of resources. And stay safe out there. www.wired.com/story/how-to...

www.wired.com/v2/offers/wi...

Cities Under Siege Cities are the new battleground of our increasingly urban world. From the slums of the global South to the wealthy financial centers of the West, Cities Under Siege traces the spread of political viol...

FREE EBOOK!

Cities Under Siege, Stephen Graham's powerful exposé of how political violence operates through the spaces of urban life is available as a free download.

Three ceramic whistles shaped like melting ice cubes at the greenware stage.

Very WIP, but these ceramic whistles depict what happens to ICE in the fires of hell. 👹

It appears that this legend owns a little bookstore — and you can order books from him instead of Bezos. Link in next post.

People at taken to Whipple are released into the cold in whatever they were wearing without their phones and IDs. Volunteers meet them at release (or find them left in parks and the woods) get them a burner, warm clothes, food, a ride home, etc

(GFM in next post)

www.instagram.com/reel/DTzJde9...

Ah, I see we have reached the cultural void that is "All Art is now Propaganda." Cool cool cool...

This is like Kendrick and Drake if both of them were Drake.

A `main` function in Unison showing a postgres configuration and simple query for the birth date of some users. ``` main : '{IO, Exception} [LocalDate] main = do config = PostgresClientConfig.default (HostName "localhost") (UserName "postgres") (DatabaseName "userDB") singleIO config do Query.execute (sql "SELECT birthday from users" |> typedQuery (Codec.date)) ```

🐘 The new Unison Postgres library features typed queries, prepared statements, and support for custom decoders!

`lib.install` it here: share.unison-lang.org/@runarorama/...

Also worth contacting the governor and asking him to publicly reaffirm his commitment to this extremely vulnerable group.

governor.wa.gov/contacting-g...

360-902-4111

A Coup Is In Progress In America A coup is underway in the United States, and we must stop pretending otherwise. The signs are unmistakable and accelerating: in just the past 48 hours, Elon Musk’s DOGE commission has seized …

at least @techdirt.bsky.social is not fucking around

The Unison™ Cloud Platform Deploy to the cloud with a function call. Call services as easily as local functions, verified by the typechecker. Access typed storage as easily as in-memory data structures.

Coming soon: create Unison Cloud clusters in minutes on your own infra, anywhere. www.unison.cloud/byoc/

🔐 All data stays with you. We don't see service requests or data in storage.

⚡️ Services deploy in seconds, service calls in 1 LOC, and more..

Fellow NSA - National Security Agency veterans. Look at what’s happened at the National Cryptologic Museum. They covered up with brown paper the photos of Women in American Cryptology. All in response to President Trump’s anti-diversity executive order.

I was led to believe by R.E.M. that I would feel a lot better about this.

😆 Don't let @kylegoetz.com fool y'all! He single-handedly deciphered Unison's grammar for the Tree-sitter Unison implementation and that's not even captured in this list! 🔥

Unison Roadmap · Unison programming language A friendly programming language from the future.

🫶 Anyways, we've been busy. Unison has shipped more features than I can remember and has even more planned.

www.unison-lang.org/roadmap/

🪄🐇🎩

YouTube video by Unison Language Distributed Streaming on Unison Cloud — Fabio Labella

⛅ Cloud functionality has expanded to support blob-based storage, daemons for long-running processes, WebSockets, etc. From simple distributed computing primitives, we're bringing event-streaming libraries to Unison:

www.youtube.com/watch?v=cdn5...

Cache Pure Top Level Definitions on startup by ChrisPenner · Pull Request #5379 · unisonweb/unison Overview Before this change all pure top-level definitions were evaluated at every call site, which is obviously unnecessary. Now we can detect these using type info from the codebase, and inline t...

🚤 The interpreter for Unison is SO MUCH faster. The core language team has done some incredible work adding optimizations to the runtime.

Just one example: github.com/unisonweb/un...

#82: 3x to N times faster version of `List.isPrefixOf` · @unison/base | Unison Share Adds a short circuit for the case where the prefix is longer than the list it is supposed to be a part of (so `range 0 100` cannot be a prefix of any list with fewer than 100 elements), and then after...

↔️ If you wanted to review and merge a PR, the old workflow involved a file-based comparison of the changes locally. Now, there's a semantic code diff view on Share.

share.unison-lang.org/@unison/base...

feat: add `lib.install` command by mitchellwrosen · Pull Request #4953 · unisonweb/unison Overview Edit: the help now looks like this This PR adds a lib.install (alias: install.lib) command to replace pull for installing a dependency into lib. It's different than pull in a couple ...

📥 The way you install libraries in Unison is new! We added the `lib.install` command this year. You used to have to `pull` a versioned branch to a specific location in your codebase.

github.com/unisonweb/un...

🗃️ We created a project-based workflow for *writing* code in 2023, but your history was still stored in a global reflog. Now you can rewind and fast-forward project branches without impacting other projects to your heart's content.

www.unison-lang.org/blog/project...

Behind the Scenes on Type Directed Search for Unison Share · Unison programming language A peek behind the scenes at how we built type-directed search for Unison Share. Follow along as we discuss the kinds of queries we wanted to optimize for and how we designed the search functionality t...

🔍 There was no way to search for Unison terms on Unison Share. You could search for libraries, but not the source code for `List.map`. Now our global search functionality supports searching by name and type.

www.unison-lang.org/blog/type-ba...

Unison version 0.5.23 is out! · Unison programming language The latest Unison release, version 0.5.23, is now available. This release includes some changes to the syntax for forcing delayed computations, improvements to the `todo` command, and several bug fixe...

🔡 We made big changes to our syntax this year: `do` introduces a thunk and `()` calls it, and there's new operator precedence rules for the language. The best part? Unison devs didn't need to update a thing. Syntax changes are automatically applied.

www.unison-lang.org/blog/ucm0523/

The Unison™ Cloud Platform Deploy to the cloud with a function call. Call services as easily as local functions, verified by the typechecker. Access typed storage as easily as in-memory data structures.

🐥 The Unison Cloud platform hadn't been released yet. Last January we opened our doors for general availability. Happy birthday Unison Cloud! You're one year old now!

www.unison.cloud

💜 It's hard to remember all the progress that @unison-lang.org has made, since most of the time we're heads-down, building the plane and flying it.

But to put all this in context, at the start of 2024 here's where we stood <takes giant breath>...

Working in tech is cool because you can lose half a day to "rectangle sometimes too big."

There's lot's of bad news out here, but two of my favorite humans (and one large cat) are starting a pottery studio in Portland.

Don't let the fascists steal your joy. Go make some art!