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
<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?"