flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.01.0 http://bit.ly/1851A3R | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
Neros has quit [Ping timeout: 268 seconds]
q66 has quit [Ping timeout: 246 seconds]
gnuvince has quit [Ping timeout: 252 seconds]
q66 has joined #ocaml
Simn has quit [Quit: Leaving]
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
zpe has joined #ocaml
malo has quit [Quit: Leaving]
csakatoku has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
<nicoo> companion_cube, Drup : Do you know if there are reasonable libs around to 1) talk SMTP 2) integrate with GnuPG ?
hcarty_ has joined #ocaml
hcarty_ has quit [Client Quit]
wolfnn has quit [Ping timeout: 246 seconds]
contempt has quit [Ping timeout: 272 seconds]
contempt has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
mcclurmc has joined #ocaml
pkrnj has quit [Ping timeout: 268 seconds]
talzeus has joined #ocaml
Drup has quit [Quit: Leaving.]
shinnya has quit [Ping timeout: 268 seconds]
wxcafe has joined #ocaml
<wxcafe> hey
<wxcafe> oh, actually, i just got the answer to my question through *thinking* :)
<wxcafe> thanks, though!
breakds has joined #ocaml
wxcafe has left #ocaml []
derek_c has quit [Ping timeout: 240 seconds]
derek_c has joined #ocaml
watermind has quit [Read error: Connection reset by peer]
watermind has joined #ocaml
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
talzeus has quit [Read error: Connection reset by peer]
talzeus has joined #ocaml
bzzbzz has joined #ocaml
bzzbzz has quit [Client Quit]
bzzbzz has joined #ocaml
gnuvince has joined #ocaml
gnuvince has quit [Changing host]
gnuvince has joined #ocaml
bzzbzz has quit [Client Quit]
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
olibjerd has joined #ocaml
caligula_ has quit [Quit: Konversation terminated!]
tizoc` is now known as tizoc
tizoc has quit [Changing host]
tizoc has joined #ocaml
ollehar has quit [Ping timeout: 272 seconds]
w0rm_x has quit [Ping timeout: 245 seconds]
xaimus_ is now known as xaimus
<zamN> mrvn: just wanna thank you for the help :D (if you see this). ended up getting a 100% on the project (also companion_cube)
zRecursive has joined #ocaml
zRecursi` has joined #ocaml
breakds has quit [Quit: Konversation terminated!]
ollehar has joined #ocaml
ggole has joined #ocaml
zRecursi` has left #ocaml []
zRecursive has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]
mcclurmc has quit [Quit: Leaving.]
ollehar has quit [Ping timeout: 272 seconds]
yacks has quit [Quit: Leaving]
zRecursive has joined #ocaml
cdidd has quit [Remote host closed the connection]
cdidd has joined #ocaml
derek_c has quit [Ping timeout: 245 seconds]
derek_c has joined #ocaml
<adrien> morning
<darkf> morning
zamN has quit []
gour has joined #ocaml
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 245 seconds]
zRecursive has left #ocaml []
|jbrown| has quit [Ping timeout: 240 seconds]
olibjerd has quit [Quit: Ухожу я от вас (xchat 2.4.5 или старше)]
|jbrown| has joined #ocaml
def-lkb_ is now known as def-lkb
ttamttam has joined #ocaml
ttamttam has quit [Read error: Connection reset by peer]
ttamttam has joined #ocaml
<pippijn> morning
Kakadu has joined #ocaml
thomasga has joined #ocaml
derek_c has quit [Quit: Lost terminal]
cago has joined #ocaml
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
AltGr has joined #ocaml
Simn has joined #ocaml
zpe has quit [Ping timeout: 260 seconds]
TDJACR has quit [Ping timeout: 245 seconds]
TDJACR has joined #ocaml
yezariaely has joined #ocaml
TDJACR has quit [Ping timeout: 245 seconds]
demonimin_ is now known as demonimin
TDJACR has joined #ocaml
ggole has quit [Read error: Connection reset by peer]
eikke has joined #ocaml
maufred has joined #ocaml
zpe has joined #ocaml
yacks has joined #ocaml
ggole has joined #ocaml
dsheets has quit [Ping timeout: 245 seconds]
Radditz has joined #ocaml
strobegen has joined #ocaml
<companion_cube> nicoo: smtp? very good idea
<companion_cube> about gnupg I don't know, but you'd probably want to wrap gpg itself (the commands)
ygrek has joined #ocaml
rossberg has quit [Remote host closed the connection]
Neros has joined #ocaml
rossberg has joined #ocaml
_andre has joined #ocaml
<Radditz> hey companion_cube :) how are you? started playing portal again?
<companion_cube> no.,
<Radditz> why not :(
<companion_cube> I don't have powerful enough a computer, nor windows, nor the time
<Radditz> :(
dsheets has joined #ocaml
<nicoo> companion_cube: That or the GPGME library (which is *exactly* designed for this)
<nicoo> And I knew you would like my square wheel proposal :D
<companion_cube> oh, I see
gnuvince has quit [Ping timeout: 268 seconds]
darkf has quit [Quit: Leaving]
strobegen has quit [Ping timeout: 252 seconds]
csakatok_ has quit [Read error: Connection reset by peer]
cago has quit [Ping timeout: 252 seconds]
strobegen has joined #ocaml
<gasche> nicoo: if you have more ideas that aren't already done, consider adding then on the etherlite pad directly
cago has joined #ocaml
<nicoo> gasche: Yeah, but I was unsure an SMTP lib or a GPGME binding would count as “small”.
<gasche> can you get a reasonable (if restricted) first version in a weekend's time?
* adrien_oww is sure nicoo can :D
<gasche> well
<gasche> obviously writing a real-word-robust SMTP parser is probably out of the scope
<gasche> but binding an existing lib, or writing a to-the-spec parser could be in-scope (I actually don't know much about SMTP)
<gasche> s/parser/lib/
<adrien_oww> btw, nothing about smtp in mirage?
ontologiae has joined #ocaml
<nicoo> adrien_oww: I just checked, doesn't seem so
<gasche> ocamlnet has SMTP
<nicoo> gasche: As a client only, according to the website
gour has quit [Disconnected by services]
gour_ has joined #ocaml
Kakadu has quit []
Kakadu_ has joined #ocaml
gour_ is now known as gour
ontologiae has quit [Ping timeout: 268 seconds]
yezariaely has quit [Quit: Leaving.]
yezariaely has joined #ocaml
avsm has joined #ocaml
sepp2k has joined #ocaml
wolfnn has joined #ocaml
w0rm_x has joined #ocaml
ygrek has quit [Ping timeout: 265 seconds]
Radditz has quit [Quit: Page closed]
cago has quit [Ping timeout: 245 seconds]
cago has joined #ocaml
jave_ has joined #ocaml
jave has quit [Read error: Operation timed out]
fayden has quit [Read error: Operation timed out]
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
breakds has joined #ocaml
talzeus has quit [Ping timeout: 246 seconds]
<pippijn> adrien_oww: do you have an idea what to look for when I want to find an apartment near (not in) paris?
peterbb has joined #ocaml
<pippijn> adrien_oww: apartments *in* paris are very expensive
<kerneis> pippijn: do you what criteria, or where to llok for?
<pippijn> "not too far from the 5th arondissement"
<pippijn> would be one
<kerneis> so, basically look for public transportation
<pippijn> 40 minutes by metro would be "not too far"
<kerneis> RER is another option: allows you to go further away (=cheaper) for the time, but sometimes less reliable
<kerneis> the same* time
<kerneis> north-east of Paris has a bad reputation in general, hence cheaper flats
ygrek has joined #ocaml
<kerneis> south is not too crazy either
<pippijn> ok, but then it's probably not a good idea to live in the north-east
<kerneis> probably your best option is to decide on some cities which seem convenient (for transport, etc)
<kerneis> say half a dozen
<kerneis> and then ask people what they think about them
<pippijn> ok, sounds like a good idea
<kerneis> they are definitely some neighbourhood that you should avoid, but not all places in the north-east are crappy
<kerneis> (for instance)
<gasche> pippijn: where physically are you going to work?
<gasche> hm
<pippijn> gasche: ecole normale superieure
<gasche> (could Xavier Rival have picked a candidate so fast?)
<gasche> ENS is close from RER B
<gasche> RER is a way of transportation that is more tiring than most metro lines, but faster and goes farther outside Paris
<pippijn> more tiring?
<gasche> it can get really crowded on rush hours
<pippijn> ah
<gasche> if, as a typical dutch guy, you want to bike to work, then picking a place inside Paris is better
<pippijn> I would like to, but inside paris will probably be too expensive
<gasche> it depends on your budget
<pippijn> I don't know yet
<gasche> I'm currently paying 50% of my wage on housing, which is sensibly more than recommended by anyone
<gasche> (I'm inside Paris)
<gasche> besides the North-East, say 19th-20st, you should look at the 13th district which is one of the less expensive ones, and very nice to live in
<gasche> (and it's bike-close from ENS)
<gasche> but looking for a place *anywhere in Paris* and then sorting by price will give you those places anyway
<gasche> you should also consider shared flats as they're less expensive
<gasche> (it's less nice if you come with a partner or more)
<pippijn> I'm coming by myself
<pippijn> From €26,030 to €69,783 => 30% income tax (if I read the table on wikipedia correctly)
peterbb has quit [Ping timeout: 245 seconds]
<gasche> also, if you're not a french speaker, any form of interaction with some kind of administration (be it the government if you need some papers, or just creating a bank account) will be painful; do not hesitate to ask for help systematically
<pippijn> I don't speak french besides counting to 10 and introducing myself
<pippijn> but I hope to learn it quickly when I'm there
<gasche> (creating a bank account is terrible because they're usuall a dependency loop between the bank account and the paycheck)
<pippijn> hm :\ I see
<gasche> s/they're/there is/
<Kakadu_> pippijn: I will wnat ot hear success story about learning french
<gasche> you're not a student anymore, right?
<pippijn> right
* Kakadu_ tries to remember differences between 3 kinds of 'e' in French
w0rm_x has quit [Quit: if Φ Σ e : φ then Φ Σ τ' → σ' :: ∃]
<pippijn> gasche: 13th seems not bad
<pippijn> what does "studio" mean? that's 1 room?
<Kakadu_> I think it's when kitchen & bedroom is combined in one big room
<pippijn> ah
<gasche> yep
Drup has joined #ocaml
<pippijn> and bathroom?
<gasche> usually not
<Kakadu_> ;)
<gasche> but the bathroom is not counted as a room
<pippijn> ok
<gasche> in french, "shared flat" is said "colocation"
<gasche> that's an interesting venue
<pippijn> ok, so colocation is with shared bathroom
<gasche> not only the bathroom
<gasche> colocation is when people team up to rent a larger place and split the costs
<pippijn> ah, yes, I'm in such a thing right now
<pippijn> in german it's called "wohngemeinschaft"
<gasche> yeah
<gasche> WG-wohnung
<pippijn> right
<gasche> ranges from people forming basically a group of friends to total indifference besides allocating shower slots in the morning
<gasche> but it's interesting because rents are not proportional to surface, small places are overpriced as there is more demand
<pippijn> makes sense
<gasche> a german guy at IRILL has been in a few colocs so far, I'll ask him for tips for the foreigner
<pippijn> thanks
<gasche> hm
<gasche> ENS has some housing available for visiting researchers
<pippijn> I don't think I'm either of those things
<gasche> yes
<pippijn> visiting or researcher
<gasche> but they might still be able to host you for a week or so, which can be helpful to bootstrap things
<pippijn> ah, yes
<gasche> ask them
<pippijn> I'm looking on pap.fr now, but the site seems to have gone down just now
<gasche> (you basically won't be able to find anything if you cannot show up in person during the period where tenants are selecting candidates)
<pippijn> hm, yes
<gasche> at which time of the year are you arriving?
<pippijn> in january
skchrko has joined #ocaml
<gasche> that should be easier than now
<pippijn> studio in the 13th with 16m²: 548€
<gasche> some people pay 900€ for a place in Paris; anything below can be good luck, or a really bad place
<pippijn> one with 26.5m² in the 13th is 825€
<Drup> that's not really right, gasche, if you accept to have a small appartement (and without furniture, obvisouly)
<gasche> I'm not saying 900€ is the average price
<pippijn> I don't need furniture
<gasche> but it's not that much of an outlier either
<pippijn> I can bring my own
<Drup> pippijn: you plan to bring your bed ? :D
<gasche> also
<pippijn> Drup: yes, it's easily transportable
<Drup> pippijn: ok, if you say so ^^'
Kakadu_ has quit [Ping timeout: 272 seconds]
<gasche> ENS is not too far from metro line 7 (besides RER B), which is one that goes to some of the close south-east suburb
<gasche> (Ivry, Villejuif)
<gasche> so you can look for places there, that can be sensibly cheaper
<pippijn> 950€ with charges
<gasche> (but if are ok with paying a bit more, I think a nice place in the 13th can be sensibly nicer)
<gasche> hm
<Drup> note that one end of the 7 line is a fork which can be a huge PITA in practice
<gasche> (but not all parts of the 13th are equally lively; if you like to see people in the street, the chinatown is definitely the best part)
gnuvince has joined #ocaml
gnuvince has quit [Changing host]
gnuvince has joined #ocaml
<companion_cube> gasche: where are you located, btw?
<gasche> right now I'm in the 14th, between Pernety and Mouton-Duvernet
<companion_cube> neat
<pippijn> I'm assuming apartments generally have a phone line or similar (something that allows an internet connection to be added)?
avsm has quit [Quit: Leaving.]
gnuvince has quit [Remote host closed the connection]
metasyntax has joined #ocaml
<pippijn> it seems hard to find proper apartments, because google gives a lot of "holiday apartments"
<Drup> pippijn: that's a relatively safe assumption, yes.
<watermind> since I installed the last version of OPAM, I always get this on opam update: The following packages have been UPDATED upstream: ...
<watermind> and then the list of packages I upgraded since installing the new OPAM
<watermind> even though they are all up to date now
<watermind> what is going on here?
<watermind> should I just ignore this?
tobiasBora has joined #ocaml
peterbb has joined #ocaml
Kakadu_ has joined #ocaml
octet8 has joined #ocaml
<thomasga> last blocker before the 1.1.0 release
ocp has joined #ocaml
<thomasga> it's just harmless messages though
<adrien_oww> pippijn: btw, pay attention to scams: don't pay anything before you have proofs
<pippijn> adrien_oww: ok, I'll keep that in mind
<pippijn> thanks
<adrien_oww> pippijn: many scams will do their best to take pics of a place but not show the surroundings from the windows (the opposite doesn't mean it's not a scam)
<pippijn> I won't pay until I've been in it
<pippijn> what kind of scams could I expect?
<gasche> when I looked for housing in Munich, I encountered a few scam attempts, that were quite easy to spot
<gasche> people asking you to pay online, for one
<gasche> real renters will never require that
<adrien_oww> or deposits before visiting
<pippijn> pay online like paypal?
<pippijn> so I should only pay by bank transfer
<gasche> it was "Ok, you can go in this apartment, unfortunately I'm abroad at the moment, send me some money online and I will send you the keys"
<pippijn> ah, well :)
<adrien_oww> pretty much, yeah
<gasche> you should not pay anything before you have visited the apartment and have the keys
<adrien_oww> and btw2, in france, there are fairly strong laws about renting and they protect you well
<gasche> you'll be asked a "caution", some amount of money the renter will keep in case you escape or destroy anything, and then a monthly rent
<pippijn> right, we have the caution thing here as well
<gasche> (caution often is approx. one month of salary, given back to you when you leave)
<gasche> the main problem with genuine renters (I haven't seen so much scam attempts in Paris; at least where you're physically there)
<gasche> is that they have insane requirement about solvability
<gasche> you have to convince them that you, and both your parents, are millionaires
<pippijn> :\
<gasche> (that is yet another thing that is rather easier with colocs)
<adrien_oww> hah, that's right, they can be really annoying with that; like *really*
<gasche> more seriously, landlords don't see an issue in asking you to be paid 3x, 4x the rent monthly
<gasche> when that rules out 90% of the french population
<gasche> (in Paris)
<adrien_oww> friend of mine has been asked for 2 people who each earned 3x the rent
<gasche> 90%, I may be exaggerating, but that's *well* above the median french salary
<adrien_oww> which was > 1000€/month
<adrien_oww> of course, the one asking for such guarantees earned way less
<gasche> you can get lucky and find a landlord that is less stupid about this
talzeus has joined #ocaml
<gasche> or ask for referees indeed
<gasche> (you may also ask the ENS for a letter of recommendation; it's a bit random but it could help)
<pippijn> maybe they can give me some advice as well
<adrien_oww> CROUS maybe too?
<ggole> Wow, what the hell am I doing
<ggole> This code is the worst I've written in years -_-
<adrien_oww> it's code you wrote 2 months ago and which you're only looking at again now?
<ggole> No, I'm modifying it at the moment
<ggole> It's not changing in good ways, let's put it that way.
<ggole> I dread to think what I'll see if I look at it again in 2 months
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
* ggole considers a rewrite
_andre has quit [Quit: leaving]
NoNNaN has quit [Remote host closed the connection]
zpe has quit [Ping timeout: 248 seconds]
avsm has joined #ocaml
NoNNaN has joined #ocaml
<watermind> thomasga: weird... so it is a blocker but made it to the final release anyway?
<thomasga> that's not that bad
<thomasga> (ie. that's just a wrong message)
<thomasga> will be fixed in the final release
Drup has quit [Quit: Leaving.]
Drup has joined #ocaml
<watermind> thomasga: I see, ok I'll stop worring about it then, thank you!
mcclurmc has joined #ocaml
Kakadu_ has quit [Read error: Connection reset by peer]
Kakadu_ has joined #ocaml
<pippijn> gasche: by the way, "bike distance" for me is up to 15km
<pippijn> so in theory (I don't know what the traffic situation is in paris), I could be in suresnes and it would be an acceptable (though maximal) bike distance
<gasche> well
<gasche> inside Paris, there are enough bike paths for this to be comfortable
<gasche> outside, less so
<gasche> (and I'm not sure ENS has showers for its workers)
dsheets has quit [Quit: Leaving]
dsheets has joined #ocaml
<asmanur> gasche: well, you have a notion of comport wrt to city biking that's very relaxed
<gasche> when I visited Cambridge I used the "Bünzli Bike" -- a bike Daniel bought already-used when he went there, then gracefully left at the lab
<gasche> it was quite fun to be riding "the Bünzli Bike"
<Drup> depending on where you bike in paris, it can be quite chalenging :p
<companion_cube> I guess if it was a module, it would be called "Bb"
<gasche> remember that pippijn is dutch; those people are fierceful bikers
Drup has quit [Ping timeout: 272 seconds]
<kerneis> pippijn: the city I grew up in (and where I rented my first flat) is Maisons-Alfort
<kerneis> one of the many nice things about M-A is the bicycle path following the Seine from M-A to Paris 13th
<kerneis> (btw, nobody says M-A except me)
talzeus has quit [Remote host closed the connection]
<kerneis> it's certainly more expensive than Ivry on average
talzeus has joined #ocaml
<kerneis> or even Alfortville
<kerneis> all of those cities are close enough to bike from easily
<gasche> you also have metro 8, but is less nice than metro 7 connection-wise (and it's slower)
<kerneis> and less expensive than Paris itself
<kerneis> (metro 8 is great, except to go to ENS)
<pippijn> 668€ for 16m² in the 13th (rent+charges) is something I'd seriously consider
<kerneis> (but it crosses almost every other metro line)
<gasche> it takes hour to go from some Maison-Alfort stop to an interesting connection, which would be with line 6
<pippijn> I saw that it's only 7km from villejuif to ENS (again, I don't know the bike situation)
<gasche> s/hours/too long/
<kerneis> pippijn: in M-A, the current price for a nice 1-bedroom 35m^2 flat is probably around 800€
<gasche> where in the 13th?
<kerneis> 1-bedroom = "2 pièces" (F2)
<gasche> according to the map it's north of Place d'Italie, which is a good location transport-wise
<kerneis> (so 1 bedroom and 1 living-room, I'm getting used to the UK denomination)
<gasche> it's not as cool as chinatown (which is south/south-east of Place d'Italie), but still quite nice
<pippijn> ah, 2 pieces means separate bedroom and living room
<pippijn> what about kitchen?
<kerneis> gasche: ?
<kerneis> going to Chevaleret took me 30 min
<kerneis> from flat to work
<kerneis> through Daumesnil
<kerneis> either biking or with metro
<kerneis> pippijn: french people count the number of rooms
<kerneis> room = bedroom or living room
<kerneis> kitchen, bathroom, toilets don't count
<pippijn> I see
<gasche> to be fair, in 16m² the kitchen will be relatively crappy
<kerneis> except for "studio"
<kerneis> and you should read the fine print for smallest surfaces, as gasche just said
<pippijn> gasche: yeah, I saw the 26m² one
<pippijn> same building
<gasche> you're staying for exactly one year, or more?
<pippijn> 1-2 years
<pippijn> after that I don't know what will happen
<kerneis> pippijn: is it Xavier Rival's project?
<gasche> if the quality of where you live matters to you, you should ask ENS for temp housing, and try to find a place from there
<gasche> (I mean dedicating one full week of your time to finding a place you like)
<gasche> kerneis: pippijn has been rather silent on that, despite a few questions
<kerneis> ok
<gasche> I guess it's not official yet
<gasche> but that would smell like it :-'
<gasche> don't curse him!
<kerneis> in any case, Xavier's money runs out by the end of 2015, but he'll probably get more by that point
<kerneis> (unless French research shuts down)
fayden has joined #ocaml
saml has joined #ocaml
zpe has joined #ocaml
<gasche> kerneis (and other people on the chan), feel free to add ideas to http://lite3.framapad.org/p/p5xzBUM4Ii
<companion_cube> :)
<kerneis> s/2015/2016/ sorry
ollehar has joined #ocaml
Drup has joined #ocaml
skchrko has quit [Ping timeout: 245 seconds]
<pippijn> gasche: it matters in sofar that I don't want a shared flat anymore
<pippijn> gasche: so I'll probably do that, then
<gasche> well
<gasche> if you can get enough information from the photos, using an agency through the net is fine
<gasche> with small surfaces, you won't get a good kitchen, regardless of whether you're on-site or abroad when booking
<gasche> (well, you could always get lucky)
<pippijn> kitchen is kind of important to me
<gasche> ok, so you should be extra careful
<pippijn> I will probably end up in a suburb
<pippijn> south or southeast of paris
boogie has joined #ocaml
<gasche> Montrouge is quite nice but also a bit expensive suburb-wise
<pippijn> but I need to think about it, because there are strong advantages to living in the city (13th perhaps)
skchrko has joined #ocaml
<pippijn> I think I'll look for both and let my feeling at that time decide
boogie has quit [Remote host closed the connection]
<Drup> if you are right on a good metro line, being in a suburb is not an issue, transport wise.
<Drup> avoid being on a big RER line if you don't want to do crowdswiming.
<adrien_oww> depends
<adrien_oww> if you weight more than 80kg, it's fine
<pippijn> hehe
<pippijn> what's the difference between pieces and chambres?
<adrien_oww> and I actually managed to get some more room in a crowded RER: long hair, hoodie on and looking tired
asmanur has quit [Ping timeout: 252 seconds]
<adrien_oww> pippijn: chambres have beds; pièces include things like the living room
asmanur has joined #ocaml
<pippijn> ah
<pippijn> ok, so 1 piece means just a bedroom
<adrien_oww> and bathroom
<kerneis> or just a living room, depending on how you think of it :-)
<pippijn> ok :) yes
<kerneis> 1 pièce is basically the same as a studio, except it usually means a separate kitchen (but you should check)
<pippijn> interesting.. croissant means increasing
<kerneis> it also means croissant
<adrien_oww> f000d \o/
<Drup> croissant also means croissant
<pippijn> yeah
<Drup> kerneis: damn !
<pippijn> I never knew what the food name might come from
<pippijn> kerneis: yes, on this website, studios are also listed under 1 piece
<Drup> adrien_oww: I have the long hair and sometimes the hood and the tired look, but I'm still not tall enough :(
<adrien_oww> beard? you need to get better at looking like a hobo
<pippijn> I'm 1.80, is that tall enough to look like a hobo?
<pippijn> actually I'd rather not look like a hobo
<adrien_oww> you only need the hobo look while you're in the RER
<adrien_oww> "dapt or die"
<adrien_oww> a*
<pippijn> fake beard, tiredness-makeup, hoodie
<pippijn> oh, there are also studettes
<Drup> adrien_oww: no beard, you saw me already :p
<pippijn> is that a female studio?
<adrien_oww> Drup: hmmm, I suck at remembering people ='(
<Drup> pippijn: x)
<pippijn> the first few pages (croissant price) are all studios
<Drup> pippijn: studettes are supposed to be small studios
<Drup> but in paris, studios are already ridiculously small, so ... :D
skchrko has quit [Ping timeout: 272 seconds]
DanielDiaz has joined #ocaml
<DanielDiaz> hi there! I am pretty new with OCaml and I want to know how to build (if possible) a custom type where type constructors accept functions as arguments. For instance, something like: type ('a,'b) map = Map of 'a -> 'b... Is it possible?
<adrien_oww> you need parens
<adrien_oww> (around "'a -> 'b")
yezariaely has quit [Quit: Leaving.]
<DanielDiaz> ok... thank you adrien_oww. It seems that in my particular case I was missing tons of parens
<DanielDiaz> and that was all... silly mistake, thank you
<adrien_oww> :)
ontologiae has joined #ocaml
<gasche> "croissant" also means crescent, as in crescent moon, which I guess is where the pastry name comes from
dsheets has quit [Quit: Leaving]
dsheets_ has joined #ocaml
ocp has quit [Ping timeout: 240 seconds]
<gasche> it's one of the french pastries called "Viennoiseries", literally "pastries from Vienna", as they were introduced in the 19th century by an austrian bakery in Paris
<pippijn> so croissants are from austria?
<gasche> yes
<pippijn> I never knew
<gasche> but it's not a typical austrian pastry today
<pippijn> are baguettes from denmark?
<gasche> some people think that the crescent shape was suggested to austrians by their struggles with the ottoman turks, but that's phantasized history
<pippijn> hehe
<gasche> also I briefly discussed lodging with Jonathan that's an expert
<Drup> croissant are also called croissant, even if they are straight. which is confusing.
<gasche> he says (1) you could consider coming to Paris over a week-end to make a few apartment visits, and get an idea of what to expect (even before the date you'll actually settle in Paris)
<gasche> s/make/do/
<gasche> (2) you don't need a work permit because you're in the "good" part of the EU, and you can probably avoid creating a bank account altogether; apparently EU regulation impose european banks not to charge extra fees on intra-EU money transfers, so you can draw your cash from your dutch card and give your dutch IBAN to people
<pippijn> (btw I live in germany)
<kerneis> gasche about (2): remember pippijn will get paid by a french public entity
<kerneis> I'm not saying it won't work, but trouble ahead
ollehar has quit [Ping timeout: 246 seconds]
<gasche> I would rather discuss paperwork with the ENS than with an underpaid incompetent employee in the frontend of a bank
<kerneis> the kind of entity which chokes on RIBs if they are not "printed by the bank"
<kerneis> fair point
<gasche> an american intern here tried to open a bank account to receive his paychecks, but they wouldn't let him unless he had a proof of salary (... which of course couldn't be versed without a local bank account)
<gasche> I phoned the bank to complain, they essentially did not understand what the problem was
<gasche> (he went to another bank)
<pippijn> (1) is a good idea, I'm not sure how to do that yet
<pippijn> (2) would be great, if possible
<pippijn> if withdrawals in france from german bank accounts are unproblematic
cago has left #ocaml []
<gasche> check with your bank, but they are supposed to be free
<pippijn> I'll check with them tomorrow morning
hto has quit [Read error: Connection reset by peer]
hto has joined #ocaml
Picolino has joined #ocaml
Neros has quit [Ping timeout: 245 seconds]
shinnya has joined #ocaml
skchrko has joined #ocaml
asmanur has quit [Read error: Operation timed out]
yacks has quit [Quit: Leaving]
tianon has quit [Quit: "I'm a very important man. I've got a tower!"]
mcclurmc has quit [Ping timeout: 268 seconds]
ollehar has joined #ocaml
tianon has joined #ocaml
mcclurmc has joined #ocaml
mcclurmc has quit [Client Quit]
mcclurmc has joined #ocaml
boogie has joined #ocaml
DanielDiaz has left #ocaml []
asmanur has joined #ocaml
srcerer_ is now known as srcerer
ttamttam has quit [Quit: ttamttam]
<vbmithr> Hi
<vbmithr> Do anybody knows what happens to shared modules (.cmxs) when there is C code involved ?
<vbmithr> Context: I try to dynlink ctypes.cmxs, but it fails:
<vbmithr> error loading shared library: /home/vb/.opam/system/lib/ctypes/ctypes.cmxs: undefined symbol: ctypes_write
<adrien_oww> have you used -linkall?
<vbmithr> maybe not
<adrien_oww> that's for your main executable; but that's a general thing with dynlink
<adrien_oww> ocamlopt will not link modules which don't appear to be used
<adrien_oww> so if your main executable doesn't require Ctypes, the Ctypes module won't be linked in
amirmc has joined #ocaml
olliefr has joined #ocaml
<olliefr> hello! this is a silly question - but if i want to use the uri library (http://www.cl.cam.ac.uk/projects/ocamllabs/pkg/uri/1.3.8/index.html) how do i actually view the documentation for it?
<Drup> olliefr: if you download the code, you will probably be able to generate the documentation
<Drup> (with "make doc")
<olliefr> hmm, i'll try; is there a good reason why there seem not to be something like this in ocaml? http://docs.python.org/2/library/
<Drup> there is one, but every package need to upload it own documentation
Armael has quit [Ping timeout: 240 seconds]
<olliefr> could you please give me an url? i cannot find it :(
<olliefr> also, if i install it via opam, would that install the docs as well?
<Drup> unfortunatly, no :/
<Drup> about your question, I was just saying that there is an equivalent to the automatic documentation generation
<Drup> not that their was an actual documentation for the uri package
<Drup> (online, at least)
<olliefr> thanks, i'll try make doc now
<avsm> i have some travis patches to automatically sync a GitHub pages branch with the doc, but havent had a chance to push it yet
<Drup> avsm: on this subject, how is opam-doc going on ?
|jbrown| has quit [Ping timeout: 272 seconds]
<avsm> pretty good; there's an opam switch that generates working html now. aiming to get an RWO snapshot page up soon and then a more general purpose one
<avsm> it touches the entire build stack; not a pretty patch :-)
<olliefr> avsm: does this mean i'll be able to read documentation online? how do you read the documentation - manual 'make doc' for the source of every package that you are using, or is there a more clever way? :)
<Drup> olliefr: the point of opam-doc, which is an ongoing work, is to upload the documentation for every opam package (automatically, ofc).
<avsm> yeah. it's one cross-referenced source for a set of packages (not all packages, since some conflict)
<olliefr> that would be great. so, please correct me if i'm wrong but currently my only choice is to manually download the source for every package that i use and do 'make doc'?
<olliefr> sorry for so many questions, i'm just trying to get my head round it, after fpdays2013 :D
<companion_cube> what is opam-doc ?
<Drup> olliefr: no, a lot of package upload the documentation by them self
<Drup> olliefr: and you can find the documentation on their webpage
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
<companion_cube> avsm: is ocaml-doc based on some enhancement of ocamldoc?
Kakadu_ has quit []
<olliefr> Drup: now i feel stupid. i found this http://opam.ocaml.org/pkg/uri/1.3.11/ but there is not a trace of docs?
<Drup> olliefr: yes, as I said
ygrek has quit [Ping timeout: 245 seconds]
<companion_cube> ohhhh
ontologiae has quit [Ping timeout: 265 seconds]
<companion_cube> hope it will keep generating man pages
<Drup> .cmd's :]
ollehar1 has joined #ocaml
avsm has quit [Ping timeout: 256 seconds]
ollehar has quit [Ping timeout: 252 seconds]
Arsenik has joined #ocaml
amirmc has quit [Quit: Leaving.]
|jbrown| has joined #ocaml
j0sh__ is now known as j0sh
ocp has joined #ocaml
Picolino has quit [Ping timeout: 272 seconds]
octet8 has quit []
sepp2k has quit [Quit: Konversation terminated!]
amirmc has joined #ocaml
stevej has joined #ocaml
boogie has quit [Remote host closed the connection]
boogie has joined #ocaml
dsheets_ has quit [Remote host closed the connection]
olliefr has quit [Quit: Textual IRC Client: www.textualapp.com]
manizzle has quit [Ping timeout: 245 seconds]
ocp has quit [Ping timeout: 272 seconds]
testcocoon has quit [Quit: Coyote finally caught me]
testcocoon has joined #ocaml
AltGr has left #ocaml []
Drup has quit [Read error: Connection reset by peer]
Drup1 has joined #ocaml
Kakadu has joined #ocaml
chrisdotcode has quit [Ping timeout: 245 seconds]
Armael has joined #ocaml
tobiasBora has quit [Ping timeout: 260 seconds]
amirmc has quit [Quit: Leaving.]
shinnya has quit [Ping timeout: 268 seconds]
Drup1 is now known as Drup
manizzle has joined #ocaml
<vbmithr> Mmh
<vbmithr> Made some problem
<vbmithr> Some progresses
<vbmithr> Do anybody knows how to tell ocamlbuild to make a .cmxs from a .cmxa and not from a .cmx file ?
<vbmithr> when i do a ocamlbuild something.cmxs, it does it from something.cmx but I'd like to have it created from something.cmxa
<Drup> I think you will have to do a custom ocamlbuild.ml thingy to do that
Tamae has quit [Ping timeout: 248 seconds]
dsheets has joined #ocaml
<jpdeplaix> vbmithr: there is already a rule to do that
<vbmithr> Do you know how to use it ?
<Drup> it seems to be used when you use the linkall tag
<vbmithr> ok let me check
<vbmithr> [vb@nerenyi ~/code/ocaml-ctypes]% ocamlbuild -classic-display -tag linkall src/ctypes.cmxs
<vbmithr> ocamlfind ocamlopt -shared -linkall -I src/ -cclib -lffi src/ctypes.cmx -o src/ctypes.cmxs
<Drup> :/
tobiasBora has joined #ocaml
ggole has quit []
tane has joined #ocaml
tobiasBora has quit [Ping timeout: 240 seconds]
yacks has joined #ocaml
<Kakadu> is it possible to ask merlin not to report errors in specific file (because I have specific syntax extension in it)
<Kakadu> ?
<def-lkb> Kakadu: with emacs ?
<Kakadu> yep
ollehar1 has quit [Ping timeout: 272 seconds]
eikke has quit [Ping timeout: 272 seconds]
IbnFirnas has quit [Ping timeout: 272 seconds]
eikke has joined #ocaml
ollehar has joined #ocaml
<def-lkb> Kakadu: you can just evaluate (setq merlin-error-after-save nil) in this buffer
<def-lkb> (with M-x eval-expression inside this buffer)
<def-lkb> (well, this setting is not buffer specific, so it will disable merlin in all buffers…)
<Kakadu> I'm not sure that something has changed...
<Kakadu> still ! on the left and error on the bottom
<Kakadu> errors
<def-lkb> Use merlin-error-reset to clear existing errors
IbnFirnas_ has joined #ocaml
<Kakadu> hm, I have only merlin-error-next
<Kakadu> Are u talking about -dev version?
<def-lkb> Probably…
<def-lkb> (so to disable error-cheking in only one buffer, the code is: (set (make-local-variable 'merlin-error-after-save) nil))
<def-lkb> I don't know when this specific command has been introduced. Otherwise, you can just jump through all errors with C-c C-x :P
<Kakadu> yeah, C-c C-x removes them:)
Kakadu has quit []
peterbb has quit [Ping timeout: 260 seconds]
yacks has quit [Quit: Leaving]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 272 seconds]
zpe has joined #ocaml
tobiasBora has joined #ocaml
darkf has joined #ocaml
milosn_ has joined #ocaml
peterbb has joined #ocaml
milosn has quit [Ping timeout: 245 seconds]
peterbb has quit [Ping timeout: 272 seconds]
iZsh_ has joined #ocaml
Picolino has joined #ocaml
mehdid has quit [Ping timeout: 256 seconds]
wolfnn has quit [Ping timeout: 246 seconds]
iZsh has quit [Ping timeout: 246 seconds]
wolfnn has joined #ocaml
q66 has quit [Ping timeout: 246 seconds]
peterbb has joined #ocaml
q66 has joined #ocaml
mehdid has joined #ocaml
pkrnj has joined #ocaml
gour has quit [Quit: WeeChat 0.4.1]
amirmc has joined #ocaml
aggelos_ is now known as aggelos
tobiasBora has quit [Quit: Konversation terminated!]
patojo has joined #ocaml
boogie has quit [Read error: Connection reset by peer]
Chat6365 has joined #ocaml
<Chat6365> Hi
Chat6365 has quit [Client Quit]
tani has joined #ocaml
milosn has joined #ocaml
milosn_ has quit [Read error: Connection reset by peer]
tane has quit [Ping timeout: 260 seconds]
eikke has quit [Ping timeout: 272 seconds]
ocp has joined #ocaml
smondet has quit [Quit: leaving]
Neros has joined #ocaml
Arsenik has quit [Quit: Quitte]
smondet has joined #ocaml
ygrek has joined #ocaml
Picolino has quit [Ping timeout: 240 seconds]
NoNNaN has quit [Remote host closed the connection]
chrisdotcode has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 256 seconds]
NoNNaN has joined #ocaml
strobegen has quit [Quit: Leaving.]
fraggle_ has quit [Remote host closed the connection]
BAMbanda has joined #ocaml
tani has quit [Quit: Verlassend]
pkrnj has quit [Quit: Computer has gone to sleep.]
ygrek has quit [Ping timeout: 264 seconds]
platypine has joined #ocaml
ontologiae has joined #ocaml
wolfnn has quit [Ping timeout: 246 seconds]
darkf has quit [Read error: Connection reset by peer]
darkf has joined #ocaml
zpe has joined #ocaml
NaCl has quit [Ping timeout: 260 seconds]
NaCl has joined #ocaml
steshaw has joined #ocaml
zpe has quit [Ping timeout: 246 seconds]
Simn has quit [Quit: Leaving]
darkf has quit [Read error: Connection reset by peer]
darkf has joined #ocaml
pkrnj has joined #ocaml
yroeht has quit [Quit: WeeChat 0.3.8]
ocp has quit [Quit: Leaving.]
yroeht has joined #ocaml
mfp has quit [Ping timeout: 272 seconds]
thomasga has quit [Quit: Leaving.]
ontologiae has quit [Ping timeout: 272 seconds]