user: wkornewald

1122 karma | created 16 years ago

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

Pure Rust Implementation of Apple Code Signing (gregoryszorc.com)

1 pts|4 years ago|discuss

Simdram: A Framework for Bit-Serial SIMD Processing Using DRAM (arxiv.org)

1 pts|5 years ago|discuss

(no title)

6 years ago|discuss

(no title)

6 years ago|discuss

(no title)

6 years ago|discuss

(no title)

6 years ago|discuss

(no title)

6 years ago|discuss

Announcing Dart 2.3: Optimized for building user interfaces (medium.com)

7 pts|6 years ago|discuss

Safe to the Last Instruction: Automated Verification of a Type-Safe OS (microsoft.com)

2 pts|8 years ago|discuss

Local Refinement Typing (arxiv.org)

2 pts|8 years ago|discuss

My Struggles with Rust (compileandrun.com)

353 pts|8 years ago|318 comments

Flix: Combining functional programming with logic programming (flix.github.io)

2 pts|9 years ago|discuss

Sista: Speculative inlining, Smalltalk-style (web.stanford.edu)

2 pts|9 years ago|discuss

The Many Kinds of Code Reuse in Rust (cglab.ca)

3 pts|10 years ago|discuss

Why Rust's ownership/borrowing is hard (softwaremaniacs.org)

122 pts|10 years ago|64 comments

Pi-Forall: How to use and implement a dependently-typed language [video] (youtube.com)

1 pts|10 years ago|discuss

(no title)

10 years ago|discuss

(no title)

10 years ago|discuss

(no title)

10 years ago|discuss

Some notes on Rust (lambda-the-ultimate.org)

204 pts|11 years ago|106 comments