Hacker News
- Safer smart contracts through type-driven development in idris [pdf] http://publications.lib.chalmers.se/records/fulltext/234939/234939.pdf 2 comments
Lobsters
- Implementing and Optimizing a Simple, Dependently-Typed Language (2010) http://publications.lib.chalmers.se/records/fulltext/124826.pdf 5 comments compilers , haskell , pdf , plt
- Testing Polymorphic Properties https://publications.lib.chalmers.se/records/fulltext/local_99387.pdf 6 comments haskell
- Geodetic latitude, longitude, and altitude to local ENU Frame - Weird Results - Advise needed https://publications.lib.chalmers.se/records/fulltext/159412.pdf#page=24&zoom=100,96,121 3 comments matlab
- Don't throw away the baby with the bathwater - Solidity is unsafe, the EVM can be safe http://publications.lib.chalmers.se/records/fulltext/234939/234939.pdf 31 comments ethereum
- Parallelization in Rust with fork-join and friends http://publications.lib.chalmers.se/records/fulltext/219016/219016.pdf 15 comments rust
- Yi - An Editor in Haskell for Haskell -- Jean-Philippe Bernardy (2008) http://publications.lib.chalmers.se/records/fulltext/local_72549.pdf 13 comments haskell