adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
Haudegen has quit [Ping timeout: 240 seconds]
bitwinery has quit [Quit: Leaving]
Guest67735 is now known as jao
jao has quit [Remote host closed the connection]
jao has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
count3rmeasure has quit [Remote host closed the connection]
rgherdt has quit [Quit: Leaving]
J-Lawson27 has joined #ocaml
_whitelogger has joined #ocaml
J-Lawson27 has quit [Remote host closed the connection]
_whitelogger has joined #ocaml
rople has joined #ocaml
kgop has joined #ocaml
andreas303 has quit [Ping timeout: 260 seconds]
andreas303 has joined #ocaml
mfp has quit [Ping timeout: 240 seconds]
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 240 seconds]
dborisog has joined #ocaml
gravicappa has joined #ocaml
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
kleisli has quit [Ping timeout: 252 seconds]
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Ping timeout: 240 seconds]
webshinra has joined #ocaml
narimiran has joined #ocaml
bartholin has quit [Remote host closed the connection]
vicfred has quit [Quit: Leaving]
ravenousmoose has joined #ocaml
kleisli has joined #ocaml
philt has quit [Quit: Leaving]
philtor has quit [Quit: Leaving]
Serpent7776 has joined #ocaml
Haudegen has joined #ocaml
rgherdt has joined #ocaml
barockobamo has joined #ocaml
barockobamo has quit [Remote host closed the connection]
barockobamo has joined #ocaml
barockobamo2 has joined #ocaml
andreas303 has quit [Remote host closed the connection]
barockobamo has quit [Ping timeout: 240 seconds]
andreas303 has joined #ocaml
gareppa has joined #ocaml
gareppa has quit [Quit: Leaving]
ollehar has joined #ocaml
dhil has joined #ocaml
rople has quit [Ping timeout: 276 seconds]
rople has joined #ocaml
ravenousmoose has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
nicoo has quit [Ping timeout: 260 seconds]
nicoo has joined #ocaml
<sim642> He must've solved the halting problem to know it runs infinitely
<sim642> Far gone now, but those nested quantifiers are nothing but catastrophic backtracking
nicooo has joined #ocaml
nicoo has quit [Ping timeout: 260 seconds]
rople has quit [Ping timeout: 240 seconds]
narimiran has quit [Ping timeout: 240 seconds]
zolk3ri has quit [Remote host closed the connection]
zolk3ri has joined #ocaml
mfp has joined #ocaml
rgherdt has quit [Remote host closed the connection]
rgherdt has joined #ocaml
mbuf has joined #ocaml
rgherdt has quit [Ping timeout: 252 seconds]
Haudegen has quit [Quit: Bin weg.]
rgherdt has joined #ocaml
rgherdt has quit [Ping timeout: 265 seconds]
cthuluh has quit [Remote host closed the connection]
Haudegen has joined #ocaml
CcxWrk has joined #ocaml
davs has joined #ocaml
davs has quit [Client Quit]
rgherdt has joined #ocaml
rgherdt has quit [Ping timeout: 240 seconds]
sagax has quit [Quit: Konversation terminated!]
sagax has joined #ocaml
silver has joined #ocaml
nicooo has quit [Remote host closed the connection]
nicooo has joined #ocaml
<Leonidas> sim642: maybe he also waited infinitely long and it didn't finish.
rgherdt has joined #ocaml
barockobamo3 has joined #ocaml
barockobamo3 has quit [Client Quit]
barockobamo2 has quit [Ping timeout: 246 seconds]
octachron has quit [Quit: ZNC 1.7.5 - https://znc.in]
octachron has joined #ocaml
jaar has joined #ocaml
spew has joined #ocaml
<spew> morning
<spew> there's no special syntax for monadic unit values is there?
<spew> like a (;*) or something weird?
<spew> so I don't have to do let* () = foo in
<spew> like it's sml
<Leonidas> spew: no, there isn't.
<spew> :(
narimiran has joined #ocaml
<companion_cube> >>= fun () -> …
<rgrinberg> Leonidas we sure have a lot of protobuf libraries in OCaml today :)
<companion_cube> how many are prod ready? :)
dhil has quit [Ping timeout: 265 seconds]
<Leonidas> rgrinberg: yes, two of those are written by my coworkers :|
<Leonidas> I guess I should also start one, due to peer pressure.
rgherdt has quit [Ping timeout: 252 seconds]
q9929t has joined #ocaml
mbuf has quit [Quit: Leaving]
zolk3ri has quit [Ping timeout: 260 seconds]
gareppa has joined #ocaml
FreeBirdLjj has joined #ocaml
gareppa has quit [Quit: Leaving]
dhil has joined #ocaml
mbuf has joined #ocaml
cthuluh has joined #ocaml
cthuluh has quit [Quit: leaving]
cthuluh has joined #ocaml
zolk3ri has joined #ocaml
q9929t has quit [Quit: q9929t]
smazga has joined #ocaml
count3rmeasure has joined #ocaml
CcxWrk has quit [Ping timeout: 252 seconds]
ollehar has quit [Ping timeout: 240 seconds]
<companion_cube> hmmm, is discuss down?
Serpent7776 has quit [Quit: Leaving]
FreeBirdLjj has quit [Remote host closed the connection]
<Leonidas> time to migrate back to IRC
<jmiven> companion_cube: not for me
<Leonidas> but it loads for be, though a bit slow
jco has joined #ocaml
<companion_cube> weird
mbuf has quit [Quit: Leaving]
rwmjones is now known as rwmjones|HOLS
ziyourenxiang has quit [Ping timeout: 265 seconds]
Haudegen has quit [Quit: Bin weg.]
<companion_cube> hmm it's very slow indeed
FreeBirdLjj has joined #ocaml
tane has joined #ocaml
wilfredh has joined #ocaml
bitwinery has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 252 seconds]
oni-on-ion has joined #ocaml
dborisog has quit [Ping timeout: 276 seconds]
Serpent7776 has joined #ocaml
Haudegen has joined #ocaml
dhil has quit [Ping timeout: 252 seconds]
dhil has joined #ocaml
ygrek__ has joined #ocaml
rgherdt has joined #ocaml
vicfred has joined #ocaml
dhil has quit [Ping timeout: 265 seconds]
tmhoang has quit [Remote host closed the connection]
rgherdt has quit [Ping timeout: 240 seconds]
ravenousmoose has joined #ocaml
tmhoang has joined #ocaml
sagax has quit [Quit: Konversation terminated!]
tmhoang has quit [Remote host closed the connection]
jco has quit [Quit: WeeChat 2.6]
kakadu_ has joined #ocaml
tmhoang has joined #ocaml
<spew> what is discuss?
<oni-on-ion> talk/chat/converse ?
jnavila has joined #ocaml
<hannes> spew: a web service at https://discuss.ocaml.org running the discourse open source "forum" software where talking/discussion about OCaml takes place.
<spew> neat
<spew> didn't know that existed
klntsky has quit [Remote host closed the connection]
klntsky has joined #ocaml
wilfredh has quit [Quit: Connection closed for inactivity]
bartholin has joined #ocaml
rgherdt has joined #ocaml
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
Anarchos has joined #ocaml
<count3rmeasure> maybe its slow because of the BAP annoucement?
gravicappa has quit [Ping timeout: 265 seconds]
<companion_cube> seems better now
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
Anarchos has joined #ocaml
slice has quit [Ping timeout: 276 seconds]
slice has joined #ocaml
jaar has quit [Ping timeout: 240 seconds]
sarna has quit [Quit: bye]
sarna has joined #ocaml
tane has quit [Quit: Leaving]
sarna has quit [Read error: Connection reset by peer]
sarna_ has joined #ocaml
sarna_ is now known as sarna
narimiran has quit [Ping timeout: 240 seconds]
stux|RC has quit [Quit: Aloha!]
stux|RC has joined #ocaml
kakadu_ has quit [Ping timeout: 240 seconds]
ravenousmoose has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
count3rmeasure has quit [Quit: Leaving]
jnavila has quit [Read error: Connection reset by peer]
kleisli has quit [Ping timeout: 246 seconds]
oni-on-ion has quit [Quit: Quit]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Client Quit]
oni-on-ion has joined #ocaml
oni-on-ion has quit [Remote host closed the connection]
oni-on-ion has joined #ocaml
Anarchos has quit [Read error: Connection reset by peer]
smazga has quit [Ping timeout: 276 seconds]
kakadu__ has joined #ocaml
Anarchos has joined #ocaml
nicooo has quit [Ping timeout: 260 seconds]
kleisli has joined #ocaml
jao has joined #ocaml
smazga has joined #ocaml
nicooo has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
nicooo has quit [Remote host closed the connection]
nicooo has joined #ocaml
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
rgherdt has quit [Quit: Leaving]
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
rpcope has quit [Ping timeout: 250 seconds]
rpcope has joined #ocaml
kleisli has quit [Ping timeout: 240 seconds]
Fardale has quit [Ping timeout: 252 seconds]
aubian has quit [Ping timeout: 276 seconds]
kleisli has joined #ocaml
Fardale has joined #ocaml
aubian has joined #ocaml
kakadu__ has quit [Remote host closed the connection]
Serpent7776 has quit [Quit: leaving]
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
ziyourenxiang has joined #ocaml
spew has quit [Quit: Connection closed for inactivity]