frjalex

Recent Submissions

1. 1. ▲ World Record Domino Robot (youtube.com) 2 points · 4 years ago · 0 comments
2. 2. ▲ Arecibo telescope that starred in a James Bond film to be demolished (cnet.com) 3 points · 5 years ago · 0 comments
3. 3. ▲ On the difficulty of proving P=NP in ZFC (arxiv.org) 1 point · 5 years ago · 0 comments
4. 4. ▲ Zeta: Functional Neural Networks in Ocaml (github.com) 115 points · 5 years ago · 9 comments
5. 5. ▲ The near crash of Air Canada flight 759 (medium.com) 2 points · 6 years ago · 0 comments
6. 6. ▲ Scribble: Describing Protocols Using Multiparty Session Types (scribble.org) 1 point · 6 years ago · 0 comments
7. 7. ▲ Multivariable Recurrence Relations (kylem.net) 2 points · 7 years ago · 0 comments
8. 8. ▲ When Airliners Vanish (2014) (airspacemag.com) 3 points · 7 years ago · 0 comments
9. 9. ▲ List of Literature on Dynamic Programming Speedup (cs.ust.hk) 3 points · 7 years ago · 0 comments
10. 10. ▲ IBM Card Sorter (en.wikipedia.org) 2 points · 7 years ago · 0 comments