** It's happening!! **

We managed to convince Google to open source PebbleOS. Took a while, but they just did it today! github.com/google/pebble

With that, we're bringing Pebble back! I blogged about it - ericmigi.com/blog/why-wer...

This is an exciting bit of progress in the governance of OCaml. Historically, too many PRs have languished because there wasn't a clear process to get to consensus. I'm hopeful this will help!

discuss.ocaml.org/t/ocaml-lang...

Thread addressing common mistakes when type theorists start using TypeScript:

• 💡 Everything is structurally subtyped, including classes/interfaces
• 💡 Read "x is [not] assignable to T" as "the type of x is [not] a subtype of T"
• ⚠️ `any` means Dyn! if you want ⊤ use `unknown` (and ⊥ is `never`)

"i love programming with effects. but also i need a dataflow graph of my program. no i don't want to change the language. it should just be normal Python/Javascript." do your hear yourself right now?

People with homes are so rarely cold at night that I just don’t think homes are necessary anymore.

YES. For anyone who needs a reminder on how important technology is to humans, I recommend reading "Dream Reaper" by Craig Canine. It's a great story -- and serves as a reminder that without ag tech, we are all in the fields today. press.uchicago.edu/ucp/books/bo...

how it feels to do UI design without a designer

Here's a practice that sounds aspirational to actually do: a zero-bug policy. But apparently Linear (a nimble competitor to JIRA) is doing just this! Surprising:

As shared by Sabin Roman, the first EM at Linear.

YouTube: youtu.be/AI_UMnTM4o8

Web: newsletter.pragmaticengineer.com/p/linear-mov...

This reminds me of youtu.be/ourihqHM0SY

A great, somewhat unsettling article about robotics and AI, from the great James Somers.

www.newyorker.com/magazine/202...

Terrible Game Idea: IKEA roguelike. Traverse a maze of furniture, collect random trinkets with unpronounceable names, try to find the exit.