companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.11 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.11/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
<d_bot> <sip> why are the bots talking?
<companion_cube> the IRC bridge?
<d_bot> <sip> that's against tos
<d_bot> <sip> if it allows you to sign in with your cookie you should do that instead
<companion_cube> -_-
<companion_cube> I'm not a bot, this is the IRC <-> discord bridge
<companion_cube> ffs
<companion_cube> @sip please read the topic
<companion_cube> as in "bridged to IRC" and stuff
dwt has quit [Ping timeout: 260 seconds]
<d_bot> <sip> that bridge works by using a bot account to communicate
<d_bot> <sip> i'm not trying to be an asshole
<waleee-cl> ... you really thought there was 200 bots in a channel?
<waleee-cl> or room, or whatever the discord terminology is
<waleee-cl> (200 = current number of users, including the discord-bridge bot)
<d_bot> <sip> yes, how else would the bridge work? you need to use the api
Haudegen has quit [Ping timeout: 268 seconds]
<waleee-cl> your first comment, "why are the bots talking?" did imply that you didn't know that
sleepydog has joined #ocaml
dwt has joined #ocaml
greeb has quit [Quit: ZNC 1.8.2 - https://znc.in]
freshmaker666 has joined #ocaml
freshmaker666 has quit [Changing host]
freshmaker666 has joined #ocaml
<d_bot> <darrenldl> isnt that tos just against programming normal human accounts?
mxns_ has quit [Ping timeout: 260 seconds]
<d_bot> <Yugami> the page you linked says that self-bot are prohibited, for what I know the IRC do not use self-bot.
<d_bot> <Yugami> otherwise they wouldn't be "tagged" as bot
mxns has joined #ocaml
mxns has quit [Ping timeout: 252 seconds]
mxns has joined #ocaml
waleee-cl has quit [Quit: Connection closed for inactivity]
narimiran has joined #ocaml
mxns has quit [Ping timeout: 252 seconds]
Tuplanolla has joined #ocaml
narimiran has quit [Ping timeout: 245 seconds]
punpun444[m] has joined #ocaml
punpun444[m] has left #ocaml [#ocaml]
mxns has joined #ocaml
mxns has quit [Ping timeout: 245 seconds]
Serpent7776 has joined #ocaml
Haudegen has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 268 seconds]
aquijoule_ has quit [Ping timeout: 240 seconds]
rockethead has joined #ocaml
richbridger has joined #ocaml
rockethead has quit [Remote host closed the connection]
narimiran has joined #ocaml
pyx has joined #ocaml
pyx has quit [Client Quit]
tane has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 245 seconds]
tizoc has quit [Remote host closed the connection]
tizoc has joined #ocaml
narimiran has quit [Quit: leaving]
jbrown has quit [Ping timeout: 260 seconds]
jbrown has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 245 seconds]
<d_bot> <qubit1> Hi, does anyone know of the approximate date of OCaml 4.13 release?
<d_bot> <octachron> @qubit1 : 24 February + 6 month = 24 August, 24 August + summer holidays ≃ Late September
motherfsck has quit [Ping timeout: 240 seconds]
<d_bot> <qubit1> Ok, thanks!
mxns has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
zebrag has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 246 seconds]
mxns has joined #ocaml
mxns has quit [Ping timeout: 250 seconds]
jackt85 has joined #ocaml
bjorkintosh has quit [Quit: Leaving]
tane has quit [Quit: Leaving]
waleee-cl has joined #ocaml
<d_bot> <stab> Using arbitrary length integers will be a big performance hit compared to say a bitvector right? Trying to implement this paper http://www.es.mdh.se/pdf_publications/3813.pdf and it handles bit widths by using arbitrary length integers then bringing stuff back into the bitwidth domain with mod 2w. The one implementation ive seen for this is using bitvectors which just seems off to me tbh
zebrag has quit [Quit: Konversation terminated!]
<d_bot> <stab> infact their docs pretty much say they arent doing canonization correctly since they state "Its actual cardinality could be less since the CLP may overlap itself" which is specifically what canonization is built to avoid. The simplest solution here would just be to use big int, just wondering how bad that is gonna be on performance
mxns has joined #ocaml
mxns has quit [Ping timeout: 252 seconds]
ghosthell has joined #ocaml
<ghosthell> Non-Terrestrial or Terrestrial beings Which have Access to Trans-Un1versal Transp0rtation Please PM me*%
jackt85 has quit [Ping timeout: 240 seconds]
jackt has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 246 seconds]
jackt has quit [Ping timeout: 240 seconds]
mxns has joined #ocaml
sleepydog has quit [Quit: ZNC 1.8.2 - https://znc.in]
sleepydog has joined #ocaml
snowpanda has joined #ocaml
Serpent7776 has quit [Quit: leaving]
Putonlalla has quit [Ping timeout: 240 seconds]
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml