companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.11 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.11/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
djellemah has quit [Ping timeout: 260 seconds]
bartholin has quit [Ping timeout: 256 seconds]
mxns has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
mxns has joined #ocaml
djellemah has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
mxns has joined #ocaml
mxns has quit [Ping timeout: 272 seconds]
mxns has joined #ocaml
djellemah has quit [Ping timeout: 260 seconds]
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
amiloradovsky has quit [Client Quit]
amiloradovsky has joined #ocaml
ldbeth has joined #ocaml
<ldbeth> hi
Jesin has quit [Ping timeout: 264 seconds]
<ldbeth> is it possible that passing String_val(val) to char* rather than const char* when safe string is assumed could causeing SIGSEGV?
ldbeth has quit [Remote host closed the connection]
ldbeth has joined #ocaml
<companion_cube> I don't think mutating a string will cause a segfault
<companion_cube> this still happens without -safe-string?
ldbeth` has joined #ocaml
ldbeth has quit [Ping timeout: 260 seconds]
vicfred has quit [Remote host closed the connection]
vicfred has joined #ocaml
narimiran has joined #ocaml
ldbeth`` has joined #ocaml
ldbeth` has quit [Ping timeout: 260 seconds]
<ldbeth``> companion_cube: it's threw out by an old html server program, and I didn't know how to consistenly reproduce the SIGSEGV
<companion_cube> gdb? :s
<ldbeth``> after I fixed some cons char in the C part, I just realized SIGSEGV magically not occuring again.
reynir has quit [Ping timeout: 272 seconds]
ldbeth`` has quit [Ping timeout: 246 seconds]
reynir has joined #ocaml
Jesin has joined #ocaml
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
amiloradovsky has quit [Ping timeout: 244 seconds]
waleee-cl has quit [Quit: Connection closed for inactivity]
decentpenguin has quit [Read error: Connection reset by peer]
decentpenguin has joined #ocaml
Tuplanolla has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
snowpanda has quit [Quit: Leaving...]
mxns has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
hnOsmium0001 has quit [Quit: Connection closed for inactivity]
narimiran has quit [Ping timeout: 264 seconds]
Geekingfrog has quit [Quit: ZNC 1.6.3 - http://znc.in]
Geekingfrog has joined #ocaml
Geekingfrog has quit [Client Quit]
Geekingfrog has joined #ocaml
Geekingfrog has quit [Client Quit]
Geekingfrog has joined #ocaml
vicfred has quit [Quit: Leaving]
Exagone313 has quit [Quit: see ya!]
Exagone313 has joined #ocaml
kit_ty_kate has quit [Ping timeout: 265 seconds]
vsiles has quit [Ping timeout: 265 seconds]
vsiles has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
kit_ty_kate has joined #ocaml
osa1 has joined #ocaml
berberman_ has quit [Quit: ZNC 1.7.5 - https://znc.in]
berberman has joined #ocaml
dhil has joined #ocaml
sonologico has joined #ocaml
jnavila has joined #ocaml
<d_bot> <stab> Having a thought, would it be possible/useful to bridge beginners to an irc channel. I know that a lot of the experienced ppl hang out on irc so it might be helpful for beginners. Not sure if ppl would want that, just a thought
amiloradovsky has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
nullcone has quit [Quit: Connection closed for inactivity]
osa1 has quit [Remote host closed the connection]
mxns has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
<d_bot> <Criss> who is the owner of this server?
mxns has joined #ocaml
mxns has quit [Ping timeout: 244 seconds]
ggole has joined #ocaml
ewanas has joined #ocaml
ewanas has quit [Ping timeout: 260 seconds]
foo303 has joined #ocaml
berberman_ has joined #ocaml
berberman has quit [Ping timeout: 244 seconds]
foo303 has quit [Ping timeout: 265 seconds]
mxns has joined #ocaml
djellemah has joined #ocaml
waleee-cl has joined #ocaml
<d_bot> <stab> Bluddy, but I’m just floating the idea primarily to the irc ppl
reynir has quit [Ping timeout: 260 seconds]
reynir has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
narimiran has joined #ocaml
nullcone has joined #ocaml
mxns has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
Haudegen has joined #ocaml
mxns has quit [Ping timeout: 246 seconds]
Niamkik has quit [Quit: WeeChat 2.6]
aaaaaa has joined #ocaml
mxns has joined #ocaml
IbnFirnas__ has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
djellemah has quit [Ping timeout: 260 seconds]
hnOsmium0001 has joined #ocaml
oriba has joined #ocaml
mxns has joined #ocaml
yomimono_ has joined #ocaml
yomimono has quit [Ping timeout: 258 seconds]
Haudegen has quit [Read error: Connection reset by peer]
dhil has quit [Ping timeout: 256 seconds]
berberman has joined #ocaml
berberman_ has quit [Ping timeout: 260 seconds]
mxns has quit [Ping timeout: 260 seconds]
mxns has joined #ocaml
dhil has joined #ocaml
Haudegen has joined #ocaml
Haudegen has quit [Client Quit]
<zozozo> well, for the beginner discord channel to be bridged to irc, it'd likely need another freenode channel (becasue bridging it here would be very confusing), but it may be doable (though I don't know how one creates new channels on freenode, ^^)
mxns has quit [Ping timeout: 240 seconds]
<d_bot> <stab> yeah it would be kinda awkward because youd need like a #ocamlbeginners channel on freenode
<zozozo> or ocaml-beginner rather (keeping coheretne with the ocaml-fr channel)
mxns has joined #ocaml
<Drup> there used to be an ocaml-beginner irc chan, but nobody really used it and honestly, the trafic is not nearly enough to justify having so many channels
<Drup> in discord, it's ok because the UI is appropriate, not so much in IRC
mxns has quit [Ping timeout: 260 seconds]
<d_bot> <stab> To be fair the reason for having the channel would be to bridge the traffic from the discord since beginners is very active here
<d_bot> <stab> also weechat works pretty well for sitting in multiple channels no?
<d_bot> <stab> never had any issues with the ui
mxns has joined #ocaml
mxns has quit [Ping timeout: 272 seconds]
Haudegen has joined #ocaml
mxns has joined #ocaml
mxns has quit [Ping timeout: 240 seconds]
mxns has joined #ocaml
narimiran has quit [Ping timeout: 264 seconds]
mxns has quit [Ping timeout: 260 seconds]
jgjl has joined #ocaml
ggole has quit [Quit: Leaving]
mxns has joined #ocaml
IbnFirnas__ has quit [Quit: Connection closed for inactivity]
larou has joined #ocaml
yomimono_ has quit [Ping timeout: 264 seconds]
yomimono has joined #ocaml
dhil has quit [Ping timeout: 272 seconds]
larou has quit [Quit: Connection closed]
jnavila has quit [Quit: Konversation terminated!]
ski has quit [Ping timeout: 246 seconds]
dhil has joined #ocaml
_whitelogger has joined #ocaml
oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
zolk3ri has joined #ocaml
vicfred has joined #ocaml
sonologico has quit [Remote host closed the connection]
dhil has quit [Ping timeout: 240 seconds]
djellemah has joined #ocaml
larou has joined #ocaml
larou has quit [Quit: Connection closed]
ransom has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Haudegen has quit [Ping timeout: 272 seconds]
hnOsmium0001 has quit [Quit: Connection closed for inactivity]
Tuplanolla has quit [Ping timeout: 258 seconds]
delysin has quit [Quit: WeeChat 2.9]
mxns has quit [Quit: ZNC 1.8.2 - https://znc.in]
mxns has joined #ocaml
amiloradovsky has quit [Remote host closed the connection]
hnOsmium0001 has joined #ocaml