Hacker News
- One Thing I Really Hate About the JVM http://whiley.org/2011/04/15/one-thing-i-really-hate-about-the-jvm/ 10 comments
- Whiley, a language with statically checked pre and post conditions, releases its 0.6.1 version and portions implemented in Rust https://whiley.org/2022/06/27/whiley-v0.6.1-released/ 22 comments rust
- Verifying leftPad() in Whiley http://whiley.org/2018/04/23/verifying-leftpad-in-whiley/ 6 comments programming
- Verifying Bubble Sort in Whiley http://whiley.org/2017/12/19/verifying-bubble-sort-in-whiley/ 4 comments programming
- Whiley: a Programming Language with Extended Static Checking http://whiley.org/ 12 comments programming
- Reasoning about Properties in Whiley http://whiley.org/2017/03/28/property-syntax-in-whiley/ 5 comments compsci
- Mixfix Function Syntax? http://whiley.org/2016/11/15/mixfix-function-syntax-for-whiley/ 12 comments programming
- Whiley: A JVM language with extended static checking via an automated theorem prover http://whiley.org/about/overview/ 57 comments programming
- Whiley: an Open Source Programming Language with Extended Static Checking http://whiley.org/ 5 comments programming
- Whiley | Lifetimes in Whiley http://whiley.org/2016/05/28/reference-lifetimes-in-whiley/ 4 comments rust
- Whiley | Lifetimes in Whiley http://whiley.org/2016/05/28/reference-lifetimes-in-whiley/ 4 comments programming
- A Story of Cast Expressions in Whiley http://whiley.org/2014/09/05/a-story-of-cast-expressions/ 5 comments programming
- I want to know about available programming languages that implements extended static checking (ESC). Thoughts? http://whiley.org/ 14 comments compsci
- Loop Invariants and Do/While Statements http://whiley.org/2014/05/15/loop-invariants-and-dowhile-statements/ 14 comments programming
- Loop invariants and Break Statements http://whiley.org/2014/05/02/loop-invariants-and-break-statements/ 4 comments programming
- More Tracked Arduino Fun! http://whiley.org/2014/01/31/more-tracked-arduino-fun/ 4 comments arduino
- Proposed Syntax Changes for Whiley http://whiley.org/2013/12/19/proposed-syntax-changes-for-whiley/ 15 comments programming
- A nice overview of Whiley, showing how it's more than just another language [PDF] http://whiley.org/wp-content/uploads/2013/06/melbournejug.pdf 15 comments programming
- Profiling Field Initialisation in Java http://whiley.org/2012/09/30/profiling-field-initialisation-in-java/ 4 comments compsci
- A Misconception of Functional Programming? http://whiley.org/2012/09/06/a-misconception-of-functional-programming/ 112 comments programming
- Reflecting on the JVM Class File Format http://whiley.org/2012/08/06/reflecting-on-the-jvm-class-file-format/ 11 comments programming
- Liquid Metal http://whiley.org/2012/07/04/the-liquid-metal-project/ 5 comments compsci
- Variable Scoping for Try-Catch Blocks in Whiley http://whiley.org/2012/05/22/variable-scoping-for-try-catch-blocks-in-whiley/ 10 comments programming
- A Problem of Decoupling? http://whiley.org/2012/02/29/a-problem-of-decoupling/ 3 comments programming
- Writing a PNG Decoder in Whiley! http://whiley.org/2012/02/18/writing-a-png-decoder-in-whiley/ 4 comments programming
- Connecting the Dots on the Future of Programming Languages http://whiley.org/2012/01/18/connecting-the-dots-on-the-future-of-programming-languages/ 144 comments programming
- Final should be Default for Classes in Java http://whiley.org/2011/12/06/final-should-be-default-for-classes-in-java/ 142 comments programming
- Fall-Through by Default for Switch Statements? http://whiley.org/2011/10/26/fall-through-by-default-switch-statements/ 13 comments programming
- Namespaces in Whiley http://whiley.org/2011/09/03/namespaces-in-whiley/ 8 comments programming
- Disambiguating Ambiguous Syntax? http://whiley.org/2011/06/28/disambiguating-ambiguous-syntax/ 5 comments programming
- Language Complexity? http://whiley.org/2011/06/13/language-complexity/ 38 comments programming
- Little Canvas Creatures http://whiley.org/2011/05/26/javascript-playground/ 6 comments programming
- Synchronous and Asynchronous Message-Sends in Whiley http://whiley.org/2011/05/16/actor-syntax-in-whiley/ 12 comments programming
- I went through and pulled out some good quotes from "Coders At Work" http://whiley.org/2011/04/25/got-any-quotes-from-coders-at-work/ 7 comments programming
- One Thing I Really Hate About the JVM http://whiley.org/2011/04/15/one-thing-i-really-hate-about-the-jvm/ 27 comments java
- Actors on the JVM. How do they work? http://whiley.org/2011/03/22/actors-on-jvm/ 4 comments coding
- Implementing Structural Types (+code) http://whiley.org/2011/03/07/implementing-structural-types/ 12 comments programming
- One Approach to Efficient Structural Subtyping http://whiley.org/2011/01/14/one-approach-efficient-structural-subtyping/ 12 comments compsci
- Why don't more languages use Structural Subtyping? http://whiley.org/2010/12/13/why-not-use-structural-subtyping/ 134 comments programming
- Thoughts on the X10 Programming Language http://whiley.org/2010/08/05/the-x10-programming-language/ 6 comments compsci
- What is Extended Static Checking? http://whiley.org/2010/06/26/what-is-extended-static-checking/ 25 comments programming
Linking pages
- In Praise of Function Pre and Postconditions | Programming Zen http://programmingzen.com/2016/07/03/in-praise-of-function-pre-and-postconditions/ 138 comments
- TLA+ in Practice and TheoryPart 1: The Principles of TLA+ https://pron.github.io/posts/tlaplus_part1 44 comments
- Let's Prove Leftpad https://www.hillelwayne.com/post/lpl/ 30 comments
- GitHub - Whiley/WhileyCompiler: The Whiley Compiler (WyC) https://github.com/whiley/whileycompiler 15 comments
- 20 Coolest Features of Non-Java JVM Languages - DEV Community https://dev.to/awwsmm/20-coolest-features-of-non-java-jvm-languages-2p4h 0 comments
- wuffs/related-work.md at main · google/wuffs · GitHub https://github.com/google/wuffs/blob/main/doc/related-work.md 0 comments