How would Muslims adapt to follow their prayer rituals in the loss of Earth?worldbuilding.stackexchange.com·3 pts·jpcooper·0
Implementing a Simple Proof Assistant and Type System (Mathematica)community.wolfram.com·1 pts·jpcooper·0
Show HN: Computing Exact Odds for Betfair.com's Exchange Hi Lo in Ptime/Pspacegithub.com·6 pts·jpcooper·0