adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Upcoming OCaml MOOC: https://huit.re/ocamlmooc | OCaml 4.03.0 release notes: http://ocaml.org/releases/4.03.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
theblatte has quit [Ping timeout: 240 seconds]
theblatte has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 244 seconds]
orbifx has quit [Ping timeout: 264 seconds]
nicholasf has quit []
chinglish has joined #ocaml
shinnya has quit [Ping timeout: 244 seconds]
chsn has left #ocaml [#ocaml]
inr has quit [Ping timeout: 276 seconds]
inr has joined #ocaml
tmtwd has joined #ocaml
fraggle_ has quit [Ping timeout: 264 seconds]
two_wheels has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
fraggle_ has joined #ocaml
chinglish has left #ocaml [#ocaml]
jhaberku has joined #ocaml
ydl` has joined #ocaml
ydl has quit [Ping timeout: 244 seconds]
rgrinberg has joined #ocaml
glennsl_ has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
ydl` is now known as ydl
fluter has quit [Ping timeout: 264 seconds]
ydl has left #ocaml ["ERC (IRC client for Emacs 24.5.1)"]
bungoman has quit [Read error: Connection reset by peer]
bungoman has joined #ocaml
fluter has joined #ocaml
<Heasummn> Can I write something in RPN form?
<Heasummn> like (= 5 5)
<Heasummn> and if so, Can I partially apply that?
<pierpa> ((=) 5 5)
<Heasummn> ah k
<Heasummn> yeah that worked on partial application
<Heasummn> thanks
<pierpa> ;)
Reshi has joined #ocaml
groovy2shoes has quit [Quit: Leaving]
segmond has quit [Ping timeout: 255 seconds]
pierpa has quit [Ping timeout: 255 seconds]
FreeBirdLjj has joined #ocaml
pyx has joined #ocaml
pyx has quit [Client Quit]
segmond has joined #ocaml
bruce_r has joined #ocaml
manizzle has joined #ocaml
jhaberku has quit [Remote host closed the connection]
<Heasummn> This is really weird
<Heasummn> There are only 2 use cases of List.combine. I've checked with grep.
<Heasummn> I put prints before and after each to check which one throws the error
<Heasummn> but neither print runs
<Heasummn> though the error is thrown
<Heasummn> what could cause that?
fraggle_ has quit [Ping timeout: 260 seconds]
<Heasummn> oh nvm
<Heasummn> It was my build system that was weird
jonh has joined #ocaml
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 244 seconds]
fraggle_ has joined #ocaml
bruce_r_ has joined #ocaml
bruce_r has quit [Ping timeout: 265 seconds]
tmtwd has quit [Ping timeout: 252 seconds]
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
gent00 has quit [Ping timeout: 265 seconds]
gent00 has joined #ocaml
FreeBird_ has quit [Remote host closed the connection]
tmtwd has joined #ocaml
<Heasummn> Anyone on?
<Heasummn> I have something that looks like this
<Heasummn> TArrow(int, int) and float
<Heasummn> I want to conver that to TArrow(int, TArrow(int, float))
<Heasummn> err, int and float are my own types. Replace them with TInt and TFloat
MercurialAlchemi has joined #ocaml
AlexDenisov has joined #ocaml
copy` has quit [Quit: Connection closed for inactivity]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
Heasummn has quit [Remote host closed the connection]
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<Algebr`> engil: still around?
tmtwd has quit [Ping timeout: 276 seconds]
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
Mercuria1Alchemi has joined #ocaml
FreeBirdLjj has joined #ocaml
<orbitz_> companion_cube: how come qcheck got merged with this inline thing? I want qcheck but this inline thing is a monstrosity that I don't want ;(
orbitz_ has quit [Quit: Reconnecting]
orbitz has joined #ocaml
FreeBird_ has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 250 seconds]
<Algebr`> darn, I missed the canopy discussion. I want to leave my haskell blog and use an OCaml powered one
FreeBird_ has quit [Remote host closed the connection]
mekaj has joined #ocaml
FreeBirdLjj has joined #ocaml
mcc has quit [Quit: Connection closed for inactivity]
TheVoid has quit [Ping timeout: 276 seconds]
rgrinberg has quit [Ping timeout: 265 seconds]
TheVoid has joined #ocaml
bruce_r_ has quit [Ping timeout: 255 seconds]
Algebr` has quit [Remote host closed the connection]
Algebr` has joined #ocaml
yegods has quit [Remote host closed the connection]
tane has joined #ocaml
LiamGoodacre has joined #ocaml
d0nn1e has quit [Ping timeout: 252 seconds]
d0nn1e has joined #ocaml
<companion_cube> orbitz: you can install qtest and just use the QCheck module
<companion_cube> but in retrospect I think that was a mistake.
<companion_cube> I should have just added a dependency and kept qcheck separate…
Anarchos has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
Distortion has joined #ocaml
zpe has joined #ocaml
nowprovision has joined #ocaml
nowprovision has left #ocaml ["Leaving"]
Distortion has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
Distortion has joined #ocaml
larhat has quit [Quit: Leaving.]
Distortion has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
Distortion has joined #ocaml
<orbitz> companion_cube: that would be nice, thank you for the response
Simn has joined #ocaml
LiamGoodacre has quit [Ping timeout: 264 seconds]
ydl has joined #ocaml
AlexDenisov has joined #ocaml
glennsl has joined #ocaml
picolino has quit [Ping timeout: 252 seconds]
filp has joined #ocaml
freusque has joined #ocaml
SpaceSheep has joined #ocaml
ygrek has quit [Ping timeout: 255 seconds]
Distortion has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
<mrvn> Is anyone using google protocol buffers with python3?
<mrvn> ups, sorry.
<Algebr`> any crypto experts around?
Distortion has joined #ocaml
<Algebr`> infinity0: maybe have insight? I have these two sample points, I'm looking for any insight as to how they're made http://pastebin.com/EWMPBq8G slightly strange cause they end in PET, which I take to be some kind of token?
Reshi has quit [Quit: WeeChat 1.5]
TheVoid has quit [Ping timeout: 250 seconds]
<reynir> looks like base64 with 'PET' at the end
Distortion has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
<Algebr`> yes, I see its base64 with PET at the end, rather what algo was used to create it. http://pastebin.com/duWMb5t0
Distortion has joined #ocaml
larhat has joined #ocaml
<reynir> perhaps »B64.encode x ^ "PET"« :v
<infinity0> Algebr`: where did you get it from
<reynir> PET could also be base64 for all I know
<Algebr`> infinity0: iphone ios9
<infinity0> the = means the end of the base64 stream, it never apepars in the middle
<Algebr`> there's also a / which is odd to me
<infinity0> are you trying to reverse engineer something
<infinity0> / is normal base64
<Algebr`> yes, i want to be able to recreate it
<infinity0> meh i dunno.. you can base64 decode the part without PET, otherwise you'll need more context
<reynir> infinity0: yes, it could be two streams concatenated
<reynir> (or that was what I was thinking)
<infinity0> you could try to xor the streams together, if you see a string of 00000... it means those parts are not random
<Algebr`> infinity0: its an encryption of a password, the password was Fachilt6
<reynir> 149 bytes is a bit odd
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
dakk has joined #ocaml
<infinity0> i'm not too familiar with these sorts of low-level crypto details too
<infinity0> but i'd read up on how other password salt/hashing schemes are used, maybe it's similar
<Algebr`> darn, I was hoping for some name, then I could just search through the binary
ydl has left #ocaml ["ERC (IRC client for Emacs 24.5.1)"]
rwmjones has quit [Ping timeout: 276 seconds]
rwmjones has joined #ocaml
Distortion has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
Distortion has joined #ocaml
soupault has joined #ocaml
<flux> algebr`, have you looked at password crackers? john the ripper, hashcat, etc?
<flux> I'm not sure if they come with functionality to try different ciphers though, but at least they support multiple
<flux> so provide the known password as the dictionary and iterate the algorithms
<Algebr`> flux: compiling hashcat now
<Algebr`> well nvm, it doesn't compile out the box on os x
notdan has joined #ocaml
notdan has quit [Changing host]
notdan has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
adelbertc has quit [Quit: Connection closed for inactivity]
jwatzman|work has joined #ocaml
dakk has quit [Quit: Leaving]
jwatzman|work has quit [Client Quit]
yegods has joined #ocaml
jwatzman|work has joined #ocaml
Jaxan_ is now known as Jaxan
FreeBirdLjj has joined #ocaml
yegods has quit []
TheLemonMan has joined #ocaml
sdothum has joined #ocaml
copy` has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 276 seconds]
ggole has joined #ocaml
gwenloh has joined #ocaml
_andre has joined #ocaml
SpaceSheep has quit [Quit: WeeChat 1.5]
AlexDenisov has joined #ocaml
malparti has joined #ocaml
malparti has quit [Client Quit]
AlexDenisov has quit [Ping timeout: 244 seconds]
AlexDenisov has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: WeeChat 1.5]
rgrinberg has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
rgrinberg has quit [Ping timeout: 260 seconds]
two_wheels has joined #ocaml
soupault has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
pierpa has joined #ocaml
SpaceSheep has joined #ocaml
al-damiri has joined #ocaml
freehck has joined #ocaml
shinnya has joined #ocaml
zpe has quit [Remote host closed the connection]
larhat has quit [Ping timeout: 244 seconds]
larhat has joined #ocaml
SpaceSheep has quit [Quit: WeeChat 1.5]
agarwal1975 has joined #ocaml
copy` has quit [Quit: Connection closed for inactivity]
mrvn has quit [Ping timeout: 250 seconds]
mrvn has joined #ocaml
Mercuria1Alchemi has quit [Ping timeout: 265 seconds]
MercurialAlchemi has joined #ocaml
bungoman has quit [Read error: Connection reset by peer]
bungoman has joined #ocaml
copy` has joined #ocaml
bruce_r has joined #ocaml
Denommus has joined #ocaml
chris2 has quit [Ping timeout: 255 seconds]
chris2 has joined #ocaml
sepp2k has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
jwatzman|work has quit [Quit: jwatzman|work]
bruce_r has quit [Ping timeout: 264 seconds]
GenericSnake has joined #ocaml
jwatzman|work has joined #ocaml
GenericSnake has quit [Client Quit]
larhat has quit [Quit: Leaving.]
gwenloh has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
gwenloh has joined #ocaml
sh0t has joined #ocaml
bruce_r has joined #ocaml
tane has quit [Quit: Leaving]
M-pesterhazy has quit [Read error: Connection reset by peer]
regnat[m] has quit [Read error: Connection reset by peer]
M-jimt has quit [Remote host closed the connection]
M-martinklepsch has quit [Remote host closed the connection]
M-Illandan has quit [Write error: Connection reset by peer]
M-ErkkiSeppl1 has quit [Remote host closed the connection]
Bluddy[m] has quit [Remote host closed the connection]
srenatus[m] has quit [Read error: Connection reset by peer]
barkmadley[m] has quit [Remote host closed the connection]
TheVoid has joined #ocaml
picolino has joined #ocaml
Orion3k has quit [Ping timeout: 255 seconds]
filp has quit [Quit: Bye]
rgrinberg has quit [Ping timeout: 244 seconds]
Denommus` has joined #ocaml
Denommus has quit [Ping timeout: 260 seconds]
Orion3k has joined #ocaml
Distortion has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client]
Orion3k has quit [Ping timeout: 252 seconds]
Denommus` is now known as Denommus
tane has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
AlexDenisov has joined #ocaml
jwatzman|work has quit [Quit: jwatzman|work]
Orion3k has joined #ocaml
regnat[m] has joined #ocaml
sdothum has quit [Quit: ZNC - 1.6.0 - http://znc.in]
rgrinberg has joined #ocaml
sdothum has joined #ocaml
adelbertc has joined #ocaml
bruce_r has quit [Ping timeout: 250 seconds]
darkf has quit [Read error: Connection reset by peer]
darkf has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Denommus has quit [Remote host closed the connection]
sepp2k has quit [Ping timeout: 240 seconds]
Simn has quit [Ping timeout: 264 seconds]
agarwal1975 has quit [Quit: agarwal1975]
sepp2k has joined #ocaml
ahf has quit [Ping timeout: 252 seconds]
Simn has joined #ocaml
ahf has joined #ocaml
M-martinklepsch has joined #ocaml
M-jimt has joined #ocaml
Bluddy[m] has joined #ocaml
M-ErkkiSeppl has joined #ocaml
barkmadley[m] has joined #ocaml
M-pesterhazy has joined #ocaml
srenatus[m] has joined #ocaml
M-Illandan has joined #ocaml
Denommus has joined #ocaml
AlexDenisov has joined #ocaml
ygrek has joined #ocaml
axiles has quit [Ping timeout: 265 seconds]
axiles has joined #ocaml
govg has joined #ocaml
shinnya has quit [Ping timeout: 252 seconds]
Xizor has joined #ocaml
Anarchos has joined #ocaml
LiamGoodacre has joined #ocaml
rgrinberg has quit [Ping timeout: 244 seconds]
ggole has quit []
TheLemonMan has joined #ocaml
<orbitz> companion_cube: is the `count` parameter to `QCheck.Test.make` respected? I tried upping it to 10k and my tests don't take any longer to run
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
bruce_r has joined #ocaml
<orbitz> Hrm, is there a cap, perhaps
freusque has quit [Read error: Connection reset by peer]
<orbitz> Looks like aroudn 300 is th elimit
<companion_cube> not it's not, there is a bug report
<orbitz> ah, max_gen
<companion_cube> I don't have much time for it :s (sorryyyy)
<orbitz> companion_cube: If I up max_gen then I can get my 10000 runs, is that a reasoanble workaround?
<companion_cube> well, try it
<companion_cube> ah yeah, count must be capped by max_gen, something like that
<orbitz> It does my 10k
<orbitz> Ok, what's the purpsoe of max_gen?
<companion_cube> it's because you can generate more than `count` inputs
<companion_cube> in case some of them do not satisfy preconditions
<companion_cube> but there is to be a limit somewhere, otherwise you would loop forever on unsatisfiable preconditions
<orbitz> right
<orbitz> So would a reasonable fix to be that when max_gen < count, max_gen = count * 3?
<companion_cube> meh, I think this is documented :p
<companion_cube> hmm, maybe not
bruce_r has quit [Remote host closed the connection]
<orbitz> There seems to be an obvious palce to insert a little bit of code to ensure max_gen is some value relative to count. I'm just not sure what you intend that relative value to be :)
<companion_cube> hmm, PR accepted :p
<orbitz> I'll write something up later this week, adding to my todo list :)
ewanas has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
<TheLemonMan> any reason why opam_installer.sh still installs 4.02 ?
rgrinberg has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
bruce_r has joined #ocaml
Xizor has quit [Ping timeout: 244 seconds]
Xizor has joined #ocaml
AlexDenisov has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
shinnya has joined #ocaml
zv has joined #ocaml
malc_ has joined #ocaml
bungoman has quit [Ping timeout: 250 seconds]
ydl has joined #ocaml
sh0t has quit [Remote host closed the connection]
<ydl> is there a way to debug interactive executables like utop? also should i expect to need to recompile from source myself or can i debug opam-installed executables?
_andre has quit [Quit: leaving]
<Algebr`> could run it under ocamldebug
<Algebr`> I assume
Anarchos has joined #ocaml
ewanas has quit [Quit: Leaving]
kakadu has joined #ocaml
orbifx has joined #ocaml
orbifx has quit [Ping timeout: 255 seconds]
orbifx has joined #ocaml
tane has quit [Ping timeout: 244 seconds]
<orbifx> rgrinberg: does opium have any sanitation functions for parameters?
<rgrinberg> orbifx: you mean route params?
<orbifx> yeah
<rgrinberg> i don't think so, what kind of sanitation functions are you thinkinf of?
<orbifx> removing .. from paths for example
<rgrinberg> hmm I thought we were talking about path parameters (or route parameters)
<rgrinberg> the only restriction on a parameter of the form /xxx/:param is that it can't have a / i believe
<orbifx> so a malicious user could sumbit /xxx/../../etc/passwd If I have a file printing response?
<rgrinberg> nope. because only a route that is explicitly added may be matched.
<rgrinberg> a file will only be served from the FS using the static middleware. That middleware *will* do sanitation on the paths it accepts
tane has joined #ocaml
rgrinberg has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
<rgrinberg> orbifx: i may have missed a message from you.
d0nn1e has quit [Ping timeout: 244 seconds]
d0nn1e has joined #ocaml
Xizor has quit [Read error: Connection reset by peer]
<orbifx> rgrinberg: no, haven't responded yet to your last
rgrinberg has quit [Quit: WeeChat 1.5]
rgrinberg has joined #ocaml
<orbifx> rgrinberg: what do you mean by static middleware?
<orbifx> rgrinberg: obviousy this is not safe: https://github.com/orbifx/logarion/blob/master/src/web.ml#L15
<rgrinberg> orbifx: yes, definitely not.
<rgrinberg> it won't quite work for you since you want the extensions stripped, so you're right that you should sanitize your paths
<orbifx> so it there a handy function or should I look at another library when it comes to path handling?
<orbifx> like Filename
<rgrinberg> core has something useful for this. But it's rather heavy for this use.
<rgrinberg> in your particular case it seems like there's no nesting, so a simple re where you test for . or slashes (and backslashes) should be enough
<rgrinberg> or you can just rip off that path handling bit from the static middleware
<orbifx> I'll just escape dots for now
<orbifx> I think that is safe, right?
<rgrinberg> on unix, it should be.
<orbifx> which file does the middlewhere sanisations?
manizzle has quit [Ping timeout: 252 seconds]
ydl has left #ocaml ["ERC (IRC client for Emacs 24.5.1)"]
manizzle has joined #ocaml
tane has quit [Quit: Leaving]
<orbifx> thank you rgrinberg
rgrinberg has quit [Ping timeout: 252 seconds]
<orbifx> rgrinberg: I did a simple substitude for forward slashes (https://github.com/orbifx/logarion/blob/master/src/web.ml#L20)
bruce_r has quit [Remote host closed the connection]
bruce_r has joined #ocaml
ahf has quit [Ping timeout: 244 seconds]
jlouis has quit [Ping timeout: 240 seconds]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
orbifx has quit [Quit: WeeChat 1.5]
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
LiamGoodacre has quit [Quit: Leaving]
ahf has joined #ocaml
rgrinberg has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
al-damiri has quit [Quit: Connection closed for inactivity]
reflects has joined #ocaml
reflects has left #ocaml [#ocaml]
al-damiri has joined #ocaml
kakadu has quit [Remote host closed the connection]
govg has quit [Ping timeout: 252 seconds]
govg has joined #ocaml
govg has quit [Ping timeout: 260 seconds]
govg has joined #ocaml
jonh has left #ocaml ["WeeChat 0.4.2"]
atsampso1 has quit [Ping timeout: 264 seconds]
<rgrinberg> Drup: i see you're not a fan of having an Infix module
zv has quit [Ping timeout: 260 seconds]
atsampson has joined #ocaml
minn has joined #ocaml
bruce_r has quit [Ping timeout: 264 seconds]
sepp2k has quit [Quit: Leaving.]
Simn has quit [Quit: Leaving]
zv has joined #ocaml