waldarbeiter

Recent Submissions

1. 1. ▲ PyTorch Geometric (pytorch-geometric.readthedocs.io) 1 point · 14 days ago · 0 comments
2. 2. ▲ 1000 Layer Networks for Self-Supervised RL (NeurIPS 2025 Best Paper Award) (arxiv.org) 2 points · 1 month ago · 0 comments
3. 3. ▲ Logical Foundations of Cyber-Physical Systems (Winter 2025) (symbolaris.com) 1 point · 1 month ago · 0 comments
4. 4. ▲ Compiler Design (Summer 2025) (symbolaris.com) 1 point · 2 months ago · 0 comments
5. 5. ▲ Workings of Science: Debunked Software Theories (2022) [pdf] (dl.acm.org) 17 points · 5 months ago · 2 comments
6. 6. ▲ Liberland (de.wikipedia.org) 2 points · 9 months ago · 0 comments
7. 7. ▲ The Uniklinikum Aachen has an exterior reminiscent of an oil refinery (en.wikipedia.org) 3 points · 1 year ago · 0 comments
8. 8. ▲ 100th anniversary of the Oppau explosion (2021) (basf.com) 2 points · 1 year ago · 0 comments
9. 9. ▲ Basics of Proofs (2017) [pdf] (theory.stanford.edu) 145 points · 2 years ago · 92 comments