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
@brettgilio After Communism, you can throw quantum teleporters into the mix~
That would be too perfect
@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.
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.