FreeBirdLjj has quit [Ping timeout: 240 seconds]
infinity0_ has joined #ocaml
infinity0 has joined #ocaml
infinity0 has quit [Killed (niven.freenode.net (Nickname regained by services))]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
Algebr has joined #ocaml
Algebr is now known as Guest93930
infinity0 has joined #ocaml
average_ has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
Guest93930 has quit [Ping timeout: 240 seconds]
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
infinity0 has quit [Remote host closed the connection]
superherointj has quit [Quit: Leaving]
boadie has joined #ocaml
boadie has quit [Client Quit]
enterprisey has quit [Ping timeout: 260 seconds]
ziyourenxiang has quit [Ping timeout: 240 seconds]
sgronblo has joined #ocaml
Algebr` has joined #ocaml
barcabouna has quit [Ping timeout: 240 seconds]
Algebr` has quit [Ping timeout: 240 seconds]
barcabouna has joined #ocaml
iCharlie has quit []
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
enterprisey has joined #ocaml
average_ has quit [Quit: leaving]
shinnya has quit [Ping timeout: 240 seconds]
sgronblo has quit [Read error: Connection reset by peer]
mfp__ has quit [Ping timeout: 246 seconds]
andreas_ has quit [Quit: Connection closed for inactivity]
Algebr` has joined #ocaml
agravier has joined #ocaml
Algebr` has quit [Ping timeout: 240 seconds]
jao has joined #ocaml
sgronblo has joined #ocaml
silver has quit [Read error: Connection reset by peer]
copy_ has quit [Quit: Connection closed for inactivity]
yegods has quit [Remote host closed the connection]
enterprisey has quit [Remote host closed the connection]
mengu has quit [Remote host closed the connection]
Algebr` has joined #ocaml
moei has joined #ocaml
pierpa has quit [Quit: Page closed]
Algebr` has quit [Ping timeout: 246 seconds]
sgronblo has quit [Read error: Connection reset by peer]
spew has joined #ocaml
jao has quit [Ping timeout: 268 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 260 seconds]
samrat has joined #ocaml
MercurialAlchemi has joined #ocaml
Algebr` has joined #ocaml
Algebr` has quit [Ping timeout: 268 seconds]
ryanartecona has joined #ocaml
sgronblo has joined #ocaml
barcabouna has quit [Ping timeout: 240 seconds]
barcabouna has joined #ocaml
infinity0 has joined #ocaml
olibjerd has joined #ocaml
Algebr` has joined #ocaml
Algebr` has quit [Ping timeout: 240 seconds]
MercurialAlchemi has quit [Ping timeout: 240 seconds]
samrat has quit [Ping timeout: 240 seconds]
govg has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 258 seconds]
samrat has joined #ocaml
agravier has quit [Quit: agravier]
Algebr` has joined #ocaml
spew has quit [Ping timeout: 240 seconds]
MercurialAlchemi has joined #ocaml
demonimin_ has joined #ocaml
demonimin has quit [Ping timeout: 240 seconds]
sgronblo has quit [Ping timeout: 255 seconds]
manizzle has quit [Ping timeout: 260 seconds]
demonimin has joined #ocaml
demonimin_ has quit [Ping timeout: 246 seconds]
threshold has quit [Ping timeout: 255 seconds]
ryanartecona has quit [Quit: ryanartecona]
xaimus has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
manizzle has joined #ocaml
Merv__ has joined #ocaml
manizzle has quit [Max SendQ exceeded]
Merv_ has quit [Ping timeout: 246 seconds]
sgronblo has joined #ocaml
agravier has joined #ocaml
alfredo has joined #ocaml
Algebr` has quit [Ping timeout: 246 seconds]
alfredo has quit [Client Quit]
Simn has joined #ocaml
alfredo has joined #ocaml
agravier has quit [Read error: Connection reset by peer]
jlam_ has joined #ocaml
jlam has quit [Ping timeout: 260 seconds]
ontologiae has joined #ocaml
agravier has joined #ocaml
Merv__ has quit [Remote host closed the connection]
Merv_ has joined #ocaml
ontologiae has quit [Ping timeout: 240 seconds]
Merv_ has quit [Ping timeout: 240 seconds]
demonimin_ has joined #ocaml
demonimin has quit [Ping timeout: 268 seconds]
agravier has quit [Ping timeout: 240 seconds]
agravier has joined #ocaml
FreeBirdLjj has joined #ocaml
agravier has quit [Client Quit]
ontologiae has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
andreas_ has joined #ocaml
manizzle has joined #ocaml
manizzle has quit [Ping timeout: 255 seconds]
ontologiae has quit [Ping timeout: 255 seconds]
TarVanimelde has joined #ocaml
AltGr has joined #ocaml
alfredo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
alfredo has joined #ocaml
TarVanimelde has quit [Quit: TarVanimelde]
Algebr` has joined #ocaml
ontologiae has joined #ocaml
manizzle has joined #ocaml
raphaelss has quit [Ping timeout: 268 seconds]
agravier has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 255 seconds]
Sim_n has joined #ocaml
Simn has quit [Ping timeout: 258 seconds]
freusque has joined #ocaml
rossberg_ has quit [Ping timeout: 255 seconds]
zpe has joined #ocaml
manizzle has quit [Ping timeout: 240 seconds]
johnelse has quit [Ping timeout: 255 seconds]
ousado_ has quit [Remote host closed the connection]
mfp__ has joined #ocaml
rossberg_ has joined #ocaml
freusque has quit [Quit: WeeChat 1.7.1]
boojinks has joined #ocaml
argent_smith has joined #ocaml
johnelse has joined #ocaml
manizzle has joined #ocaml
Merv_ has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
Merv__ has joined #ocaml
Merv_ has quit [Ping timeout: 246 seconds]
demonimin_ is now known as demonimin
<
demonimin>
Any recommendations for a fast sorted data structure, like Map but not functional? Something like Rust's BTreeMap?
sgronblo has quit [Ping timeout: 240 seconds]
<
zozozo>
demonimin: why "not functional" ?
<
demonimin>
there's no need for it to be functional, and I suspect it will be faster
<
Drup>
that's not so obvious in OCaml, it depends a lot of your access patterns.
manizzle has quit [Ping timeout: 240 seconds]
<
demonimin>
The pattern is a lot of batched updates (add/remove)
tormen has quit [Remote host closed the connection]
<
demonimin>
Rebuilding the map is currently faster than updating it, which I find shocking
tormen has joined #ocaml
<
zozozo>
that doesn't seem normal
<
Drup>
Heh, I would be interested by a minimal reproduction for that :p
raphaelss has joined #ocaml
agravier has quit [Quit: agravier]
<
reynir>
Looks like the ocaml.org certificate expired today :)
* reynir
just reported it
agravier has joined #ocaml
<
companion_cube>
demonimin: sorted structure? not going to be easy indeed
<
companion_cube>
I wante to write a T-tree long ago, never did it
<
demonimin>
yeah, it needs a fast "iter starting at boundary" operation, which I actually added to Map
<
companion_cube>
you mean to iterate on a range? :s
<
companion_cube>
I have a weight-balanced tree, but it's also binary, so won't be better
mengu has joined #ocaml
<
demonimin>
fwiw, it's keyed by small strings, and just having in-place updates of existing keys should make things faster
<
companion_cube>
I think a T-tree would be nice though
<
demonimin>
yeah, looking at it
<
demonimin>
though rust went with an in-memory btree, not sure which is better
<
Drup>
if it's keyed by small strings and insertions are batched, you could use a trie
<
Drup>
it'll support ranges
<
companion_cube>
locality is meh though
kakadu has joined #ocaml
manizzle has joined #ocaml
madroach has quit [Ping timeout: 240 seconds]
orbifx[m] has quit [Ping timeout: 264 seconds]
isaachodes[m] has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
nahra has quit [Remote host closed the connection]
nahra has joined #ocaml
manizzle has quit [Ping timeout: 240 seconds]
sepp2k has joined #ocaml
samrat has quit [Ping timeout: 240 seconds]
olibjerd has quit [Quit: olibjerd]
isaachodes[m] has joined #ocaml
orbifx[m] has joined #ocaml
olibjerd has joined #ocaml
<
def`>
demonimin: maybe batched updates on a functional map will be good enough?
ontologiae has quit [Ping timeout: 240 seconds]
ontologiae has joined #ocaml
ontologiae has quit [Ping timeout: 255 seconds]
silver has joined #ocaml
alfredo has quit [Ping timeout: 246 seconds]
snowcrshd has joined #ocaml
alfredo has joined #ocaml
<
orbifx[m]>
Hello gang
_andre has joined #ocaml
ziyourenxiang has joined #ocaml
sgronblo has joined #ocaml
agravier has quit [Quit: agravier]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
jjb_ has joined #ocaml
mengu has quit [Quit: Leaving...]
_whitelogger has joined #ocaml
jlam_ has quit [Ping timeout: 246 seconds]
sh0t has joined #ocaml
jbrown has joined #ocaml
FreeBirdLjj has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
shinnya has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
manizzle has joined #ocaml
xaimus has joined #ocaml
manizzle has quit [Ping timeout: 240 seconds]
agravier has joined #ocaml
raphaelss has quit [Quit: Lost terminal]
chat has joined #ocaml
chat is now known as Guest87679
chat_ has quit [Ping timeout: 240 seconds]
<
reynir>
How long does it typically take from a PR to opam-repository is merged to the package being available on opam.ocaml.org?
leah2 has quit [Quit: trotz alledem!]
tane has joined #ocaml
<
johnelse>
reynir: I think there's an hourly cronjob
leah2 has joined #ocaml
chat____4 has joined #ocaml
<
reynir>
Awesome, thanks!
Guest87679 has quit [Ping timeout: 240 seconds]
manizzle has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 255 seconds]
manizzle has quit [Ping timeout: 240 seconds]
Algebr` has quit [Ping timeout: 240 seconds]
Algebr` has joined #ocaml
ryanartecona has joined #ocaml
NaCl has joined #ocaml
NaCl has left #ocaml [#ocaml]
alfredo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
alfredo has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
ryanartecona has joined #ocaml
<
demonimin>
Just sticking and updating refs inside the map has made things much faster. But I think there's potential for more.
Algebr` has quit [Ping timeout: 255 seconds]
MercurialAlchemi has joined #ocaml
FreeBirdLjj has joined #ocaml
alfredo has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
alfredo has joined #ocaml
Soni has quit [Quit: Leaving]
madroach has quit [Remote host closed the connection]
_y has quit [Ping timeout: 255 seconds]
tobiasBora has quit [Ping timeout: 255 seconds]
_y has joined #ocaml
Soni has joined #ocaml
enterprisey has joined #ocaml
<
reynir>
lobo: I finally released ocp-index-top on opam \o/
boojinks has quit [Quit: leaving]
_y has quit [Read error: error:1408F10B:SSL routines:SSL3_GET_RECORD:wrong version number]
tobiasBora has joined #ocaml
copy_ has joined #ocaml
samrat has joined #ocaml
silver has quit [Read error: Connection reset by peer]
_y has joined #ocaml
nicoo has quit [Remote host closed the connection]
nicoo has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
larhat has joined #ocaml
robertc` has quit [Remote host closed the connection]
robertc` has joined #ocaml
samrat has quit [Ping timeout: 240 seconds]
jjb_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
jjb_ has joined #ocaml
jjb_ has quit [Client Quit]
jjb_ has joined #ocaml
samrat has joined #ocaml
<
lobo>
reynir: awesome. just remove the pin :D
<
lobo>
s/remove/removed/
ryanartecona has quit [Quit: ryanartecona]
jao has joined #ocaml
maarhart_ has joined #ocaml
maarhart_ has quit [Client Quit]
Anarchos has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
sgronblo has quit [Read error: Connection reset by peer]
<
Anarchos>
Is there a tool to print the debug symbols table of a bytecode file ?
Anarchos has quit [Remote host closed the connection]
Anarchos has joined #ocaml
MercurialAlchemi has joined #ocaml
andreas_ has quit [Quit: Connection closed for inactivity]
average has quit [Ping timeout: 245 seconds]
average has joined #ocaml
Merv__ has quit [Remote host closed the connection]
maarhart_ has joined #ocaml
maarhart_ has joined #ocaml
maarhart_ has quit [Client Quit]
TheLemonMan has joined #ocaml
ryanartecona has joined #ocaml
<
def`>
dumpobj from compiler distribution
<
def`>
(in tools folder)
ohama has quit [Read error: Connection reset by peer]
justicefries_ has joined #ocaml
jyc_ has joined #ocaml
jnavila has joined #ocaml
<
def`>
reynir: what about utop 2.0.1?
ia0_ has joined #ocaml
<
def`>
from reason discord, "Did people discuss utop 2.0.1 here? Bleh, ping me (reynir) on freenode"
<
reynir>
Yea, I saw reason didn't work well with 2.0.1 so I was curious if there had been any discussion
<
def`>
the bug is in utop
<
def`>
you have to pin to 1.19.3
<
reynir>
I think you can use utop-full, or is that broken too?
<
def`>
utop-full should be fine
rpcope- has joined #ocaml
ahf_ has joined #ocaml
orbifx[m] has quit [*.net *.split]
justicefries has quit [*.net *.split]
adi_____ has quit [*.net *.split]
jyc has quit [*.net *.split]
fluter has quit [*.net *.split]
rpcope has quit [*.net *.split]
Bluddy[m] has quit [*.net *.split]
smondet[m] has quit [*.net *.split]
ahf has quit [*.net *.split]
kalio has quit [*.net *.split]
kyod has quit [*.net *.split]
ia0 has quit [*.net *.split]
philtor has quit [*.net *.split]
groovy2shoes has quit [*.net *.split]
ahf_ is now known as ahf
justicefries_ is now known as justicefries
rpcope- has quit [Excess Flood]
ia0_ is now known as ia0
rpcope has joined #ocaml
ohama has joined #ocaml
shinnya has quit [Ping timeout: 260 seconds]
tane has quit [Ping timeout: 246 seconds]
kyod has joined #ocaml
orbifx[m] has joined #ocaml
philtor has joined #ocaml
groovy2shoes has joined #ocaml
rpcope has quit [Ping timeout: 255 seconds]
kalio has joined #ocaml
rpcope has joined #ocaml
smondet[m] has joined #ocaml
fluter has joined #ocaml
Bluddy[m] has joined #ocaml
sh0t has quit [Remote host closed the connection]
rpcope has quit [Ping timeout: 240 seconds]
inr_ has quit [Quit: WeeChat 1.7.1]
rpcope has joined #ocaml
tane has joined #ocaml
agravier has quit [Quit: agravier]
agravier has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
slash^ has joined #ocaml
yomimono has joined #ocaml
jpdeplaix has quit [Quit: WeeChat 1.0.1]
maarhart has joined #ocaml
Merv_ has joined #ocaml
kakadu has quit [Quit: Konversation terminated!]
maarhart has quit [Client Quit]
manizzle has joined #ocaml
AlexDenisov has joined #ocaml
manizzle has quit [Max SendQ exceeded]
manizzle has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
ygrek has joined #ocaml
toolslive has joined #ocaml
sh0t has joined #ocaml
ygrek_ has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
yegods has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 240 seconds]
samrat has quit [Ping timeout: 240 seconds]
pierpa has joined #ocaml
manizzle has quit [Ping timeout: 240 seconds]
adi_____ has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.1]: i've been blurred!]
ygrek_ has quit [Remote host closed the connection]
ygrek has joined #ocaml
ygrek_ has joined #ocaml
shinnya has joined #ocaml
ygrek has quit [Ping timeout: 268 seconds]
ygrek__ has joined #ocaml
ygrek_ has quit [Ping timeout: 268 seconds]
ygrek has joined #ocaml
ygrek__ has quit [Ping timeout: 240 seconds]
jpdeplaix has joined #ocaml
raphaelss has joined #ocaml
jnavila has quit [Read error: Connection reset by peer]
_andre has quit [Quit: leaving]
yegods has quit [Remote host closed the connection]
jnavila has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
kakadu has joined #ocaml
tane has quit [Quit: Leaving]
alexelcu has quit [Remote host closed the connection]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
alexelcu has joined #ocaml
yegods has joined #ocaml
olibjerd has quit [Quit: olibjerd]
inr has joined #ocaml
average has quit [*.net *.split]
aspiwack[m] has quit [*.net *.split]
jeffmo_ has quit [*.net *.split]
clockish has quit [*.net *.split]
RomanZ5 has quit [*.net *.split]
mehdib has quit [*.net *.split]
octachron has quit [*.net *.split]
def` has quit [*.net *.split]
dx has quit [*.net *.split]
bitbckt has quit [*.net *.split]
Pepe_ has quit [*.net *.split]
gargawel has quit [*.net *.split]
pitastrudl has quit [*.net *.split]
bernardofpc has quit [*.net *.split]
jave has quit [*.net *.split]
bacam has quit [*.net *.split]
pippijn has quit [*.net *.split]
bernardo1pc has joined #ocaml
def`_ has joined #ocaml
Rome has joined #ocaml
jave_ has joined #ocaml
clockish_ has joined #ocaml
pippijn has joined #ocaml
octachron_ has joined #ocaml
gargawel has joined #ocaml
bacam has joined #ocaml
Pepe_ has joined #ocaml
pitastrudl has joined #ocaml
dx has joined #ocaml
bitbckt_ has joined #ocaml
clockish_ is now known as clockish
jeffmo_ has joined #ocaml
jeffmo_ is now known as jeffmo
mehdib has joined #ocaml
larhat has quit [Quit: Leaving.]
jnavila has quit [Remote host closed the connection]
average has joined #ocaml
aspiwack[m] has joined #ocaml
yomimono has quit [Ping timeout: 240 seconds]
mengu has joined #ocaml
bitbckt_ is now known as bitbckt
bitbckt has quit [Changing host]
bitbckt has joined #ocaml
ryanartecona has joined #ocaml
FreeBirdLjj has joined #ocaml
enterprisey has quit [Remote host closed the connection]
FreeBirdLjj has quit [Ping timeout: 258 seconds]
g0d355__ has joined #ocaml
yegods has joined #ocaml
AltGr has left #ocaml [#ocaml]
spew has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
agravier has quit [Quit: agravier]
agravier has joined #ocaml
agravier has quit [Client Quit]
agravier has joined #ocaml
agravier has quit [Client Quit]
spew has quit [Ping timeout: 276 seconds]
sepp2k has quit [Quit: Leaving.]
sepp2k has joined #ocaml
manizzle has joined #ocaml
manizzle has quit [Max SendQ exceeded]
manizzle has joined #ocaml
manizzle has quit [Ping timeout: 276 seconds]
sepp2k has quit [Quit: Leaving.]
sepp2k has joined #ocaml
sepp2k has quit [Client Quit]
ryanartecona has joined #ocaml
yomimono has joined #ocaml
Sim_n has quit [Quit: Leaving]
TarVanimelde has joined #ocaml
sgronblo has joined #ocaml
TarVanimelde has quit [Quit: TarVanimelde]
mengu has quit [Ping timeout: 240 seconds]
threshold has joined #ocaml
kakadu has quit [Remote host closed the connection]
jao has joined #ocaml
sgronblo has quit [Ping timeout: 240 seconds]
infinity0 has quit [Remote host closed the connection]
enterprisey has joined #ocaml
infinity0 has joined #ocaml
pierpa has quit [Quit: Page closed]
argent_smith has quit [Quit: Leaving.]
sh0t has quit [Remote host closed the connection]