5 things I am still waiting for:
- Multicore OCaml
- Year of the Guix Desktop
- Scheme/ML return to 101 courses
- Proof of univalence as a cubical constructive theorem
- Communism

· · Web · 3 · 2 · 3

@brettgilio After Communism, you can throw quantum teleporters into the mix~

@brettgilio Multicore OCaml is mostly there already. Now it's even usable with the normal OPAM repo. I've tried it and ran parallel maps and folds.
I'm seriously considering a multicore-aware soupault relase in the near future.

Sign in to participate in the conversation
Mastodon 🐘

Discover & explore Mastodon with no ads and no surveillance. Publish anything you want on Mastodon: links, pictures, text, audio & video.

All on a platform that is community-owned and ad-free.