> I am intending to refocus my work on
the mathematical research aspects of coding, especially how to bring
the latest ideas from constructive mathematics and dependent typed
programming into .

· brutaldon · 1 · 0 · 2

(that's from Mycroftiv btw, from the latest ANTS release announcement on the mailing list)

Show thread

"did you mean 'microsoft ants'?"

I am positive I did not.…

Ok, this is full of its own terminology and I didn't click the rabbithole link, but something something computing grid software consistency?

Sounds a bit like the high-performance computing grid work people (Ricardo Wurmus) are doing with guix? Is guixiness what "reversible" means?
Sign in to participate in the conversation

Cybrespace is an instance of Mastodon, a social network based on open web protocols and free, open-source software. It is decentralized like e-mail.