Introduction
Introduction Statistics Contact Development Disclaimer Help
Posts by [email protected]
Post #AUijZVaEMbX0MqAUSG by [email protected]
0 likes, 1 repeats
Both datalog and e-graphs / equality-saturation have a long and rich history of…
Post #AtC8pf2YVSmGU9frm4 by [email protected]
0 likes, 1 repeats
ArXiv is hiring y'all https://info.arxiv.org/hiring/index.html
Post #AxLfv9dJ6hkQHyXfwu by [email protected]
0 likes, 1 repeats
Honest opinions please. People still taking precautions about covid (masking or…
Post #AxOGv9g51g0b31ceuG by [email protected]
0 likes, 0 repeats
@tef @[email protected] @whitequark i remember when i first saw the &…
You are viewing proxied material from pleroma.anduin.net. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.