Combining physical and visual simulation---creation of the planet Jupiter for the film “2010” - Yaeger, et al

Learning concepts through conversations in spoken dialogue systems Show more

Bootstrapping semantic parsers from conversations Show more

Elements of a Relational Theory of Datatypes Show more

A tutorial on the universality and expressiveness of fold Show more

A commutative replicated data type for cooperative editing Show more

CRDTs: Consistency without concurrency control Show more

Designing a commutative replicated data type Show more

Verified Peephole Optimizations for CompCert Show more

Improving the Static Analysis of Embedded Languages via Partial Evaluation Show more

Improving Haskell Types with SMT Show more

Type Systems as Macros Show more

Paper: Type Tailoring Show more

Show more

Fast, secure and up-to-date instance, welcoming everyone around the world. Join us! 🌍
Up since 04/04/2017. ✅

Why should you sign up on

This instance is not focused on any theme or subject, feel free to talk about whatever you want. Although the main language is english, we accept every single language and country.

We're connected to the whole ActivityPub fediverse and we do not block any foreign instance nor user.

We do have rules, but the goal is to have responsible users.

The instance uses a powerful server to ensure speed and stability, and it has good uptime. We follow state-of-the-art security practices.

Also, we have over 300 custom emojis to unleash your meming potential!

Looking for a Kpop themed instance? Try