HN Explorer

wkornewald

↗ HN profile [ 78.5 ms ] full profile
Karma
1,122
Created
January 23, 2010 (16y ago)
Submissions
0
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)
    1 points 0
  2. Simdram: A Framework for Bit-Serial SIMD Processing Using DRAM (arxiv.org)
    1 points 0
  3. Announcing Dart 2.3: Optimized for building user interfaces (medium.com)
    7 points 0
  4. Safe to the Last Instruction: Automated Verification of a Type-Safe OS (microsoft.com)
    2 points 0
  5. Local Refinement Typing (arxiv.org)
    2 points 0
  6. My Struggles with Rust (compileandrun.com)
    353 points 328
  7. Flix: Combining functional programming with logic programming (flix.github.io)
    2 points 0
  8. Sista: Speculative inlining, Smalltalk-style (web.stanford.edu)
    2 points 0
  9. The Many Kinds of Code Reuse in Rust (cglab.ca)
    3 points 0
  10. Why Rust's ownership/borrowing is hard (softwaremaniacs.org)
    122 points 66
  11. Pi-Forall: How to use and implement a dependently-typed language [video] (youtube.com)
    1 points 0
  12. Some notes on Rust (lambda-the-ultimate.org)
    204 points 112
  13. Programming without objects (falkoriemenschneider.de)
    126 points 132
  14. I/O Stack Optimization for Smartphones (2013) [pdf] (0b4af6cdc2f0c5998459-c0245c5c937c5dedcca3f1764ecc9b2f.r43.cf2.rackcdn.com)
    33 points 1
  15. Tailspin: Reversible JavaScript Interpreter in JavaScript (github.com)
    12 points 0
  16. Ivory Language: an eDSL for safe systems programming in Haskell (ivorylang.org)
    68 points 2
  17. 2Q buffer cache algorithm (tedunangst.com)
    53 points 8
  18. WebCLGL – Browser GPGPU (github.com)
    8 points 0
  19. An Experiment in Improving PyPy.js/Emscripten Compressiblity (rfk.id.au)
    1 points 0
  20. Quickly sketch interactive prototypes (wireframes.linowski.ca)
    1 points 0
  21. 67 points 30
  22. PyPy 2.2 released with incremental GC (morepypy.blogspot.de)
    1 points 0
  23. PyPy 2.1 beta released with ARM JIT (morepypy.blogspot.com)
    77 points 19
  24. How Browsers Store Your Passwords (and Why You Shouldn't Let Them) (raidersec.blogspot.com)
    1 points 0
  25. Automated Debugging for Arbitrarily Long Executions (0b4af6cdc2f0c5998459-c0245c5c937c5dedcca3f1764ecc9b2f.r43.cf2.rackcdn.com)
    1 points 0