For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | redjamjar's submissionsregister
1.
Functional Reactive Programming (In Whiley) (youtu.be)
3 points by redjamjar on Sept 26, 2020 | past
2.
Use package managers and dependency declarations? We need your help (qualtrics.com)
3 points by redjamjar on Aug 13, 2018 | past
3.
Neat Demo of Software Verification (youtube.com)
1 point by redjamjar on Aug 8, 2017 | past
4.
What's the Net effect on OOP? (whiley.org)
2 points by redjamjar on June 21, 2017 | past
5.
Introductory Lecture on Verification in Whiley (whiley.org)
1 point by redjamjar on Sept 22, 2015 | past
6.
The Architecture of Verification in Whiley (whiley.org)
1 point by redjamjar on June 25, 2013 | past
7.
Presentation on Whiley [video] (whiley.org)
1 point by redjamjar on June 19, 2013 | past
8.
VIDEO: Reconstructing 3D Scenes from a Camera [wait for the green car] (youtube.com)
4 points by redjamjar on Feb 14, 2013 | past | 1 comment
9.
Understanding Loop Invariants in Whiley (whiley.org)
1 point by redjamjar on Jan 28, 2013 | past
10.
Testing out my Papilio FPGA (whiley.org)
2 points by redjamjar on Dec 19, 2012 | past
11.
Generating Verification Conditions for Whiley (whiley.org)
1 point by redjamjar on Dec 4, 2012 | past
12.
Comparing I/O in C with Java (whiley.org)
1 point by redjamjar on Nov 30, 2012 | past
13.
A Misconception of Functional Programming? (whiley.org)
3 points by redjamjar on Sept 6, 2012 | past
14.
Notes on Java versus C++ Performance (whiley.org)
2 points by redjamjar on Aug 12, 2012 | past
15.
The Liquid Metal Project (whiley.org)
2 points by redjamjar on July 4, 2012 | past
16.
Flow Typing for References in Whiley (whiley.org)
1 point by redjamjar on June 11, 2012 | past
17.
Writing a PNG Decoder in Whiley (whiley.org)
1 point by redjamjar on Feb 18, 2012 | past
18.
Presentation on the Whiley Programming Language (video) (whiley.org)
1 point by redjamjar on Dec 22, 2011 | past
19.
Not all Tests are Passing ... is that so Bad? (whiley.org)
1 point by redjamjar on Nov 1, 2011 | past
20.
What Kind of Revert are You? (whiley.org)
1 point by redjamjar on Oct 18, 2011 | past
21.
Design by Contract is Most Requested Feature? (whiley.org)
1 point by redjamjar on June 16, 2011 | past
22.
Where's the JLS gone? (sun.com)
1 point by redjamjar on June 14, 2011 | past
23.
Musing about Actors on the JVM (whiley.org)
2 points by redjamjar on March 22, 2011 | past
24.
Implementing Structural Types (+code) (whiley.org)
4 points by redjamjar on March 7, 2011 | past | 1 comment
25.
Why don't more languages use Structural Subtyping? (whiley.org)
6 points by redjamjar on Dec 13, 2010 | past | 1 comment
26.
Implementing Actors on the JVM (whiley.org)
3 points by redjamjar on Oct 24, 2010 | past
27.
Indentation Syntax in Whiley (whiley.org)
2 points by redjamjar on Oct 17, 2010 | past
28.
Thoughts on the X10 Programming Language (whiley.org)
2 points by redjamjar on Aug 5, 2010 | past | 1 comment

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search:

HN For You