AxEy

6 ms·

1. 31.▲
   by AxEy 4y ago

   I'm afraid I was not familiar, although I'm looking at a few related papers on the arxiv now. What brought that approach to mind?
2. 32.▲
   by AxEy 4y ago

   Not laid off but on an extended sabbatical. I'm working on a Rust library for SAT solving and other things informed by John Harrison's text on Automated Theorem Proving. https://github.com/aetilley/harrison-ru
3. 33.▲
   by AxEy 4y ago

   Honest question: Literally every nonbinary person I know (with the exception of a tiny number of people who also happen to be intersex) and everyone that I know that knows a non-binary person or has done the slightest bit of research int
4. 34.▲
   by AxEy 4y ago

   From what I've heard (and a quick DDG search confirms this) the switch was actually to get away from the fact that killing oneself has actually been a crime (that one "committed") in the past.
5. 35.▲
   A secretive LA group has a new mission: paint untouched crosswalks(npr.org)

   1 points by AxEy 5y ago|0 comments
6. 36.▲
   Australia: Beijing Threatening Academic Freedom(hrw.org)

   2 points by AxEy 5y ago|0 comments