13:29 <sethltx> Khady: not a technical question, was wondering how it's being used from at a practical application level. what does your tool do?

13:30 <sethltx> @chenglou thanks and no problem

13:32 <Khady> sethltx: we have different tools to trace the usage of a cryptographic API by an application. Those traces are sent to a web application that uses the traces to provide a report. A big part of this web application is in OCaml and hosted on heroku

13:36 <sethltx> Khady very cool. Are you listening for network traffic with OCaml, or is another app doing that and delegating to the OCaml app?

13:38 <Khady> The frontend is in python. The ocaml tool exposes a web server, but it's only for internal communications, it's not exposed to users

13:48 <sethltx> last bothersome question for you :)... what is the ocaml tool using for a web server?

13:49 <Khady> cohttp

14:58 <sethltx> thanks!

15:00 <Khady> you are welcome :)

15:36 <reynir> sethltx: there's also #ocaml with ~300 people

15:37 <sethltx> thanks reynir

15:43 <sethltx> i wish i could work full time helping elm and reason "get there"

15:47 <bsansouci> sethltx: same

15:47 <bsansouci> But I guess you could ;)

15:51 <sethltx> i don't think my wife and 5 kids would agree X-D

15:54 <reynir> freebsd's phk works full time with open source, and I think he's written about his experiences and such. Maybe there's some advice if you're serious about it

15:55 <reynir> I would think it's more difficult with programming languages, though.

15:57 <sethltx> i'm not even close to being able to do that heh. it's good to dream, though.

16:04 <bsansouci> Ooooh wow

16:05 <bsansouci> Well you're here, that's already fun right :p

16:06 <reynir> not anymore :v