waldarbeiter

Karma: 79
Created: 2 years ago

Recent Submissions

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

All submissions on HN · View profile on HN