wkornewald
- Karma
- 1,122
- Created
- 15 years ago
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
Recent Submissions
- 1. ▲ Pure Rust Implementation of Apple Code Signing (gregoryszorc.com)
- 2. ▲ Simdram: A Framework for Bit-Serial SIMD Processing Using DRAM (arxiv.org)
- 3. ▲ Announcing Dart 2.3: Optimized for building user interfaces (medium.com)
- 4. ▲ Safe to the Last Instruction: Automated Verification of a Type-Safe OS (microsoft.com)
- 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)