adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
obliq has joined #ocaml
obliq has quit [Client Quit]
mfp_ has joined #ocaml
mfp has quit [Ping timeout: 276 seconds]
pierpal has joined #ocaml
ctrlsbstr has joined #ocaml
jimmyrcom_ has quit [Ping timeout: 240 seconds]
mfp_ has quit [Ping timeout: 268 seconds]
zolk3ri has quit [Remote host closed the connection]
ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
roygbiv has joined #ocaml
gtrak has joined #ocaml
ctrlsbstr has joined #ocaml
gtrak has quit [Quit: WeeChat 2.1]
arthur_rainbow has left #ocaml [#ocaml]
keep_away has joined #ocaml
roygbiv has quit [Quit: ™]
keep_away has quit [Client Quit]
keep_away has joined #ocaml
keep_away is now known as keep_learning
shinnya has quit [Ping timeout: 248 seconds]
jimmyrcom_ has joined #ocaml
csljq has quit [Remote host closed the connection]
muelleme has joined #ocaml
muelleme has quit [Ping timeout: 248 seconds]
kleimkuhler has joined #ocaml
hdon has quit [Ping timeout: 248 seconds]
ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
csljq has joined #ocaml
hdon has joined #ocaml
hdon has quit [Ping timeout: 265 seconds]
cbot has quit [Ping timeout: 240 seconds]
moei has joined #ocaml
tormen_ has joined #ocaml
tormen has quit [Ping timeout: 260 seconds]
jbrown has quit [Ping timeout: 268 seconds]
kleimkuhler has quit [Quit: kleimkuhler]
kleimkuhler has joined #ocaml
hdon has joined #ocaml
ctrlsbstr has joined #ocaml
spew has joined #ocaml
spew has quit [Read error: Connection reset by peer]
MercurialAlchemi has joined #ocaml
ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ctrlsbstr has joined #ocaml
ctrlsbstr has quit [Client Quit]
hdon has quit [Ping timeout: 240 seconds]
kleimkuhler has quit [Quit: kleimkuhler]
cbot has joined #ocaml
Haudegen has joined #ocaml
cobreadmonster has joined #ocaml
tarptaeya has joined #ocaml
mbuf has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
nolanv has quit [Read error: Connection reset by peer]
pierpal has quit [Remote host closed the connection]
alicemaz has joined #ocaml
sh0t has quit [Remote host closed the connection]
nolanv has joined #ocaml
kleimkuhler has joined #ocaml
MercurialAlchemi has joined #ocaml
csljq has quit [Remote host closed the connection]
kini has quit [Remote host closed the connection]
csljq has joined #ocaml
csljq has quit [Ping timeout: 260 seconds]
jimmyrcom_ has quit [Ping timeout: 240 seconds]
muelleme has joined #ocaml
csljq has joined #ocaml
kini has joined #ocaml
muelleme has quit [Ping timeout: 256 seconds]
orbifx has joined #ocaml
kleimkuhler has quit [Quit: kleimkuhler]
csljq has quit [Remote host closed the connection]
hdon has joined #ocaml
csljq has joined #ocaml
orbifx has quit [Ping timeout: 255 seconds]
argent_smith has joined #ocaml
dhil has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
cbot has quit [Quit: Leaving]
cobreadmonster has quit [Quit: Connection closed for inactivity]
hdon has quit [Ping timeout: 268 seconds]
dhil has quit [Ping timeout: 240 seconds]
noplamodo_ has quit [Remote host closed the connection]
nolanv has quit [Read error: Connection reset by peer]
mfp_ has joined #ocaml
nolanv has joined #ocaml
zolk3ri has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Remote host closed the connection]
mk9 has joined #ocaml
mk9 has quit [Ping timeout: 240 seconds]
argent_smith1 has joined #ocaml
argent_smith has quit [Ping timeout: 276 seconds]
argent_smith has joined #ocaml
argent_smith1 has quit [Ping timeout: 240 seconds]
dhil has joined #ocaml
nolanv has quit [Read error: Connection reset by peer]
nolanv has joined #ocaml
bramford has quit [Read error: Connection reset by peer]
bramford has joined #ocaml
Haudegen has quit [Remote host closed the connection]
kakadu has joined #ocaml
mbuf has quit [Quit: Leaving]
ziyourenxiang has joined #ocaml
csljq has quit [Remote host closed the connection]
csljq has joined #ocaml
spew has joined #ocaml
hannes has quit [Ping timeout: 256 seconds]
dhil has quit [Ping timeout: 240 seconds]
Guest21631 has joined #ocaml
Guest21631 is now known as Haudegen
pierpal has joined #ocaml
gtrak has joined #ocaml
exarkun has quit [Read error: Connection reset by peer]
sh0t has joined #ocaml
exarkun has joined #ocaml
moolc has joined #ocaml
<moolc> http://ocaml.org/community/planet/#9bcfcbc87558d22d41091d1e39051541 in part reads "frama-clang 0.0.5, fixing compatibility issue with Debian/Ubuntu, is out. Download ithere." i'm suspecting lost space
pierpal has quit [Ping timeout: 265 seconds]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
gtrak has quit [Ping timeout: 256 seconds]
dhil has joined #ocaml
pierpal has joined #ocaml
sh0t has quit [Remote host closed the connection]
pierpal has quit [Read error: Connection reset by peer]
gtrak has joined #ocaml
shinnya has joined #ocaml
gtrak has quit [Ping timeout: 248 seconds]
gtrak has joined #ocaml
jbrown has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
kit_ty_kate has quit [Quit: WeeChat 1.6]
<discord2> <Perry> Submit a fix to the originating blog?
kit_ty_kate has joined #ocaml
pierpal has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 268 seconds]
gareppa has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Remote host closed the connection]
mk9 has joined #ocaml
hannes has joined #ocaml
nicootje is now known as nicoo
exarkun has quit [Read error: Connection reset by peer]
gareppa has quit [Remote host closed the connection]
jimmyrcom_ has joined #ocaml
sh0t has joined #ocaml
jimmyrcom_ has quit [Ping timeout: 255 seconds]
exarkun has joined #ocaml
csljq has quit [Remote host closed the connection]
dtornabene has joined #ocaml
silver has joined #ocaml
pierpal has quit [Ping timeout: 256 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
mk9 has quit [Quit: mk9]
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
ctrlsbstr has joined #ocaml
pierpal has joined #ocaml
uris77 has joined #ocaml
pierpal has quit [Ping timeout: 260 seconds]
anthony has joined #ocaml
anthony has quit [Client Quit]
cslqj has joined #ocaml
MercurialAlchemi has joined #ocaml
FreeBirdLjj has joined #ocaml
mk9 has joined #ocaml
mk9 has quit [Client Quit]
shinnya has quit [Ping timeout: 276 seconds]
uris77 has quit [Quit: leaving]
Haudegen has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
cslqj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
malina has quit [Remote host closed the connection]
mali has joined #ocaml
Haudegen has joined #ocaml
<discord2> <Perry> Quiet day today here.
<companion_cube> quite
<Drup> I'm wondering what I should submit to the ocaml/ml workshop
<discord2> <Perry> An AI to automatically improve both the compiler and the documentation? 😃
<Drup> I need to submit things that I have actually done
orbifx has joined #ocaml
<Drup> or at least that will be done by the time of icfp
<companion_cube> like, how qcheck changed your life? :-)
<companion_cube> cough
<Drup> I have yet to use qcheck for testing
<companion_cube> *sad*
<Drup> regenerate disguise itself as a qcheck generator for other people's tests
<Drup> but that's about it
<companion_cube> you could use it to test Re? :)
<Drup> companion_cube: have you read the blog post ? :)
cbot has joined #ocaml
<companion_cube> just the discuss post, and relatively quickly :3
<Drup> don't be lazy, it's not that long
<Drup> and it's not very technical
<companion_cube> I'm busy today, I have reviews to do ;_;
<Drup> come oon
<Drup> it'll amuse you
muelleme has joined #ocaml
<companion_cube> there's a 404 on the "example test harness" for me
orbifx has quit [Ping timeout: 240 seconds]
<Drup> oups, I forgot a prefix
moolc has left #ocaml ["ERC (IRC client for Emacs 27.0.50)"]
<Drup> fixed
<companion_cube> so… you give an example of a test run, but you don't use qcheck for testing?
<Drup> I'm not sure what the question is
muelleme has quit [Ping timeout: 256 seconds]
<companion_cube> "I have yet to use qcheck for testing" but the blog post has a "Testing" section
<companion_cube> you use your own harness directly?
<Drup> I meant as a normal library author that would try to test said library. Regenerate is a testing library for other people's code. As for testing regenerate itself ... I just throwed it at re :p
<companion_cube> right
<companion_cube> I mean it's a good opportunity to add tests to Re, actually
<Drup> absolutely
<Drup> It cames for that, really. "How to apply property testing to re without using an oracle ?"
<companion_cube> \o/
<Drup> (next step is "now, what about fuzzing?")
<companion_cube> heh
<companion_cube> "what about SMT?" (probably not tho)
<Drup> someone proposed that
<Drup> I highly doubt it's more efficient than what we do
<companion_cube> at least for Z3 it doesn't seem that good for now
<discord2> <Perry> There's symbolic execution for C at this point (Klee, etc.). It would be really cool to have it for OCaml. "Symbolic execution engine, find me failing cases!" and it drops some on your lap.
dhil has quit [Ping timeout: 256 seconds]
<companion_cube> well hello $DAYJOB
<companion_cube> but it's a difficult problem, and requires a shitton of tooling
<companion_cube> ah yeah, Jan
<companion_cube> (et al.)
<Drup> if you want lot's of quickchecking of language things, http://janmidtgaard.dk/ is a nice list :p
<companion_cube> heh
<companion_cube> Drup: the re test seems nice (you probablyw want to have the list of pos/neg samples be shrunk properly by qcheck
<companion_cube> )
<companion_cube> so you can find which one fails
<Drup> companion_cube: I already did that, yes
<companion_cube> ✔
<Drup> I added that almost instantly when I started using it, and qcheck dumped me 200 samples on my lap
hdon has joined #ocaml
<companion_cube> :DDDD
<companion_cube> "oops"
<flux[m]> btw, have you people tried AFL? it's amazing! (American Fuzzy Lop)
<flux[m]> I haven't tried it with OCaml though. but apparently support for it is available in mainline ocaml?! https://caml.inria.fr/pub/docs/manual-ocaml/afl-fuzz.html
<flux[m]> for example, the example in that document is pretty compelling.
cobreadmonster has joined #ocaml
<companion_cube> it seems really cool, I just haven't taken the time to do all the work wrt tooling :3
<Drup> not only there is support, but some really fun libraries: https://somerandomidiot.com/blog/2017/04/26/crowbar-dhcp/
<flux[m]> I used it in a previous work project for an iso base media file format decoder, and AFL was invaluable. buut after correlated checks were added to the code it became less valuable (ie. two values must correlate in a certain way or the input is discarded as corrupted)
<flux[m]> (needless to say it wasn't OCaml :(()
tobiasBora has quit [Ping timeout: 240 seconds]
Fardale has quit [Ping timeout: 240 seconds]
tobiasBora has joined #ocaml
<flux[m]> with that tool you suddenly start to think questions like "well what if the input file says it has 4 billioon samples and we allocate space for them up-front?"
Fardale has joined #ocaml
jnavila has joined #ocaml
nullifidian has quit [Ping timeout: 255 seconds]
<flux[m]> it's exactly what it feels like, at least till you reach the edges of the tool
<Drup> crowbar is really cool tho, I just haven't found a real occasion to use it.
<flux[m]> btw, one cool AFL demo is that it can generate a 'valid' jpeg file when given a decoder and the string "hello". how is that not the definition of magic? https://lcamtuf.blogspot.fi/2014/11/pulling-jpegs-out-of-thin-air.html
<flux[m]> thanks for the crowbar link, seems interesting
<Drup> sdolan had an example with crowbar where alf figures out the utf8 spec
<Drup> (by fuzzing uunf)
<companion_cube> afl*
<companion_cube> unless you mean the cat eating space alien 0:-)
FreeBirdLjj has quit [Remote host closed the connection]
<Drup> Why not both? ;)
<companion_cube> :D
<flux[m]> alf might even make more sense as a name for the app.
FreeBirdLjj has joined #ocaml
orbifx has joined #ocaml
nullifidian has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 256 seconds]
tobiasBora has quit [Ping timeout: 240 seconds]
tobiasBora has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
pierpal has quit [Read error: Connection reset by peer]
ziyourenxiang has quit [Remote host closed the connection]
ziyourenxiang has joined #ocaml
jimmyrcom_ has joined #ocaml
pierpal has joined #ocaml
noplamodo has joined #ocaml
pierpal has quit [Ping timeout: 255 seconds]
pierpal has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 248 seconds]
exarkun has quit [Read error: Connection reset by peer]
pierpal has quit [Ping timeout: 256 seconds]
exarkun has joined #ocaml
jimmyrcom_ has quit [Ping timeout: 240 seconds]
jimmyrcom_ has joined #ocaml
Haudegen has quit [Remote host closed the connection]
cobreadmonster has quit [Quit: Connection closed for inactivity]
pierpal has joined #ocaml
zmt01 has joined #ocaml
kakadu has joined #ocaml
zmt00 has quit [Ping timeout: 256 seconds]
Haudegen has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
<Leonidas> Drup: I really enjoy your regex magic tools.
pierpal has joined #ocaml
<Drup> thanks :)
Anarchos has joined #ocaml
<discord2> <Perry> "The Drup Magic Regex Company, maker of fine Regular Expression test equipment since 2018."
<Drup> Perry: hey, it's not my first regex fancy thing! I made tyre and furl before :3
<discord2> <Perry> I'll change the date for the brass plaque for your front door. 😃
<orbifx> I think Discord wants everyone onit to suffer.. to see Discord written everywhere...
<discord2> <Bluddy> hehe
<discord2> <Bluddy> orbifx: I emailed freenode. Once they give us permission, I'll look into improving the bot.
<discord2> <Bluddy> 😃 had to use google translate
<Leonidas> Bluddy: that would be neat :-)
<discord2> <Bluddy> also apparently a movie of Louis de Funes, whom I loved watching as a kid
Haudegen has quit [Remote host closed the connection]
<orbifx> His films are funny.
jnavila has quit [Ping timeout: 240 seconds]
Anarchos has quit [Quit: Vision[0.10.2]: i've been blurred!]
muelleme has joined #ocaml
<discord2> <Perry> When I click on that link I get nothing. 😐
pierpa has joined #ocaml
muelleme has quit [Ping timeout: 240 seconds]
<discord2> <Perry> Asterix!
<discord2> <Perry> I have a huge collection, including some in English, in French, and a few in Latin!
jnavila has joined #ocaml
moei has quit [Quit: Leaving...]
jnavila has quit [Remote host closed the connection]
ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jimmyrcom_ has quit [Ping timeout: 268 seconds]
jimmyrcom_ has joined #ocaml
xuanrui has joined #ocaml
tarptaeya has quit [Quit: Konversation terminated!]
zmt01 has quit [Quit: Leaving]
zmt00 has joined #ocaml
ctrlsbstr has joined #ocaml
zmt00 has quit [Ping timeout: 255 seconds]
zmt00 has joined #ocaml
zmt00 has quit [Remote host closed the connection]
zmt00 has joined #ocaml
csljq has joined #ocaml
moei has joined #ocaml
gtrak has quit [Quit: WeeChat 2.1]
xuanrui has quit [Remote host closed the connection]
orbifx has quit [Ping timeout: 256 seconds]
pierpal has quit [Ping timeout: 256 seconds]
sz0 has quit [Quit: Connection closed for inactivity]
mk9 has joined #ocaml
argent_smith has quit [Quit: Leaving.]
mk9 has quit [Client Quit]
ziyourenxiang has quit [Ping timeout: 240 seconds]
kakadu has quit [Remote host closed the connection]
ctrlsbstr has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zmt00 has quit [Quit: Leaving]
zmt00 has joined #ocaml