<ul> <li><a href="http://news.rice.edu/2014/11/05/next-for-darpa-autocomplete-for-programmers-2/#sthash.jZJB0hwR.dpuf">Rice University leads $11 million effort in big data software analytics</a></li> <li><a href="https://www.haskell.org/hoogle/">The Hoogle Search Engine</a></li> <li>Don’t mock?</li> <li><a href="http://lambda-the-ultimate.org/node/5079">Why do need modules?</a></li> <li><a href="https://github.com/mintern-java/functions">Every Java @FunctionalInterface you want</a></li> <li><a href="https://github.com/Prismatic/schema">Prismatic Schema</a></li> <li><a href="http://whiley.org/">Whiley Programming Language</a> - <a href="http://whiley.org/2012/12/04/generating-verification-conditions-for-whiley/">Generating Verification Conditions for Whiley</a></li> </ul>

Rice University leads $11 million effort in big data software analytics The Hoogle Search Engine Don’t mock? Why do need modules? Every Java @FunctionalInterface you want Prismatic Schema Whiley Programming Language - Generating Verification Conditions for Whiley

<ul> <li><a href="http://news.rice.edu/2014/11/05/next-for-darpa-autocomplete-for-programmers-2/#sthash.jZJB0hwR.dpuf" rel="noopener noreferrer">Rice University leads $11 million effort in big data software analytics</a></li> <li><a href="https://www.haskell.org/hoogle/" rel="noopener noreferrer">The Hoogle Search Engine</a></li> <li>Don’t mock?</li> <li><a href="http://lambda-the-ultimate.org/node/5079" rel="noopener noreferrer">Why do need modules?</a></li> <li><a href="https://github.com/mintern-java/functions" rel="noopener noreferrer">Every Java @FunctionalInterface you want</a></li> <li><a href="https://github.com/Prismatic/schema" rel="noopener noreferrer">Prismatic Schema</a></li> <li><a href="http://whiley.org/" rel="noopener noreferrer">Whiley Programming Language</a> - <a href="http://whiley.org/2012/12/04/generating-verification-conditions-for-whiley/" rel="noopener noreferrer">Generating Verification Conditions for Whiley</a></li> </ul>

Episode 125

Greg, Mark and Richard get together weekly and talk about things of interest in the Java community. Greg works for SimWorks (http://www.simworks.com) who specialize in mobile phone software. Mark works for SecureMX (www.smx.co.nz). Richard works for Blue Train Software (http://www.bluetrainsoftware.com)

Share Episode 125

Sign up to save your podcasts

Episode 125

Episode 125