kalaracey

Recent Submissions

1. 1. ▲ Implementing, and Understanding Type Classes (okmij.org) 3 points · 1 year ago · 0 comments
2. 2. ▲ AutoDelegate: Java annotation processor for delegating compositionally (github.com) 5 points · 1 year ago · 0 comments
3. 3. ▲ The Expression Problem and its solutions (2016) (eli.thegreenplace.net) 1 point · 1 year ago · 0 comments
4. 4. ▲ Flojoy: Python-based test and measure automation for hardware QA (flojoy.ai) 2 points · 1 year ago · 0 comments
5. 5. ▲ TLA+ in Isabelle/HOL (davecturner.github.io) 79 points · 2 years ago · 2 comments
6. 6. ▲ Scalability But at what COST? (2015) [pdf] (usenix.org) 2 points · 2 years ago · 0 comments
7. 7. ▲ Speeding up Overcooked training performance by 60x (bsarkar321.github.io) 3 points · 2 years ago · 0 comments
8. 8. ▲ Dependency Injection in Swift using latest Swift features (avanderlee.com) 1 point · 2 years ago · 0 comments
9. 9. ▲ Rux: A JSX-inspired way to render view components in Ruby (github.com) 135 points · 2 years ago · 40 comments
10. 10. ▲ Fleet Below Deck, Part III – State Management (blog.jetbrains.com) 1 point · 3 years ago · 1 comment