** 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?
If you like ocaml you should consider applying to Jane Street!
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...
Run more than one process if you need parallelism: github.com/janestreet/r... (which tbf is pretty fiddly and a bit sad)
I don’t think it is now, but pretty sure async will support multi core once the js compiler supports it 😅
This sounds like ocaml + core + async (+ maybe the js compiler?) 🤔
GUls can get busy, and so it is important to save as much space as possible. To this end, we have employed the very best in square packing technology to make sure all of your item slots take as little space as possible. Screenshots of a Minecraft mod where the squares are packed in really awkwardly using the mathematically optimal square packing layout
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.
Lists are mostly terrible anyways. 🫣
