| user: | wkornewald |
| created: | January 23, 2010 |
| karma: | 1.1k |
| about: | Working on a declarative, synthesizing, AI-based programming language (Ensody). Interested in PL design, AI, server automation, end-to-end encryption. https://www.ensody.com https://github.com/wkornewald https://github.com/ensody https://bitbucket.org/wkornewald |
| 1. | Pure Rust Implementation of Apple Code Signing(gregoryszorc.com) |
| 2. | |
| 3. | |
| 4. | |
| 5. | Local Refinement Typing(arxiv.org) |
| 6. | My Struggles with Rust(compileandrun.com) |
| 7. | Flix: Combining functional programming with logic programming(flix.github.io) |
| 8. | Sista: Speculative inlining, Smalltalk-style(web.stanford.edu) |
| 9. | The Many Kinds of Code Reuse in Rust(cglab.ca) |
| 10. | Why Rust's ownership/borrowing is hard(softwaremaniacs.org) |
| 11. | |
| 12. | Some notes on Rust(lambda-the-ultimate.org) |
| 13. | Programming without objects(falkoriemenschneider.de) |
| 14. | I/O Stack Optimization for Smartphones (2013) [pdf](0b4af6cdc2f0c5998459-c0245c5c937c5dedcca3f1764ecc9b2f.r43.cf2.rackcdn.com) |
| 15. | |
| 16. | |
| 17. | 2Q buffer cache algorithm(tedunangst.com) |
| 18. | WebCLGL – Browser GPGPU(github.com) |
| 19. | |
| 20. | Quickly sketch interactive prototypes(wireframes.linowski.ca) |