00:02
rgrinberg has joined #ocaml
00:11
Soni has quit [Ping timeout: 268 seconds]
00:14
Tuplanolla has quit [Quit: Leaving.]
00:14
average has joined #ocaml
00:21
Haudegen has quit [Ping timeout: 265 seconds]
00:30
Soni has joined #ocaml
01:16
rgrinberg has quit [Ping timeout: 256 seconds]
02:30
rambocoder_ has joined #ocaml
02:37
infinity0 has quit [Remote host closed the connection]
02:43
infinity0 has joined #ocaml
03:14
average has quit [Quit: Connection closed for inactivity]
03:17
motherfsck has quit [Quit: quit]
03:57
zebrag has quit [Quit: Konversation terminated!]
04:17
waleee has quit [Quit: WeeChat 3.3]
04:23
companion_cube has quit [Quit: WeeChat 3.0]
04:23
ocabot_ has quit [Remote host closed the connection]
04:23
ocabot has joined #ocaml
04:24
companion_cube has joined #ocaml
04:28
ralu has quit [Ping timeout: 250 seconds]
04:29
mbuf has joined #ocaml
04:37
ralu has joined #ocaml
04:37
rambocoder_ has quit [Quit: Connection closed for inactivity]
04:52
shawn has joined #ocaml
04:53
shawnw has quit [Ping timeout: 256 seconds]
05:05
rgrinberg has joined #ocaml
05:32
Haudegen has joined #ocaml
06:02
dmbaturin has quit [*.net *.split]
06:02
andreypopp has quit [*.net *.split]
06:02
lobo has quit [*.net *.split]
06:02
landonf has quit [*.net *.split]
06:02
copy has quit [*.net *.split]
06:02
farn has quit [*.net *.split]
06:02
drakonis has quit [*.net *.split]
06:02
habnabit has quit [*.net *.split]
06:02
Franciman has quit [*.net *.split]
06:02
ccx has quit [*.net *.split]
06:02
landonf has joined #ocaml
06:02
copy has joined #ocaml
06:02
dmbaturin has joined #ocaml
06:02
drakonis has joined #ocaml
06:02
lobo has joined #ocaml
06:02
farn has joined #ocaml
06:02
Franciman has joined #ocaml
06:02
drakonis has quit [Signing in (drakonis)]
06:02
drakonis has joined #ocaml
06:02
lobo has joined #ocaml
06:02
lobo has quit [Signing in (lobo)]
06:03
habnabit_ has joined #ocaml
06:03
andreypopp has joined #ocaml
06:04
ccx has joined #ocaml
06:06
remexre has quit [*.net *.split]
06:06
nimaje has quit [*.net *.split]
06:06
adibsaad[m] has quit [*.net *.split]
06:06
zozozo has quit [*.net *.split]
06:06
_tjr_ has quit [*.net *.split]
06:06
Johann has quit [*.net *.split]
06:06
arg_ has quit [*.net *.split]
06:06
Geekingfrog has quit [*.net *.split]
06:06
Armael has quit [*.net *.split]
06:06
arg_ has joined #ocaml
06:06
Armael has joined #ocaml
06:06
remexre has joined #ocaml
06:06
Geekingfrog has joined #ocaml
06:06
nimaje has joined #ocaml
06:06
zozozo has joined #ocaml
06:07
Johann has joined #ocaml
06:07
adibsaad[m] has joined #ocaml
06:09
andreypopp_ has joined #ocaml
06:10
andreypopp has quit [Ping timeout: 256 seconds]
06:11
_tjr_ has joined #ocaml
06:13
namkeleser has joined #ocaml
06:21
gravicappa has joined #ocaml
06:33
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
07:04
motherfsck has joined #ocaml
08:21
namkeleser has quit [Quit: Client closed]
08:28
mro has joined #ocaml
08:39
average has joined #ocaml
08:50
salkin has joined #ocaml
08:56
lobo has quit [Quit: lobo]
08:56
lobo has joined #ocaml
09:01
Anarchos has joined #ocaml
09:10
Anarchos has quit [Quit: Vision[]: i've been blurred!]
09:38
zozozo has quit [Quit: WeeChat 2.9]
09:38
zozozo has joined #ocaml
09:48
Anarchos has joined #ocaml
10:05
mro has quit [Remote host closed the connection]
10:09
mro has joined #ocaml
10:26
mro has quit [Remote host closed the connection]
10:38
mro has joined #ocaml
10:44
Colt has quit [Quit: Leaving]
10:49
bartholin has joined #ocaml
10:59
Colt has joined #ocaml
11:00
kakadu has joined #ocaml
11:01
Anarchos has quit [Quit: Vision[]: i've been blurred!]
11:31
mbuf has left #ocaml [Leaving]
11:31
mbuf has joined #ocaml
11:31
<
mbuf >
What is the extension for .mlp?
11:32
<
mbuf >
or expansion of .mlp?
11:33
<
d_bot >
<Kakadu> Highly likely p stands for Preprocessed
11:33
<
d_bot >
<Kakadu> or 'should be preprocessed'
11:34
gravicappa has quit [Ping timeout: 252 seconds]
11:41
<
mbuf >
machine language preprocessed?
11:45
salkin has quit [Ping timeout: 252 seconds]
11:47
<
d_bot >
<Kakadu> ml-file preprocessed
11:48
Haudegen has quit [Quit: Bin weg.]
11:54
mro has quit [Remote host closed the connection]
11:54
<
mbuf >
d_bot, thanks!
12:01
olle has joined #ocaml
12:11
gravicappa has joined #ocaml
12:13
mro has joined #ocaml
12:15
mro has quit [Remote host closed the connection]
12:23
<
vsiles >
mbuf: my little pony ?
12:35
<
mbuf >
vsiles, :) the compiler will not complain, I suppose
12:51
mro has joined #ocaml
12:51
Haudegen has joined #ocaml
12:54
mro has quit [Remote host closed the connection]
13:01
salkin has joined #ocaml
13:08
mro has joined #ocaml
13:30
mro has quit [Remote host closed the connection]
13:31
mro has joined #ocaml
13:48
mro has quit [Remote host closed the connection]
14:02
mro has joined #ocaml
14:04
mro has quit [Client Quit]
14:17
cedric has joined #ocaml
15:40
<
d_bot >
<cemerick> looks like tyxml doesn't support `type` attr on `<script>`?
15:59
mro has joined #ocaml
16:00
waleee has joined #ocaml
16:11
mro has quit [Remote host closed the connection]
16:17
mro has joined #ocaml
16:21
mro has quit [Ping timeout: 256 seconds]
16:23
waleee has quit [Ping timeout: 264 seconds]
16:24
waleee has joined #ocaml
16:30
olle has quit [Ping timeout: 256 seconds]
16:35
Anarchos has joined #ocaml
16:39
Anarchos has quit [Client Quit]
16:39
mro has joined #ocaml
16:50
Anarchos has joined #ocaml
16:51
mro has quit [Ping timeout: 252 seconds]
16:51
Haudegen has quit [Quit: Bin weg.]
17:01
salkin has quit [Ping timeout: 256 seconds]
17:17
zebrag has joined #ocaml
17:19
mro has joined #ocaml
17:24
mro has quit [Ping timeout: 268 seconds]
17:29
waleee has quit [Ping timeout: 268 seconds]
17:33
waleee has joined #ocaml
17:33
Skyfire has quit [Quit: brb]
17:34
unyu has joined #ocaml
17:49
bartholin has quit [Quit: Leaving]
17:51
mro has joined #ocaml
17:56
mro has quit [Ping timeout: 264 seconds]
17:58
waleee has quit [Ping timeout: 268 seconds]
18:00
waleee has joined #ocaml
18:25
mro has joined #ocaml
18:26
Haudegen has joined #ocaml
18:26
mbuf has quit [Quit: Leaving]
18:29
Anarchos has quit [Quit: Vision[]: i've been blurred!]
18:30
mro has quit [Ping timeout: 256 seconds]
18:32
<
Drup >
oh, that patch ... I forgot again ...
18:53
Anarchos has joined #ocaml
18:54
<
Anarchos >
how to force opam to install the «5.00.0+trunk» version for ocaml-base-compiler ?
19:11
<
octachron >
You can't, the development (+trunk) version is not an ocaml-base-compiler but a variant
19:11
<
octachron >
Or more precisely, you would need to create your own ocaml-base-compiler package
19:35
<
Anarchos >
octachron when i do 'opam install menhir' it tries to install 4.13.1 but it says my switch is 5.00.0+trunk :(
19:39
rgrinberg has joined #ocaml
19:50
salkin has joined #ocaml
19:57
rgrinberg has quit [Ping timeout: 256 seconds]
19:59
<
d_bot >
<Sby13> Hi guys! There is this contest you might want to check!
19:59
<
d_bot >
<Sby13> UniHack is an international hackathon for university and high school students with a focus on solving civic issues. 📷
19:59
<
d_bot >
<Sby13> If you are eager to learn from our mentors, challenge your hacking abilities, and bond with new students from around the world, then this is the event for you. 📷
19:59
<
d_bot >
<Sby13> You will have 48h to develop software or hardware with your team members and get a chance to qualify for track prizes or even for the grand prize. Solving a civic issue gets your team bonus points. 📷
19:59
<
d_bot >
<Sby13> This year’s edition will be online. 📷
20:01
riverdc has quit [Quit: quitting]
20:01
riverdc has joined #ocaml
20:02
mro has joined #ocaml
20:02
Franciman has quit [Ping timeout: 265 seconds]
20:03
adibsaad[m] has quit [Ping timeout: 265 seconds]
20:06
mro has quit [Ping timeout: 252 seconds]
20:14
Franciman has joined #ocaml
20:19
adibsaad[m] has joined #ocaml
20:21
rito_ has joined #ocaml
20:27
rito_ has quit [Quit: Leaving]
20:27
Anarchos has quit [Ping timeout: 256 seconds]
20:46
rgrinberg has joined #ocaml
21:23
salkin has quit [Ping timeout: 264 seconds]
21:39
rgrinberg has quit [*.net *.split]
21:39
waleee has quit [*.net *.split]
21:39
cedric has quit [*.net *.split]
21:39
gravicappa has quit [*.net *.split]
21:39
kakadu has quit [*.net *.split]
21:39
zozozo has quit [*.net *.split]
21:39
lobo has quit [*.net *.split]
21:39
remexre has quit [*.net *.split]
21:39
Boarders_ has quit [*.net *.split]
21:39
JSharp has quit [*.net *.split]
21:39
Fardale has quit [*.net *.split]
21:39
cbarrett has quit [*.net *.split]
21:39
habnabit_ has quit [*.net *.split]
21:39
companion_cube has quit [*.net *.split]
21:39
ocabot has quit [*.net *.split]
21:39
tizoc has quit [*.net *.split]
21:39
kandu has quit [*.net *.split]
21:39
Techcable_ has quit [*.net *.split]
21:39
greyrat_ has quit [*.net *.split]
21:39
ansiwen_ has quit [*.net *.split]
21:39
rwmjones has quit [*.net *.split]
21:39
sleepydog has quit [*.net *.split]
21:39
reynir has quit [*.net *.split]
21:39
bgs has quit [*.net *.split]
21:39
p4bl0 has quit [*.net *.split]
21:39
dwt_ has quit [*.net *.split]
21:39
asm has quit [*.net *.split]
21:39
mal`` has quit [*.net *.split]
21:39
engil1 has quit [*.net *.split]
21:39
riverdc has quit [*.net *.split]
21:39
unyu has quit [*.net *.split]
21:39
ralu has quit [*.net *.split]
21:39
infinity0 has quit [*.net *.split]
21:39
jyc has quit [*.net *.split]
21:39
micro has quit [*.net *.split]
21:39
bacam has quit [*.net *.split]
21:39
omni has quit [*.net *.split]
21:39
Drup has quit [*.net *.split]
21:39
nyuhu has quit [*.net *.split]
21:39
Cypi has quit [*.net *.split]
21:39
xand0 has quit [*.net *.split]
21:39
caasih has quit [*.net *.split]
21:39
Ekho has quit [*.net *.split]
21:39
xenu has quit [*.net *.split]
21:39
welterde has quit [*.net *.split]
21:39
leah2 has quit [*.net *.split]
21:39
Putonlalla has quit [*.net *.split]
21:39
slothby has quit [*.net *.split]
21:39
energizer has quit [*.net *.split]
21:39
Chouhartem has quit [*.net *.split]
21:39
adrien has quit [*.net *.split]
21:39
cross has quit [*.net *.split]
21:39
favonia has joined #ocaml
21:41
Colt has quit [Remote host closed the connection]
21:41
Colt has joined #ocaml
21:44
zozozo has joined #ocaml
21:44
kakadu has joined #ocaml
21:44
waleee has joined #ocaml
21:44
riverdc has joined #ocaml
21:44
tizoc has joined #ocaml
21:44
kandu has joined #ocaml
21:44
Techcable_ has joined #ocaml
21:44
greyrat_ has joined #ocaml
21:44
rwmjones has joined #ocaml
21:44
Fardale has joined #ocaml
21:44
ansiwen_ has joined #ocaml
21:44
cbarrett has joined #ocaml
21:44
bacam has joined #ocaml
21:44
sleepydog has joined #ocaml
21:44
Drup has joined #ocaml
21:44
Boarders_ has joined #ocaml
21:44
nyuhu has joined #ocaml
21:44
xand0 has joined #ocaml
21:44
Cypi has joined #ocaml
21:44
caasih has joined #ocaml
21:44
Ekho has joined #ocaml
21:44
reynir has joined #ocaml
21:44
p4bl0 has joined #ocaml
21:44
xenu has joined #ocaml
21:44
dwt_ has joined #ocaml
21:44
omni has joined #ocaml
21:44
JSharp has joined #ocaml
21:44
bgs has joined #ocaml
21:44
cedric has joined #ocaml
21:44
unyu has joined #ocaml
21:44
rgrinberg has joined #ocaml
21:44
habnabit_ has joined #ocaml
21:44
ralu has joined #ocaml
21:44
lobo has joined #ocaml
21:44
remexre has joined #ocaml
21:44
companion_cube has joined #ocaml
21:44
ocabot has joined #ocaml
21:44
jyc has joined #ocaml
21:44
infinity0 has joined #ocaml
21:44
micro has joined #ocaml
21:44
welterde has joined #ocaml
21:44
leah2 has joined #ocaml
21:44
d_bot has quit [Excess Flood]
21:44
mal`` has joined #ocaml
21:44
cross has joined #ocaml
21:44
energizer has joined #ocaml
21:44
Chouhartem has joined #ocaml
21:44
asm has joined #ocaml
21:44
Putonlalla has joined #ocaml
21:44
engil1 has joined #ocaml
21:44
slothby has joined #ocaml
21:44
adrien has joined #ocaml
21:45
d_bot has joined #ocaml
21:45
Colt has quit [Remote host closed the connection]
21:46
Colt has joined #ocaml
22:15
Tuplanolla has joined #ocaml
22:42
cedric has quit [Quit: Konversation terminated!]
23:00
rgrinberg has quit [Ping timeout: 264 seconds]
23:05
rgrinberg has joined #ocaml
23:35
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
23:37
rgrinberg has joined #ocaml
23:48
<
d_bot >
<cemerick> Has anyone done benchmarks of dune builds or opam switch creation between Intel and amd lately?
23:53
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
23:56
Haudegen has quit [Ping timeout: 252 seconds]