Our great sponsors
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
salsa
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
The go-to place used to be Lambda the Ultimate but it's been a while since I visited. I usually do a mix of HN, acolyer's blog, Papers We Love, and whatever turns up on the set of twitter people I follow.
For Algebraic Effects and Multicore OCaml specifically, I have this intro saved and they've been publishing regular updates here's October's. They have a paper linked from their repo's README but I don't remember the contents offhand.
How would this differ from salsa (https://github.com/salsa-rs/salsa) and the query-driven approach used by rustc?