Hacker News
- My unusual hobby https://www.stephanboyer.com/post/134/my-unusual-hobby 147 comments
- What are covariance and contravariance? https://www.stephanboyer.com/post/132/what-are-covariance-and-contravariance 66 comments
- Does Google execute JavaScript? https://www.stephanboyer.com/post/122/does-google-execute-javascript 106 comments
- Fun with Promises in JavaScript https://www.stephanboyer.com/post/107/fun-with-promises-in-javascript 4 comments
- Show HN: Netflix Party – Synchronize Netflix Video Playback https://www.stephanboyer.com/post/105/netflix-party-synchronizing-netflix-video-playback 30 comments
- Show HN: A simple “stateless” password manager for Chrome http://www.stephanboyer.com/post/101/hashpass-a-simple-stateless-password-manager-for-chrome 47 comments
Lobsters
- My hobby: proof engineering https://www.stephanboyer.com/post/134/my-hobby-proof-engineering 6 comments formalmethods
- My unusual hobby https://www.stephanboyer.com/post/134/my-unusual-hobby 13 comments formalmethods
- What are covariance and contravariance? https://www.stephanboyer.com/post/132/what-are-covariance-and-contravariance 47 comments compsci
- Type safe dimensional analysis in Haskell https://www.stephanboyer.com/post/131/type-safe-dimensional-analysis-in-haskell 7 comments haskell
- My unusual hobby https://www.stephanboyer.com/post/134/my-unusual-hobby 27 comments programming
- Higher-rank and higher-kinded types https://www.stephanboyer.com/post/115/higher-rank-and-higher-kinded-types 3 comments haskell
- My unusual hobby | Stephan Boyer https://www.stephanboyer.com/post/134/my-unusual-hobby 14 comments programming
- My unusual hobby https://www.stephanboyer.com/post/134/my-unusual-hobby 9 comments compsci
- What are covariance and contravariance? https://www.stephanboyer.com/post/132/what-are-covariance-and-contravariance 45 comments programming
- Type safe dimensional analysis in Haskell https://www.stephanboyer.com/post/131/type-safe-dimensional-analysis-in-haskell 22 comments haskell
- Higher Rank Types in Rust? https://www.stephanboyer.com/post/115/higher-rank-and-higher-kinded-types 3 comments rust
- Does Google execute JavaScript? https://www.stephanboyer.com/post/122/does-google-execute-javascript 23 comments javascript
- Higher Kinded Types explained using Java-Like Syntax https://www.stephanboyer.com/post/115/higher-rank-and-higher-kinded-types 37 comments rust
- The "pastiche test" for programming language constructs https://www.stephanboyer.com/post/116/the-pastiche-test 23 comments compsci
- Higher-rank and higher-kinded types https://www.stephanboyer.com/post/115/higher-rank-and-higher-kinded-types 3 comments compsci
- Fun With Promises in JavaScript https://www.stephanboyer.com/post/107/fun-with-promises-in-javascript 30 comments programming
- Netflix Party: Synchronizing Netflix Video Playback https://www.stephanboyer.com/post/105/netflix-party-synchronizing-netflix-video-playback 5 comments programming
- The "Safe" Construct (on my wishlist for programming language features) http://www.stephanboyer.com/post/89/the-safe-construct 24 comments programming
- Dynamic Typing: An Oxymoron? http://www.stephanboyer.com/post/85/dynamic-typing-an-oxymoron 15 comments programming
- Monads for Dummies http://www.stephanboyer.com/post/83/monads-for-dummies 43 comments programming
- Region-based Memory Management http://www.stephanboyer.com/post/60/region-based-memory-management 65 comments programming
- My startup idea—what do you think? http://www.stephanboyer.com/post/59/mit-100k-youpitch-entry-exagenda 9 comments startups
- A simple introduction to functional programming, uniqueness types and monads http://www.stephanboyer.com/post/5/welcome 41 comments programming
- Covariance and Contravariance http://www.stephanboyer.com/post/39/covariance-and-contravariance 5 comments compsci
- (Near) Real-time ray tracing in JavaScript http://www.stephanboyer.com/post/30 85 comments programming
- Self-balancing electric unicycle using an ATMega328P http://www.stephanboyer.com/p/self-balancing-electric-unicycle.html 3 comments arduino
- My New Blog on Functional Programming http://www.stephanboyer.com/ 34 comments programming