flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml MOOC http://1149.fr/ocaml-mooc | OCaml 4.03.0 announced 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
Simn has quit [Quit: Leaving]
ismaelga has quit [Remote host closed the connection]
ismaelga has joined #ocaml
atbagautdinov has quit [Ping timeout: 240 seconds]
darkf has joined #ocaml
adi__ has joined #ocaml
<adi__> Hey guys .. ocaml noob here. How do I install ocamlopt on ppc64le ?
<pierpa> on bare metal?
walter|r has joined #ocaml
mistermetaphor has joined #ocaml
ismaelga has quit [Remote host closed the connection]
nicholasf has quit [Remote host closed the connection]
Listing has quit [Quit: Page closed]
abruanese has joined #ocaml
walter|r has quit [Remote host closed the connection]
ismaelga has joined #ocaml
nicholasf has joined #ocaml
nicholasf has quit [Ping timeout: 250 seconds]
johnelse has quit [Ping timeout: 252 seconds]
the_0x41e has joined #ocaml
johnelse has joined #ocaml
<dmbaturin> adi__: Wow, where did you find a PPC64 machine and what kind of machine is it?
<adi__> Yes baremetal ... I have a couple of Barreleye's at home .. Running ubuntu 16.04 ppc64le ... 2 turismos .. 160 HW threads .. 1 TB RAM and all that ..
<dmbaturin> I seem to remember there is support for it... If it's true, the normal bootstrap procedure should work, as it relies on supplied bytecode executables.
<adi__> dmbaturin Thanks for responding .. I started by installing opam followed by install ocaml build and stuff. Actually i ventured in this direction as I was trying to make fftw3 .. It needs ocamlbuild and ocamlopt ..
<dmbaturin> adi__: I'm not quite sure why it wants ocamlopt if it generates C code. Installing ocaml through opam didn't produce ocamlopt?
<adi__> it did NOT surprisingly. You seem to be right .. support seems to be there: https://github.com/ocaml/ocaml/pull/225
<dmbaturin> adi__: Out of curiosity, what are you doing with FFTW?
<adi__> Just trying to benchmark the Barreleye's .. My goal is to benchmark fftw3 to start with benchfft ... then port fftw3 to Power8 with CAPI accelerator instead of running on power8s to prove that it can run much faster with acceleators
jeffmo has quit [Quit: jeffmo]
<dmbaturin> adi__: Have you seen this by the way? https://www.raptorengineering.com/TALOS/prerelease.php
<dmbaturin> The price is rather outrageous of course, but the design is appealing...
<adi__> how much is it ?
<adi__> cheapest ppc machines i can think of are palmetto by TYAN
<dmbaturin> Looks like something around $3k.
<dmbaturin> Interesting. What do they cost?
<adi__> 1.8k look them up
<dmbaturin> The cheapest PPC machines are old macs... Though they are exactly PPC, not POWER8. :)
walter|r has joined #ocaml
<adi__> you are right. I often forget macs ran powerpc long time back :)
jeffmo has joined #ocaml
walter|r has quit [Ping timeout: 276 seconds]
ygrek has joined #ocaml
jeffmo has quit [Quit: jeffmo]
<struk|desk> Algebr: do you have "where I should live in the bay area if..." office hours as well?
A1977494 has joined #ocaml
axiles has quit [Ping timeout: 252 seconds]
the_0x41e has quit [Quit: the_0x41e]
mistermetaphor has quit [Remote host closed the connection]
A1977494 has quit [Remote host closed the connection]
noethics has quit [Ping timeout: 246 seconds]
badon has quit [Ping timeout: 260 seconds]
slash^ has joined #ocaml
copy` has quit [Quit: Connection closed for inactivity]
badon has joined #ocaml
ggole has joined #ocaml
Mercuria1Alchemi has joined #ocaml
pierpa has quit [Read error: Connection reset by peer]
pierpa has joined #ocaml
pierpa has quit [Ping timeout: 252 seconds]
atbagautdinov has joined #ocaml
Reshi has joined #ocaml
yegods has quit [Remote host closed the connection]
Reshi has quit [Quit: WeeChat 1.4]
<Algebr> what do you want to know
<Algebr> struk|desk:
tane has joined #ocaml
<Algebr> the TL;DR is that you probably won't make enough money to live in SF unless you want to live with 5 other people, you can live in Oakland like I do and commute into town. Oakland is rapidly becoming just as pricey.
TheLemonMan has joined #ocaml
tani has joined #ocaml
<struk|desk> Algebr: I was thinking oakland is more my style. I like in williamsburgh now so its not a bad transition
<struk|desk> *live in
<Algebr> Oakland will remind you of wburg but you won't have the same mobility or shops
<Algebr> Oakland is more like Crown Heights I'd say.
<Algebr> but more spread out.
<struk|desk> hmm ok
<struk|desk> I wish the company was in portland instead
<Algebr> For your mental health, I agree as well. The bay area is an emotional meat grinder, the only people happy here are those with strong spouses, ties to God, or somethign else unknown.
<struk|desk> well I do live in NYC, so its usually only downhill from there
<struk|desk> but yeah SF is annoying to survive in
<Algebr> And I am brooklyn raised.
<Algebr> NYC was different.
<struk|desk> if I worked at fb I imagine I could get a nice place in SF
<Algebr> I believe the FB people live in the South Bay, the commute from SF, while doable, is a big hassle.
<struk|desk> ah
<Algebr> Only reason to stay in SF is the great parties and drugs you'll do.
<struk|desk> Algebr: eh I can get drugs and create parties anywhere
<struk|desk> I like not driving though, alot
<Algebr> The South Bay, from what I hear, is worse. You will pay the majority of your salary (While it will be impressive), for a chicken shak
<Algebr> again, take it for what you will, but the parties here are different, they are way better, more intense
<Algebr> NYC was cocaine driven.
<Algebr> SF is lsd/weed
<struk|desk> that explains so much...or..reinforces what we all already knew
<Algebr> There is also a large disregard for law here, its quite brazen.
<struk|desk> Algebr: ok, bedtime. thanks for bay area tips. the commute I'm looking at btw is to millbrae, if I take up the startup
<Algebr> The additional freedom is nice, I get to smoke a joint on Market street, but the additional freedom has costs, drunkeness on the BART, public fighting
<Algebr> Sure thing, Millbrae is the train I take every day
tani has quit [Quit: Verlassend]
kushal has joined #ocaml
ygrek_ has joined #ocaml
kushal has quit [Ping timeout: 276 seconds]
Simn has joined #ocaml
ygrek has quit [Ping timeout: 276 seconds]
amnn has joined #ocaml
nicholasf has joined #ocaml
<Leonidas> you really reinforce me in not going to SV :-)
<Algebr> Take it as you will, there are positives and negatives.
<adrien> good baguettes are way too expensive there anywa
<adrien> y
<Algebr> 1 Beer and Pizza: $17.
nicholasf has quit [Ping timeout: 260 seconds]
<adrien> on the other hand, that's only one hour of rent
<Algebr> You will get constantly accosted for money, your opinion on the matter will not matter because you work in tech and are therefore a techbro.
Sorella has quit [Quit: Connection closed for inactivity]
<adrien> you know, you're not very good at selling the location :P
<Algebr> I'm not trying to, I'm trying to convey reality.
<adrien> you probably shouldn't try working as a house or holiday seller
<Algebr> You can forget about getting a house here too.
<Algebr> There are massive upsides as well, this is the greatest concentration of smart people on the planet right now.
<adrien> bridges ought to be enough for everybody
<Algebr> You can make a company and within three years it will be a billion dollar thing.
<adrien> Algebr: well, that might explain the amount of stupid people elsewhere then :P
<Algebr> Its more like this area is like a brain vaccuum cleaner
<adrien> you mean, s/area/money/
<Algebr> sure
<Algebr> People burnout, you can see it on their faces.
<Algebr> So the high salaries get eaten up in divorce/counseling proceedings.
<Algebr> All that said, if you have a strong home life and have someone to turn to, then the area can be great for you, career wise.
<Algebr> I do not see myself staying for more than 2 more years here.
<adrien> so it's a bit like studying abroad
<adrien> get to see people and places and then back home
atbagautdinov has quit [Ping timeout: 246 seconds]
<Algebr> No, studying abroad you're a poor student and no one cares about you.
<Algebr> Here everyone has an opinion about tech, about programmers, and when they will stop ruining things.
<adrien> hahaha :P
<Algebr> It is rather ironic
<Algebr> more ironic is that the people that most are annoyed about are 1) Overconfident beginning people from coding bootcamps, 2) sales/marketing people who are by their nature quite broish
<Algebr> kindness is in short supply and tends to be among the older unixish programmers, they work at Apple or something more established.
amnn has quit [Read error: Connection reset by peer]
amnn_ has joined #ocaml
<Algebr> Interviewing is a whole nother topic, so is dating. heh.
<adrien> I guess dating feels like china
<adrien> (or Lebanon on the other end of the spectrum)
amnn_ has quit [Read error: No route to host]
<Algebr> I don't know anything about either of those places so I will pass in silence.
amnn has joined #ocaml
<adrien> large gender inbalance
<ygrek_> any idea how to depend on lwt.ppx in opam file? should just depend on ppx_tools?
<Algebr> gender is quite fluid here, everyone has possibily fucked, notice I said fucked not dated, everyone else.
<adrien> with China having dozens of millions of males more than women, and lebanon having it the other way round because of war
<Algebr> Anyway I will stop now.
amnn has quit [Read error: Connection reset by peer]
amnn has joined #ocaml
axiles has joined #ocaml
Reshi has joined #ocaml
Algebr has quit [Remote host closed the connection]
<Drup> ygrek_: just depend on ppx and add a constraint for ocaml >= 4.02
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
leyyin has joined #ocaml
snhmib has joined #ocaml
silver has joined #ocaml
kakadu has joined #ocaml
iZsh has quit [Quit: ZNC - http://znc.in]
iZsh has joined #ocaml
Reshi has quit [Read error: Connection reset by peer]
Reshi has joined #ocaml
kakadu has quit [Remote host closed the connection]
kushal has joined #ocaml
kakadu has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 250 seconds]
nicholasf has joined #ocaml
atbagautdinov has joined #ocaml
lokien_ has joined #ocaml
maker has joined #ocaml
<maker> hello!
<maker> is there a nice way in ocml for inserting quotes?
<maker> like, to have something better than writing let s = "{\"foo\":\"bar\"}";;
<Drup> With ocaml >= 4.02 : {|{"foo":"bar"}|}
<maker> oh christ, so {| |} is a new way to define strings in ocaml since 4.02?
<maker> wow, very cool
<Drup> It's not the new way, it's *a* new way, and you don't need to escape inside it
<maker> it's even multiline
<maker> Drup: yes, I wrote "a". Thanks!
<mrvn> how do you escape |} in it?
<maker> lol
<Drup> mrvn: you don't
<Drup> {foo| |} |foo}
<Drup> you can put any delimiters
* maker blinks
<_y> i used this once to include a whole metapost source code in my ocaml script
<_y> i found it incredibly useful
kushal has quit [Quit: Leaving]
<_y> (since it was actually an sh script that did some preprocessing before calling itself as an ocaml script, it was a trilingual code :-)
badon has quit [Quit: Leaving]
A1977494 has joined #ocaml
orbifx has joined #ocaml
zaquest has quit [Quit: Leaving]
nicholasf has quit [Remote host closed the connection]
nicholasf has joined #ocaml
zaquest has joined #ocaml
amnn has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
orbifx has quit [Quit: WeeChat 1.3]
badon has joined #ocaml
Simn has quit [Read error: Connection reset by peer]
amnn has joined #ocaml
jeffmo has joined #ocaml
ygrek_ has quit [Ping timeout: 276 seconds]
dsheets has joined #ocaml
rgrinberg has joined #ocaml
bba has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
nicholasf has quit [Remote host closed the connection]
ggole_ has joined #ocaml
walter|r has joined #ocaml
amnn has quit [Read error: Connection reset by peer]
amnn has joined #ocaml
ggole has quit [Ping timeout: 260 seconds]
aantron has quit [Remote host closed the connection]
jeffmo has quit [Quit: jeffmo]
aantron has joined #ocaml
Simn has joined #ocaml
jonasac has joined #ocaml
copy` has joined #ocaml
malc_ has joined #ocaml
Reshi has quit [Ping timeout: 276 seconds]
Reshi has joined #ocaml
jonasac has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
jonasac has joined #ocaml
Sorella has joined #ocaml
jonasac has quit [Client Quit]
FreeBirdLjj has quit [Remote host closed the connection]
hcarty has joined #ocaml
FreeBirdLjj has joined #ocaml
leyyin has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
aantron has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
hcarty has quit [Ping timeout: 252 seconds]
aantron has joined #ocaml
anoisz has joined #ocaml
anoisz has quit [Remote host closed the connection]
anoisz has joined #ocaml
ruoz has joined #ocaml
A19774941 has joined #ocaml
A1977494 has quit [Ping timeout: 244 seconds]
ruoz has left #ocaml ["Leaving"]
anoisz has quit [Quit: Leaving]
Reshi has quit [Quit: WeeChat 1.4]
leyyin has joined #ocaml
mistermetaphor has joined #ocaml
mistermetaphor has quit [Remote host closed the connection]
ygrek_ has joined #ocaml
g4143 has joined #ocaml
g4143 has quit [Client Quit]
dario1 has joined #ocaml
Algebr has joined #ocaml
<dario1> Hallo everyone! The Menhir mailing-list has been down for a few weeks...
darkf has quit [Quit: Leaving]
<dario1> Does anyone know if the new mailing-list server is already up running?
<dario1> Menhir's WWW page still lists the old one...
lokien_ has quit [Quit: Connection closed for inactivity]
abruanese has quit [Max SendQ exceeded]
<ygrek_> Drup, you mean ppx_tools?
<flux> the ocaml mailing list has been quite quiet recently as well..
<flux> but not completely as to indiate a technical issue ;)
<flux> I guess people are happy with the 4.03 release in general.
rgrinberg has quit [Ping timeout: 260 seconds]
<ygrek_> ocamlnet and mikmatch don't build :/
<companion_cube> with flambda, or without?
<flux> # Error: Multiple definition of the extension constructor name Mem_not_supported.
<flux> sounds like non-related to flambda
<flux> also re mikmatch, maybe we'll get mixmatch at some point in future?-)
<Drup> ygrek_: no, I meant what I said :p
mistermetaphor has joined #ocaml
aantron has quit [Remote host closed the connection]
Anarchos has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
aantron has joined #ocaml
slash^ has joined #ocaml
mistermetaphor has quit [Remote host closed the connection]
tane has quit [Quit: Verlassend]
pyx has joined #ocaml
pyx has quit [Client Quit]
lokien_ has joined #ocaml
<ygrek_> what flux said, yes
<ygrek_> Drup, I don't understand, there is no such package `ppx`
<Drup> doh :(
<Drup> I meant lwt
<Drup> You don't need any dependency on ppx_tools
slash_ has joined #ocaml
rgrinberg has joined #ocaml
dsheets has quit [Remote host closed the connection]
dsheets has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
Anarchos has joined #ocaml
dsheets_ has joined #ocaml
dsheets has quit [Ping timeout: 260 seconds]
dsheets_ has quit [Ping timeout: 244 seconds]
mettekou has joined #ocaml
slash_ has quit [Quit: Leaving]
dsheets has joined #ocaml
dario1 has quit [Quit: Konversation terminated!]
dsheets has quit [Ping timeout: 250 seconds]
Anarchos has quit [Ping timeout: 276 seconds]
<ygrek_> Drup, but that doesn't pull up lwt.ppx
rgrinberg has quit [Quit: WeeChat 1.4]
<ygrek_> i.e. lwt configures itself without ppx
<ygrek_> because ppx_tools is not installed
rgrinberg has joined #ocaml
<ygrek_> and lwt just builds without ppx
<Drup> ygrek_: if you are on ocaml >= 4.02, lwt configures itself with ppx.
<Drup> If it really doesn't, please give details
<ygrek_> opam sw 4.03.0
<ygrek_> opam install lwt
<ygrek_> will install base-no-pxx
<ygrek_> fresh switch
<Drup> that .. should not happen, gimme a sec
doecnt has joined #ocaml
Algebr has quit [Ping timeout: 250 seconds]
dsheets has joined #ocaml
<Drup> ygrek_: once this is merged, it should work correctly
dsheets has quit [Remote host closed the connection]
dsheets has joined #ocaml
dsheets has quit [Remote host closed the connection]
doecnt has quit [Ping timeout: 260 seconds]
<ygrek_> got it, thanks
mettekou has left #ocaml ["Textual IRC Client: www.textualapp.com"]
mistermetaphor has joined #ocaml
ygrek_ has quit [Ping timeout: 276 seconds]
tane has joined #ocaml
Algebr has joined #ocaml
slash^ has quit [Quit: Leaving]
Algebr has quit [Ping timeout: 260 seconds]
dsheets has joined #ocaml
dsheets has quit [Ping timeout: 250 seconds]
<rgrinberg> Can anyone throw a good name for me? https://github.com/mirage/ocaml-cohttp/pull/470#issuecomment-216064946
<Drup> I have bad memories of the last time you asked me that
<Drup> x)
<rgrinberg> I think that last time you were the one who asked me for naming suggestions ^_^
copy` has quit [Quit: Connection closed for inactivity]
<Drup> that too, but I was refering to another time :p
<maker> hey rgrinberg, a little bird told me you might be know something about this.
bba has joined #ocaml
<maker> so I'm using Cohttp_lwt.Client, and I would like it to be used in the future also for mirage unikernels
<maker> Can I els
<maker> ops.
<maker> *Can I use them without worrying, even if they are on the top of some foo_unix stuff?
<rgrinberg> Yeah. Cohttp_lwt.Client has a mirage backend as well.
amnn has quit [Read error: No route to host]
<maker> Neat, I just needed confirmation for this. Thanks a lot!
amnn has joined #ocaml
copy` has joined #ocaml
shinnya has quit [Ping timeout: 246 seconds]
silver has quit [Quit: rakede]
amnn_ has joined #ocaml
amnn has quit [Read error: No route to host]
walter|r has quit [Remote host closed the connection]
Glorf has joined #ocaml
<Glorf> Hi ! Is there an easy way to add transparency / alpha channel to a color (from Graphics.color) in ocaml ?
<Glorf> I want to take a color and make it less visible (a ghost effect)
<Drup> I don't think graphics supports transparency
mistermetaphor has quit [Remote host closed the connection]
<Drup> it's a very simple API, it doesn't do much, you probably want to use something a bit richer
<Glorf> Mmmh okay, that what i thought
Mercuria1Alchemi has quit [Ping timeout: 250 seconds]
Algebr has joined #ocaml
Algebr has quit [Ping timeout: 240 seconds]
bba has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<adrien> Glorf: what are you trying to achieve?
ggole_ has quit []
<Glorf> adrien: i have a tetris with some basic color
<Glorf> i want to display my ghost piece in a color more "transparent"
madroach has quit [Quit: leaving]
bba has joined #ocaml
mistermetaphor has joined #ocaml
amnn_ has quit [Read error: Connection reset by peer]
amnn has joined #ocaml
mistermetaphor has quit [Ping timeout: 240 seconds]
mistermetaphor has joined #ocaml
amnn has quit [Read error: Connection reset by peer]
amnn has joined #ocaml
amnn_ has joined #ocaml
<rgrinberg> Drup: so no good name suggestions btw? :)
amnn has quit [Ping timeout: 260 seconds]
<Drup> nope
madroach has joined #ocaml
jonasac has joined #ocaml
jonasac has quit [Read error: Connection reset by peer]
dwillems has joined #ocaml
jonasac has joined #ocaml
abruanese has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]
dsheets has joined #ocaml
nicholasf has joined #ocaml
Algebr has joined #ocaml
bba has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
Algebr has quit [Ping timeout: 244 seconds]
walter|r has joined #ocaml
mistermetaphor has quit [Remote host closed the connection]
tane has quit [Quit: Verlassend]
scarygelatin has quit [Quit: Leaving]
scarygelatin has joined #ocaml
leyyin has quit [Quit: So Long, and Thanks for All the Fish]
dsheets has quit [Remote host closed the connection]
nicholasf has quit [Remote host closed the connection]
nicholasf has joined #ocaml
nicholasf has quit [Remote host closed the connection]
nicholasf has joined #ocaml
jonasac has quit []
john51_ has quit [Remote host closed the connection]
john51 has joined #ocaml
A1977494 has joined #ocaml
A19774941 has quit [Ping timeout: 276 seconds]
rgrinberg has joined #ocaml
<M-martinklepsch> hey there :) I'm trying to get to a decent emacs setup but I'm still having trouble getting tuareg to be able to open Core
<M-martinklepsch> I do have a .merlin file with PKG core, opam search core shows core as installed.
<M-martinklepsch> When I use C-x C-e for tuareg-eval-phrase it prompts me for a command where I'm using the provided: /usr/local/bin/opam config exec -- ocaml.
<M-martinklepsch> I've installed emacs utop which seems to just work (i.e. open Core works fine.) but I'd like to understand whats wrong with the current setup as well. Also the default tuareg eval buffer has nicer syntax highlighting :)
Algebr has joined #ocaml
Algebr has quit [Ping timeout: 260 seconds]
<gasche> M-martinklepsch: does running #use "topfind";; #require "core";; help?
<gasche> (in the toplevel)
dwillems has quit [Quit: Lost terminal]
<gasche> if so, the problem is that the toplevel does not know where Core is by default, you need to (1) load its ocamlfind support and (2) require the core package
<gasche> while utop comes with built-in support for Core, I guess (at least for ocamlfind I'm sure)
<gasche> (nope, no built-in support for Core)
<gasche> (hm, actually my test may have failed just because I don't have Core installed in this switch)
mistermetaphor has joined #ocaml
<gasche> otherwise your technique of using "opam config exec" from Emacs looks fine
mistermetaphor has quit [Ping timeout: 252 seconds]
snhmib has quit [Ping timeout: 276 seconds]
yegods has joined #ocaml
mistermetaphor has joined #ocaml
Simn has quit [Quit: Leaving]
walter|r has quit [Remote host closed the connection]
Algebr has joined #ocaml
kakadu has quit [Remote host closed the connection]
<rgrinberg> Has anyone seen this merlin error before? Error: Internal path Cohttp_async_io is dangling. The compiled interface for module Cohttp_async_io was not found.
<Algebr> wow, dangling, that's new
ismaelga has quit [Remote host closed the connection]
ismaelga has joined #ocaml
SHODAN has quit [Read error: Connection reset by peer]
SHODAN has joined #ocaml
madroach has quit [Ping timeout: 244 seconds]
A1977494 has quit [Remote host closed the connection]
madroach has joined #ocaml
<gasche> rgrinberg: this may be a new 4.03 error
<gasche> so in fact it's not a new error (it was there since module aliases), but it is probably raised more often in 4.03
<rgrinberg> gasche: but I'm 4.02.3 still
malc_ has quit [Quit: ERC (IRC client for Emacs 25.0.50.2)]
<gasche> the short story is that the relevant .cmi is not in your path
<gasche> which probably suggests either wrong PKG settings, an incorrect B path, or a Merlin bug
<rgrinberg> gasche: I should have guessed, it looks like I just forgot to enable an oasis flag to compile the async sub lib
Ravana has quit [Quit: Goodbye for now!]
Ravana has joined #ocaml