Hacker News new | ask | show | jobs
user: wkornewald
created: 2010-01-23
karma: 1122

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

submissions:

Pure Rust Implementation of Apple Code Signing
1 points | 0 comments
Simdram: A Framework for Bit-Serial SIMD Processing Using DRAM
1 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Announcing Dart 2.3: Optimized for building user interfaces
7 points | 0 comments
Safe to the Last Instruction: Automated Verification of a Type-Safe OS
2 points | 0 comments
Local Refinement Typing
2 points | 0 comments
My Struggles with Rust
353 points | 318 comments
Flix: Combining functional programming with logic programming
2 points | 0 comments
Sista: Speculative inlining, Smalltalk-style
2 points | 0 comments
The Many Kinds of Code Reuse in Rust
3 points | 0 comments
Why Rust's ownership/borrowing is hard
122 points | 64 comments
Pi-Forall: How to use and implement a dependently-typed language [video]
1 points | 0 comments
0 points | 0 comments
Some notes on Rust
204 points | 106 comments
Programming without objects
126 points | 131 comments
I/O Stack Optimization for Smartphones (2013) [pdf]
33 points | 1 comments
Tailspin: Reversible JavaScript Interpreter in JavaScript
12 points | 0 comments
Ivory Language: an eDSL for safe systems programming in Haskell
68 points | 2 comments
2Q buffer cache algorithm
53 points | 8 comments
WebCLGL – Browser GPGPU
8 points | 0 comments
0 points | 0 comments
An Experiment in Improving PyPy.js/Emscripten Compressiblity
1 points | 0 comments
Quickly sketch interactive prototypes
1 points | 0 comments
0 points | 0 comments