Some people may know this guy

[Erik de Castro Lopo]

Hi,

When he lived in Sydney, Sean used to come to FP-Syd quite regularly
and presented at least once. He now makes his living earning bug
bounties from crypto projects.

He recently earned a relatively large bounty and was interviewed
about it:

https://www.youtube.com/watch?v=NEmwfl-zLuw

Cheers,
Erik
--
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/

[Paul A. Steckler]

On Wed, Oct 26, 2022 at 6:54 PM Erik de Castro Lopo
<mle...@mega-nerd.com> wrote:
> When he lived in Sydney, Sean used to come to FP-Syd quite regularly
> and presented at least once. He now makes his living earning bug
> bounties from crypto projects.

Is anyone in FP *not* involved in crypto these days?

I'm working on this:

https://github.com/MinaProtocol/mina

-- Paul

[Clinton Mead]

Paul

I started at PaidRight in Sydney at the start of July, and I'm working on a backend in Haskell and we've also got a pay modelling team working in Scala+Spark. But yes you're roughly right. Which is good though because I think we're the only Sydney based non-crypto company that's actually hiring Haskell developers now.

- Clinton

--
You received this message because you are subscribed to the Google Groups "fp-syd" group.
To unsubscribe from this group and stop receiving emails from it, send an email to fp-syd+un...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/fp-syd/CAMSKV5fXj3%3DuYnBznSV08iv9_6m5AN%2BvDo1t-xrbtFQrpXW7GQ%40mail.gmail.com.

[Erik de Castro Lopo]

Paul A. Steckler wrote:

> Is anyone in FP *not* involved in crypto these days?
>
> I'm working on this:
>
> https://github.com/MinaProtocol/mina

Sean tells me he remains agnostic about cryptocurrency. The long term goal
is to increase the use of formal methods to help write correct software.
He chose the cryptocurrency space because there are few stakes higher than
smart contracts with millions of dollars in them. If people can't be
convinced to use formal methods in that space, it's unlikely they'll ever
be convinced.

[Tony Sloane]

Thanks for passing this on Erik. It’s interesting to see what Sean is up to.

No crypto for me, but blockchain and functional programming technology @Symbiont (https://www.symbiont.io).

cheers,

Tony

--
You received this message because you are subscribed to the Google Groups "fp-syd" group.
To unsubscribe from this group and stop receiving emails from it, send an email to fp-syd+un...@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/fp-syd/20221027133610.02683e7e039c538ca4f827e7%40mega-nerd.com.