Hacker News new | ask | show | jobs
user: redjamjar
created: 2010-07-28
karma: 31

submissions:

0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments
Functional Reactive Programming (In Whiley)
3 points | 0 comments
Use package managers and dependency declarations? We need your help
3 points | 0 comments
Neat Demo of Software Verification
1 points | 0 comments
What's the Net effect on OOP?
2 points | 0 comments
0 points | 0 comments
Introductory Lecture on Verification in Whiley
1 points | 0 comments
The Architecture of Verification in Whiley
1 points | 0 comments
Presentation on Whiley [video]
1 points | 0 comments
VIDEO: Reconstructing 3D Scenes from a Camera [wait for the green car]
4 points | 1 comments
Understanding Loop Invariants in Whiley
1 points | 0 comments
Testing out my Papilio FPGA
2 points | 0 comments
Generating Verification Conditions for Whiley
1 points | 0 comments
Comparing I/O in C with Java
1 points | 0 comments
A Misconception of Functional Programming?
3 points | 0 comments
Notes on Java versus C++ Performance
2 points | 0 comments
The Liquid Metal Project
2 points | 0 comments
Flow Typing for References in Whiley
1 points | 0 comments