HN Explorer

redjamjar

↗ HN profile [ 97.2 ms ] full profile
Karma
25
Created
July 29, 2010 (16y ago)
Submissions
0
  1. Functional Reactive Programming (In Whiley) (youtu.be)
    3 points 0
  2. Use package managers and dependency declarations? We need your help (massey.au1.qualtrics.com)
    3 points 0
  3. Neat Demo of Software Verification (youtube.com)
    1 points 0
  4. What's the Net effect on OOP? (whiley.org)
    2 points 0
  5. Introductory Lecture on Verification in Whiley (whiley.org)
    1 points 0
  6. The Architecture of Verification in Whiley (whiley.org)
    1 points 0
  7. Presentation on Whiley [video] (whiley.org)
    1 points 0
  8. VIDEO: Reconstructing 3D Scenes from a Camera [wait for the green car] (youtube.com)
    4 points 1
  9. Understanding Loop Invariants in Whiley (whiley.org)
    1 points 0
  10. Testing out my Papilio FPGA (whiley.org)
    2 points 0
  11. Generating Verification Conditions for Whiley (whiley.org)
    1 points 0
  12. Comparing I/O in C with Java (whiley.org)
    1 points 0
  13. A Misconception of Functional Programming? (whiley.org)
    3 points 0
  14. Notes on Java versus C++ Performance (whiley.org)
    2 points 0
  15. The Liquid Metal Project (whiley.org)
    2 points 0
  16. Flow Typing for References in Whiley (whiley.org)
    1 points 0
  17. Writing a PNG Decoder in Whiley (whiley.org)
    1 points 0
  18. Presentation on the Whiley Programming Language (video) (whiley.org)
    1 points 0
  19. Not all Tests are Passing ... is that so Bad? (whiley.org)
    1 points 0
  20. What Kind of Revert are You? (whiley.org)
    1 points 0
  21. Design by Contract is Most Requested Feature? (whiley.org)
    1 points 0
  22. Where's the JLS gone? (java.sun.com)
    1 points 0
  23. Musing about Actors on the JVM (whiley.org)
    2 points 0
  24. Implementing Structural Types (+code) (whiley.org)
    4 points 1
  25. Why don't more languages use Structural Subtyping? (whiley.org)
    6 points 1