HN Explorer

redjamjar

↗ HN profile [ 82.9 ms ] full profile
Karma
25
Created
July 29, 2010 (15y 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. VIDEO: Reconstructing 3D Scenes from a Camera [wait for the green car] (youtube.com)
    4 points 1
  8. Understanding Loop Invariants in Whiley (whiley.org)
    1 points 0
  9. Testing out my Papilio FPGA (whiley.org)
    2 points 0
  10. Generating Verification Conditions for Whiley (whiley.org)
    1 points 0
  11. Comparing I/O in C with Java (whiley.org)
    1 points 0
  12. A Misconception of Functional Programming? (whiley.org)
    3 points 0
  13. Notes on Java versus C++ Performance (whiley.org)
    2 points 0
  14. The Liquid Metal Project (whiley.org)
    2 points 0
  15. Flow Typing for References in Whiley (whiley.org)
    1 points 0
  16. Writing a PNG Decoder in Whiley (whiley.org)
    1 points 0
  17. Presentation on the Whiley Programming Language (video) (whiley.org)
    1 points 0
  18. What Kind of Revert are You? (whiley.org)
    1 points 0
  19. Design by Contract is Most Requested Feature? (whiley.org)
    1 points 0
  20. Where's the JLS gone? (java.sun.com)
    1 points 0
  21. Musing about Actors on the JVM (whiley.org)
    2 points 0
  22. Implementing Structural Types (+code) (whiley.org)
    4 points 1
  23. Why don't more languages use Structural Subtyping? (whiley.org)
    6 points 1
  24. Implementing Actors on the JVM (whiley.org)
    3 points 0
  25. Indentation Syntax in Whiley (whiley.org)
    2 points 0