frankpf

10 ms·

1. 61.▲
   by frankpf 10y ago

   I'm probably missing something obvious here, but on page 25 it says: Azul Systems has been busy rewriting lots of it - Many major subsystems are simpler, faster, lighter - >100k diffs from OpenJDK If Azul Systems' JV
2. 62.▲
   by frankpf 10y ago

   Check out Ur/Web[1]. It's a functional, pure and statically typed language inspired by Haskell. It claims that programs that compile successfully cannot: - Suffer from any kinds of code-injection attacks - Return invalid HTML - Co
3. 63.▲
   WhatsApp Security Whitepaper [pdf](whatsapp.com)

   92 points by frankpf 11y ago|9 comments
4. 64.▲
   When back doors go bad: Mind your Ps and Qs(blog.agilebits.com)

   3 points by frankpf 11y ago|0 comments
5. 65.▲
   by frankpf 11y ago

   I'm not an expert in Idris, but I will try to answer this as best as I can. That's the Haskell type notation (Idris and Haskell are similar). Here's an example: plus5 :: Int -> Int plus5 n = n + 5 The first line i