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 | fromregister
Whiley: A Programming Language with Extended Static Checking (whiley.org)
3 points by azhenley on Aug 29, 2020 | past
Thoughts on Parsing Whiley (and Indentation Syntax) (whiley.org)
1 point by bbmario on Aug 1, 2019 | past
Verifying bubble sort in Whiley (whiley.org)
2 points by rdc12 on Dec 19, 2017 | past
What's the Net effect on OOP? (whiley.org)
2 points by redjamjar on June 21, 2017 | past
Whiley: A Programming Language with Extended Static Checking (whiley.org)
1 point by based2 on Oct 26, 2016 | past
Reference Lifetimes in Whiley (whiley.org)
11 points by bjz_ on May 31, 2016 | past | 1 comment
Introductory Lecture on Verification in Whiley (whiley.org)
1 point by redjamjar on Sept 22, 2015 | past
Loop Invariants and Do/While Statements (whiley.org)
2 points by nkurz on May 14, 2014 | past
The Architecture of Verification in Whiley (whiley.org)
1 point by redjamjar on June 25, 2013 | past
Presentation on Whiley [video] (whiley.org)
1 point by redjamjar on June 19, 2013 | past
Java vs C++ performance (whiley.org)
2 points by sidww2 on June 5, 2013 | past
Why not use structural subtyping? (whiley.org)
1 point by tikhonj on May 6, 2013 | past
Understanding Loop Invariants in Whiley (whiley.org)
1 point by redjamjar on Jan 28, 2013 | past
Whiley | Flow Typing -- Cool (whiley.org)
1 point by srsamarthyam on Jan 11, 2013 | past
Testing out my Papilio FPGA (whiley.org)
2 points by redjamjar on Dec 19, 2012 | past
Generating Verification Conditions for Whiley (whiley.org)
1 point by redjamjar on Dec 4, 2012 | past
Comparing I/O in C with Java (whiley.org)
1 point by redjamjar on Nov 30, 2012 | past
A Misconception of Functional Programming? (whiley.org)
3 points by redjamjar on Sept 6, 2012 | past
Notes on Java versus C++ Performance (whiley.org)
2 points by redjamjar on Aug 12, 2012 | past
Reflecting on the JVM Class File Format (whiley.org)
1 point by shortlived on Aug 6, 2012 | past
Reflecting on the JVM Class File Format (whiley.org)
2 points by javinpaul on Aug 6, 2012 | past
The Liquid Metal Project (whiley.org)
2 points by redjamjar on July 4, 2012 | past
Flow Typing for References in Whiley (whiley.org)
1 point by redjamjar on June 11, 2012 | past
Writing a PNG Decoder in Whiley (whiley.org)
1 point by redjamjar on Feb 18, 2012 | past
Connecting the Dots on the Future of Programming Languages (whiley.org)
6 points by 6ren on Jan 18, 2012 | past
Presentation on the Whiley Programming Language (video) (whiley.org)
1 point by redjamjar on Dec 22, 2011 | past
Final should be Default for Classes in Java (whiley.org)
1 point by LiveTheDream on Dec 6, 2011 | past
Not all Tests are Passing ... is that so Bad? (whiley.org)
1 point by redjamjar on Nov 1, 2011 | past
What Kind of Revert are You? (whiley.org)
1 point by redjamjar on Oct 18, 2011 | past
Design by Contract is Most Requested Feature? (whiley.org)
1 point by redjamjar on June 16, 2011 | past

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

Search:

HN For You