Core1891 has quit [Quit: CoreIRC for Android - www.coreirc.com]
mange has joined #ocaml
jessegreathouse has quit [Read error: Connection reset by peer]
jessegreathouse has joined #ocaml
jessegreathouse has quit [Remote host closed the connection]
myrkraverk_ has joined #ocaml
myrkraverk has quit [Ping timeout: 256 seconds]
jessegreathouse has joined #ocaml
jessegreathouse has quit [Remote host closed the connection]
myrkraverk has joined #ocaml
jessegreathouse has joined #ocaml
myrkraverk_ has quit [Ping timeout: 258 seconds]
<discocaml>
<diligentclerk> Unfortunately I don't think I'm the one to ask here, I was ideally hoping to just be a user of a tool which allows me to not have to think about this.
<discocaml>
<diligentclerk>
<discocaml>
<diligentclerk> zshipko wrote a tool https://github.com/zshipko/futhark-bindgen/tree/main which automatically generates \*.ml files with the external calls and *.mli files to provide the interface, so in an ideal world I personally would not have to understand what the right way to allocate and deallocate memory is here.
<discocaml>
<diligentclerk> Is there a right way / wrong way to register C objects with the finalizer and let the garbage collector deal with the problem of when is the last time an OCaml function uses the C object?
<discocaml>
<diligentclerk> He is in this server (@\zshipko) so we could just ping him for his answer. I posted an issue on the github tracker with a somewhat minimized version of the segfaulting code.
humasect has joined #ocaml
humasect has quit [Remote host closed the connection]
humasect has joined #ocaml
myrkraverk_ has joined #ocaml
myrkraverk has quit [Ping timeout: 260 seconds]
myrkraverk has joined #ocaml
myrkraverk_ has quit [Ping timeout: 258 seconds]
humasect has quit [Remote host closed the connection]
bartholin has joined #ocaml
olle has joined #ocaml
bartholin has quit [Quit: Leaving]
myrkraverk_ has joined #ocaml
myrkraverk has quit [Ping timeout: 256 seconds]
Serpent7776 has joined #ocaml
myrkraverk_ has quit [Ping timeout: 260 seconds]
Haudegen has joined #ocaml
humasect has joined #ocaml
humasect has quit [Quit: Leaving...]
<discocaml>
<shalokshalom> Whats the biggest open source codebase, that I can use to performance benchmark the type checker?
<discocaml>
<shalokshalom> So, eg it should be mostly inferred types.
tremon has joined #ocaml
<olle>
Jane Street coup what?
Haudegen has quit [Quit: Bin weg.]
mange has quit [Remote host closed the connection]
<discocaml>
<darrenldl> is read only access of Dynarray threadsafe? or am i going to need to find an immutable vector somewhere?
YuGiOhJCJ has quit [Quit: YuGiOhJCJ]
<companion_cube>
Read only should be thread safe yes
<companion_cube>
If nobody else is writing to it
<olle>
Shouldn't "all" programming be declarative? Because you're always working in a specific domain, more or less.
<olle>
Perhaps there are too many domains? Or DSL would become too leaky.
<olle>
Or the issue with tooling and debugging.
humasect has joined #ocaml
kron has quit [Quit: kron]
kron has joined #ocaml
jessegreathouse has quit [Remote host closed the connection]
Haudegen has joined #ocaml
vbramselaar has quit [Ping timeout: 256 seconds]
myrkraverk_ has joined #ocaml
myrkraverk has joined #ocaml
jessegreathouse has joined #ocaml
LainIwakura has joined #ocaml
myrkraverk_ has quit [Ping timeout: 256 seconds]
myrkraverk_ has joined #ocaml
myrkraverk has quit [Ping timeout: 244 seconds]
LainIwakura has quit [Ping timeout: 250 seconds]
myrkraverk__ has joined #ocaml
myrkraverk_ has quit [Ping timeout: 256 seconds]
jessegreathouse has quit [Remote host closed the connection]
myrkraverk has joined #ocaml
myrkraverk__ has quit [Ping timeout: 260 seconds]
LainIwakura has joined #ocaml
toastal has quit [Ping timeout: 255 seconds]
LainIwakura has quit [Ping timeout: 250 seconds]
myrkraverk_ has joined #ocaml
myrkraverk has quit [Ping timeout: 258 seconds]
LainIwakura has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
toastal has joined #ocaml
LainIwakura has quit [Quit: Client closed]
olle has quit [Ping timeout: 256 seconds]
LainIwakura has joined #ocaml
Frostillicus has joined #ocaml
LainIwakura has quit [Ping timeout: 250 seconds]
jessegreathouse has joined #ocaml
jessegreathouse has quit [Remote host closed the connection]
LainIwakura has joined #ocaml
LainIwakura has quit [Client Quit]
Serpent7776 has quit [Ping timeout: 256 seconds]
bartholin has joined #ocaml
cr1901 has quit [Read error: Connection reset by peer]
cr1901 has joined #ocaml
Tuplanolla has joined #ocaml
Haudegen has joined #ocaml
vbramselaar has joined #ocaml
LainIwakura has joined #ocaml
cr1901 has quit [Read error: Connection reset by peer]
cr1901 has joined #ocaml
cr1901 has quit [Read error: Connection reset by peer]
cr1901 has joined #ocaml
Frostillicus has quit [Read error: Connection reset by peer]
humasect has quit [Remote host closed the connection]
humasect has joined #ocaml
cr1901 has quit [Read error: Connection reset by peer]
cr1901 has joined #ocaml
humasect has quit [Ping timeout: 255 seconds]
humasect has joined #ocaml
humasect has quit [Remote host closed the connection]
humasect has joined #ocaml
humasect has quit [Ping timeout: 256 seconds]
polykernel has joined #ocaml
myrkraverk has joined #ocaml
polykernel_ has joined #ocaml
myrkraverk_ has quit [Ping timeout: 258 seconds]
polykernel has quit [Ping timeout: 260 seconds]
polykernel_ is now known as polykernel
Serpent7776 has joined #ocaml
spynx has joined #ocaml
pgiarrusso_ has joined #ocaml
philipwhite_ has joined #ocaml
richardhuxton_ has joined #ocaml
b0o_ has joined #ocaml
_alix_ has joined #ocaml
phaebz_ has joined #ocaml
buoy49___ has joined #ocaml
sailorCa| has joined #ocaml
jbowen_ has joined #ocaml
philipwhite has quit [Ping timeout: 248 seconds]
buoy49__ has quit [Ping timeout: 248 seconds]
richardhuxton has quit [Ping timeout: 248 seconds]
pgiarrusso has quit [Ping timeout: 248 seconds]
phaebz has quit [Ping timeout: 248 seconds]
_alix has quit [Ping timeout: 248 seconds]
sailorTheCat has quit [Ping timeout: 248 seconds]
mal`` has quit [Ping timeout: 248 seconds]
jbowen has quit [Ping timeout: 248 seconds]
phaebz_ is now known as phaebz
b0o has quit [Read error: Connection reset by peer]
pgiarrusso_ is now known as pgiarrusso
jbowen_ is now known as jbowen
richardhuxton_ is now known as richardhuxton
_alix_ is now known as _alix
b0o_ is now known as b0o
GreaseMonkey has quit [Read error: Connection reset by peer]
spynxic has quit [Read error: Connection reset by peer]
greaser|q has joined #ocaml
ol0ck has joined #ocaml
spynx is now known as spynxic
mal`` has joined #ocaml
myrkraverk_ has joined #ocaml
Frostillicus has joined #ocaml
myrkraverk has quit [Ping timeout: 256 seconds]
Frostillicus has quit [Read error: Connection reset by peer]