New answers tagged


I consider frequently visiting this site. Mostly planning to ask questions that collect up when trying to implement these things. There are already few sample questions up I would have asked. But you'll likely see "Are dependent types the only way ahead?" and "how to embed linear types into a proof checker?"


It's worth noting that these criteria (like much of Area 51) are fairly out of date. In particular, there seems to be less of an emphasis on the rate of Q&A or the size of a site and more on whether it will build up a dedicated community. So questions per day, answers per question, and even (to an extent) visits per day are not weighted as heavily, while ...

Top 50 recent answers are included