robertothais

Karma: 61
Created: 8 years ago

Recent Submissions

1. ▲ An Afternoon at the Recursive Café: Two Threads Interleaving (ipfs.io) 13 points · 5 months ago · 2 comments
2. ▲ Two-dimensional context free grammars [pdf] (cmp.felk.cvut.cz) 9 points · 8 years ago · 0 comments
3. ▲ Ruby internals: “This is some roflscale crazy stuff” (github.com) 2 points · 8 years ago · 0 comments
4. ▲ Who Is Publishing NSA and CIA Secrets, and Why? (schneier.com) 3 points · 8 years ago · 3 comments
5. ▲ With H-1B under threat, Alphabet ramps up immigration lobbying (qz.com) 4 points · 8 years ago · 2 comments
6. ▲ The Operation and Demise of the Bretton Woods System (nakedcapitalism.com) 3 points · 8 years ago · 0 comments
7. ▲ Learn to Fly by Crashing (arxiv.org) 10 points · 8 years ago · 1 comment
8. ▲ Consciousness as a State of Matter (2014) (arxiv.org) 76 points · 8 years ago · 52 comments
9. ▲ HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics (2016) (arxiv.org) 1 point · 8 years ago · 0 comments
10. ▲ Intuitive Understanding of Euler's formula (betterexplained.com) 3 points · 8 years ago · 0 comments

All submissions on HN · View profile on HN