pmetzger has quit [Remote host closed the connection]
mfp has quit [Ping timeout: 264 seconds]
cbot has joined #ocaml
sh0t has joined #ocaml
caltelt has quit [Ping timeout: 240 seconds]
ratsch has quit [Remote host closed the connection]
ratsch has joined #ocaml
silver has quit [Read error: Connection reset by peer]
pmetzger has joined #ocaml
trillpoli[m] has left #ocaml ["User left"]
obliq has joined #ocaml
picolino has quit [Ping timeout: 256 seconds]
picolino has joined #ocaml
al-damiri has quit [Quit: Connection closed for inactivity]
FreeBird_ has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
spew has quit [Read error: Connection reset by peer]
jimmyrcom_ has quit [Ping timeout: 248 seconds]
pmetzger has quit []
demonimin has quit [Ping timeout: 264 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
cobreadmonster has joined #ocaml
tormen has joined #ocaml
Fare has quit [Ping timeout: 264 seconds]
tormen_ has quit [Ping timeout: 240 seconds]
hdon has quit [Ping timeout: 268 seconds]
jimmyrcom_ has joined #ocaml
kuwze has quit [Ping timeout: 260 seconds]
obliq has quit [Quit: leaving]
nomicflux has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
nomicflux has quit [Quit: nomicflux]
jbrown has quit [Ping timeout: 264 seconds]
Fare has joined #ocaml
jimmyrcom_ has quit [Ping timeout: 256 seconds]
Fare has quit [Ping timeout: 264 seconds]
jao has quit [Remote host closed the connection]
jao has joined #ocaml
jao has quit [Ping timeout: 240 seconds]
pierpa has quit [Quit: Page closed]
sh0t has quit [Remote host closed the connection]
Fare has joined #ocaml
govg has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
mbuf has joined #ocaml
caltelt has joined #ocaml
Fare has quit [Ping timeout: 264 seconds]
noitakomentaja has quit [Remote host closed the connection]
noitakomentaja has joined #ocaml
johnelse has joined #ocaml
johnelse_ has quit [Ping timeout: 240 seconds]
malina has quit [Quit: Throwing apples of Montserrat]
malina has joined #ocaml
hdon has joined #ocaml
noitakomentaja has quit [Remote host closed the connection]
noitakomentaja has joined #ocaml
hdon has quit [Ping timeout: 256 seconds]
MercurialAlchemi has joined #ocaml
muelleme has joined #ocaml
hdon has joined #ocaml
muelleme has quit [Ping timeout: 240 seconds]
hdon has quit [Ping timeout: 240 seconds]
cbot has quit [Ping timeout: 240 seconds]
muelleme has joined #ocaml
cbot has joined #ocaml
muelleme has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
noitakomentaja has quit [Ping timeout: 255 seconds]
cobreadmonster has quit [Quit: Connection closed for inactivity]
chelfi1 has quit [Ping timeout: 256 seconds]
chelfi1 has joined #ocaml
cbot has quit [Quit: Leaving]
orbifx has joined #ocaml
unyu has quit [Quit: Reboot.]
tobiasBora has quit [Ping timeout: 240 seconds]
Fardale has quit [Ping timeout: 260 seconds]
sgnb has joined #ocaml
baroud has joined #ocaml
Fardale has joined #ocaml
tobiasBora has joined #ocaml
dakk has joined #ocaml
Haudegen has joined #ocaml
orbifx has quit [Ping timeout: 248 seconds]
caltelt has quit [Ping timeout: 240 seconds]
hdon has joined #ocaml
hdon has quit [Ping timeout: 240 seconds]
dxtr_ has joined #ocaml
dxtr has quit [Quit: leaving]
dxtr has joined #ocaml
hdon has joined #ocaml
baroud has quit [Ping timeout: 268 seconds]
Haudegen has quit [Read error: Connection reset by peer]
Haudegen has joined #ocaml
mfp has joined #ocaml
<remix2000[m]>
If I don't want to make asynchronous calls, is it still okay to use cohttp?
argent_smith has joined #ocaml
pierpal has joined #ocaml
hdon has quit [Ping timeout: 240 seconds]
<M-ErkkiSeppl>
@remix2000:matrix.org: sure, why not. I've used oCurl in the past but probably cohttp is nowadayas a better idea.
baroud has joined #ocaml
dhil has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 264 seconds]
argent_smith has quit [Quit: Leaving.]
zolk3ri has joined #ocaml
dhil has quit [Ping timeout: 264 seconds]
noitakomentaja has joined #ocaml
demonimin has joined #ocaml
pierpal has quit [Ping timeout: 240 seconds]
tarptaeya has joined #ocaml
<remix2000[m]>
Is there a more convenient way to expose concrete types than copying type signatures to mli?
<steenuil>
but that would make it hard to figure out what they are without looking at the implementation file
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
rostero has quit [Quit: Connection closed for inactivity]
troydm has joined #ocaml
caltelt has joined #ocaml
kakadu has joined #ocaml
kakadu has quit [Client Quit]
TarVanimelde has joined #ocaml
pierpal has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
hdon has joined #ocaml
jbrown has joined #ocaml
mk9 has quit [Ping timeout: 256 seconds]
mk9 has joined #ocaml
mk9 has quit [Remote host closed the connection]
mk9 has joined #ocaml
jao has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
hdon has quit [Ping timeout: 256 seconds]
mk9 has quit [Ping timeout: 240 seconds]
hdon has joined #ocaml
TarVanimelde has quit [Quit: TarVanimelde]
hdon has quit [Ping timeout: 240 seconds]
hdon has joined #ocaml
nicoo has quit [Remote host closed the connection]
hdon has quit [Changing host]
hdon has joined #ocaml
nicoo has joined #ocaml
exarkun has quit [Read error: Connection reset by peer]
<M-ErkkiSeppl>
@remix2000:matrix.org: well, you can expose them in another .mli file and then include that into both your actual .mli and the .ml...
AndroUser has joined #ocaml
exarkun has joined #ocaml
hdon has quit [Ping timeout: 276 seconds]
pierpal has joined #ocaml
Bronsa has joined #ocaml
hdon has joined #ocaml
ruffy_ has joined #ocaml
hdon has quit [Ping timeout: 268 seconds]
ruffy_ has quit [Quit: ChatZilla 0.9.93-rdmsoft [XULRunner 41.0.2/20180327224522]]
ruffy_ has joined #ocaml
zolk3ri has quit [Ping timeout: 256 seconds]
zolk3ri has joined #ocaml
argent_smith has joined #ocaml
sgnb has quit [Remote host closed the connection]
silver has joined #ocaml
AndroUser has quit [Remote host closed the connection]
dhil has joined #ocaml
Haudegen has quit [Remote host closed the connection]
barcabuona has joined #ocaml
ool1Dei2 has joined #ocaml
malina has quit [Ping timeout: 264 seconds]
<ool1Dei2>
Is evaluation order of arguments specified in ocaml? Since we have currying, doesn't it mean that in (f x y) :: x -> (y -> whatever) x have to be evaluated before y, according to the type?
<ool1Dei2>
Haskell is not strict, so it basically doesn't matter there, but in a strict language wouldn't this prevent us from doing optimizations?
<M-ErkkiSeppl>
no, it's not specified
<M-ErkkiSeppl>
in fact you will find that byte code and optimized code have a different opinion on that :-)
<M-ErkkiSeppl>
in other words: do not have side effects that depend on evaluation order as parameters
MercurialAlchemi has quit [Ping timeout: 240 seconds]
<ool1Dei2>
M-ErkkiSeppl: ok, but doesn't it seem broken from the point of types?
<M-ErkkiSeppl>
well, no? types don't model side effects
<ool1Dei2>
I mean, you have type x -> y -> z, but actually y is evaluated before (y -> z) is even called... I dunno, it just seems wrong
<M-ErkkiSeppl>
:)
<M-ErkkiSeppl>
well, haskell does it.. ?
<M-ErkkiSeppl>
ie. it digs into an expression without evaluting stuff in order
<ool1Dei2>
M-ErkkiSeppl: but in haskell "x" doesn't literally means "x", it's rather "a thunk that will maybe sometimes give x if the planets align correctly"
<ool1Dei2>
That's why I've made a point about strictness when I was asking a question. I mean, I can understand why it's allowed in haskell, but in (oca)ml? I dunno
nomicflux has joined #ocaml
orbitz has joined #ocaml
<ool1Dei2>
Basically by carrying you're "linearizing" your function types, kinda similar to how the list imposes order on its contents... so if the actual implementation then shuffles your args around, it seems to me like it's not completely sound... kinda like if you were iterating a list and got its elements in different order. You see what I mean?
<Drup>
it might shock your intution, but it's really not a soundness question
<Drup>
the only thing that strictness dicatate is that arguments are evoluated before the function call, the order of evaluation among arguments is up to the implementation
steenuil has quit [Remote host closed the connection]
<ool1Dei2>
Drup: but we don't have such thing as "arguments", we always have exactly one because carrying. So in my example above "arguments are evaluated before the function call" is not true (we start evaluating (y -> z) before x is evaluated)
<Drup>
No, that's in pure lambda calculus. Application in OCaml is n-ary
<Drup>
it makes no difference in a pure setting, but that's it.
<ool1Dei2>
Drup: ah, so functions in ocaml aren't actually curried; it's rather a syntax sugar for partial application. Is that correct? And if they were actually curried, then my argument would be valid?
<Drup>
Alternatively, you could say that the compiler is applying an optimization that is not semantic preserving
<Drup>
but yes, that's the gist of it
argent_smith1 has joined #ocaml
<ool1Dei2>
Yeah, I could, but it really bothers me when I think about it. :)
<ool1Dei2>
Drup: so yeah, this clears things up for me. Thanks!
<exarkun>
Can I define two executables in a jbuild file? When I try I get errors about a module being used in multiple places (but this is not obviously the case).
sh0t has joined #ocaml
<Drup>
exarkun: yes, you just have to specify exactly the modules to be linked in with `(modules ...)`
<ool1Dei2>
M-ErkkiSeppl: that's kinda weird! I would expect it to reorder foo, not foo2
<ool1Dei2>
On the other hand, maybe compiler is smart enough to know that incr is commutative
<M-ErkkiSeppl>
I reaaally doubt that
<Drup>
the compiler doesn't re-order side-effecting instruments
<Drup>
including flambda
<Drup>
instructions*
<exarkun>
Drup: And then I can't use the same module in more than one executable? I'm tempted to ask why but I guess that doesn't really matter.. What do I do if two executables _do_ use the same module?
<M-ErkkiSeppl>
btw, removing incr a makes the output revert back to case 1
<ool1Dei2>
Ah, it's just the arguments; if we were to insert the printfs inside foo2, they'd be in correct order. I see
<Drup>
exarkun: it's a jbuilder constraint
<ool1Dei2>
M-ErkkiSeppl: hmm, no, I guess don't see (lol). That's weird
<Drup>
it's a bit crap, but that's how it is currently. If you have shared code between different stanza, you are supposed to pull it in a library
<Drup>
I think they aim to fix it eventually
baroud has quit [Remote host closed the connection]
<exarkun>
okay I guess I'll have one executable with a flag that picks between two behaviors, instead
baroud has joined #ocaml
caltelt has quit [Ping timeout: 276 seconds]
nomicflux has quit [Quit: nomicflux]
Fare has joined #ocaml
barcabuona has joined #ocaml
_andre has joined #ocaml
dhil has quit [Ping timeout: 268 seconds]
spew has joined #ocaml
sh0t has quit [Remote host closed the connection]
sh0t has joined #ocaml
Haudegen has joined #ocaml
sh0t has quit [Remote host closed the connection]
freusque has joined #ocaml
freusque has quit [Client Quit]
freusque has joined #ocaml
Bronsa has quit [Ping timeout: 264 seconds]
freusque has quit [Client Quit]
MercurialAlchemi has joined #ocaml
jao has quit [Ping timeout: 268 seconds]
freusque has joined #ocaml
jao has joined #ocaml
barcabuona has quit [Ping timeout: 240 seconds]
freusque has quit [Client Quit]
jbrown has quit [Ping timeout: 265 seconds]
jbrown has joined #ocaml
barcabuona has joined #ocaml
pmetzger has joined #ocaml
gtrak has joined #ocaml
gareppa has joined #ocaml
barcabuona has quit [Ping timeout: 255 seconds]
freusque has joined #ocaml
freusque has quit [Client Quit]
freusque has joined #ocaml
baroud has left #ocaml ["ERC (IRC client for Emacs 25.3.1)"]
freusque has quit [Client Quit]
sveit has quit [Ping timeout: 248 seconds]
baroud has joined #ocaml
freusque has joined #ocaml
freusque has quit [Client Quit]
sveit has joined #ocaml
freusque has joined #ocaml
freusque has quit [Client Quit]
freusque has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
barcabuona has joined #ocaml
ruffy_ has quit [Quit: ChatZilla 0.9.93-rdmsoft [XULRunner 41.0.2/20180327224522]]
gareppa has quit [Quit: Leaving]
M-ErkkiSeppl is now known as flux[m]
sh0t has joined #ocaml
barcabuona has quit [Ping timeout: 260 seconds]
al-damiri has joined #ocaml
barcabuona has joined #ocaml
pierpal has quit [Read error: Connection reset by peer]
freusque has quit [Quit: WeeChat 2.0]
pierpal has joined #ocaml
freusque has joined #ocaml
freusque has quit [Client Quit]
pmetzger has quit [Remote host closed the connection]
freusque has joined #ocaml
freusque has quit [Client Quit]
mk9 has joined #ocaml
freusque has joined #ocaml
dhil has joined #ocaml
gtrak has quit [Ping timeout: 240 seconds]
discord_bot has joined #ocaml
Bluddy has joined #ocaml
<Bluddy>
test
<discord_bot>
<Bluddy> test
gtrak has joined #ocaml
<Drup>
Bluddy did you finally have control over the riot group ?
<discord_bot>
<loxs> so this channel is connected to IRC?
<Bluddy>
No I haven't heard anything from the Riot guys
<Bluddy>
But IRC is now connected to the #IRC channel of the Discord chat
<Bluddy>
I was a little wary of connecting it to the #general channel right away
<Drup>
honestly, from the perspective of IRC, the result is kinda crap
<Armael>
it'd be nicer if people on discord appeared as actual people here
<Drup>
exactly
<Bluddy>
I don't know if there are issues with doing things that way. The code for the bot I used doesn't do it -- not sure why.
<Bluddy>
On the discord end it looks really nice: if you have a user on discord, it'll seem as if you're speaking there, with just a little bot flair next to your name
<Khady>
but no completion on the name :(
<flux[m]>
it's probably more difficult to implement without co-operation of the chat network in question
<Armael>
you mean individual nicks on irc appear as distinct people on discord?
<Drup>
Well, from the IRC end, the discord people don't exist
<flux[m]>
due to limited amount of permitted connections from a host; this approach uses only one
<flux[m]>
I suppose the code is also much more complicated.
<flux[m]>
I expect it to seem exactly the same on discord and in irc: the other network is one user?
<Bluddy>
Right on discord also, you don't see the IRC people as being online as part of the OCaml server. Which is a little weird, since I think Discord can support stuff like that.
<flux[m]>
discord is probably even more tricky to implement such a "complete bridge" functionality, unless it provides APIs for server-server connections or creating/removing users on the fly
<Bluddy>
The advantage on discord is that because it provides a bot api, it actually pretends that the person talking is a discord user with that name
<Bluddy>
and if a user exists with that name, it can even show the user's icon
loxs has joined #ocaml
<flux[m]>
matrix is the first chat network I know of that does "proper" bridging. apparently mattermost can also do that with slack.
<flux[m]>
Bluddy: well that's nice
<discord_bot>
<loxs> Are there conflicts if you are both in IRC and Discord?
<Drup>
That's why I would prefer to use riot over discord. Riot actually support bridges like that first class
<Drup>
loxs: Well, given that your message appear here as sent by "discord_bot" ... no
<flux[m]>
by riot you mean the matrix riot client?
<loxs>
Yeah, just tried... I like this setup to be honest
<Drup>
flux[m]: whatever :D
<Drup>
loxs: from the IRC perspective, it's really crap :/
<loxs>
And I also think it's not super bad on the IRC side either
<loxs>
I'm only worried about code snippets :)
<flux[m]>
I think it's tolerable. There's some value in increasing community cohesion.
<flux[m]>
I'm also on another channel with Telegram bridge and it's nice how "new people" can participate in the discussion.
<Bluddy>
I think it's decent for now
<Bluddy>
If I can find out how to make it seem like the actual person is talking on IRC, that would be an improvement
<flux[m]>
many irc clients could be extended to hide that bridge gap a bit better (but not completely)
<Armael>
..but who wants to extend its irc client
<Drup>
Bluddy: yeah, that would be much better
<Bluddy>
Also, if we ever get control of the OCaml community in Matrix, we can create a perfect mirror of discord to matrix, and then matrix will do a better job of bridging to IRC
<Drup>
yeah
<Drup>
that would be really good
<discord_bot>
<loxs> Sorry about this, but I just want to know what I'm causing if I do it: ocaml module Test = struct let a = () end
<flux[m]>
Armael: well, I hope that at some point IRC will sunset while superior solutions will arise :-)
<Armael>
:^)
<flux[m]>
during the transition period smoothening the ridges would be nice
pmetzger has joined #ocaml
<Bluddy>
loxs: It's not great on IRC
<Armael>
the best way of posting code snippets on irc is probably to upload them somewhere and post a link
<Armael>
I think the matrix bridge does this?
<Bluddy>
man, discord doesn't even show it as a mention, but I'm pretty sure it's supposed to
<loxs>
yeah, I only got notification in IRC
<Bluddy>
I need to dig through that bot's code. Better than nothing for now.
MercurialAlchemi has quit [Ping timeout: 255 seconds]
test has joined #ocaml
<discord_bot>
<Bluddy> testing testing
<test>
Bluddy: hello
test is now known as Guest86514
<Guest86514>
@Bluddy:hello
Guest86514 has quit [Client Quit]
baroud has quit [Remote host closed the connection]
<discord_bot>
<Bluddy> ok so it looks like in order to mention a discord user, you need to use the @user convention
<Armael>
:/
<discord_bot>
<Bluddy> that's because the bot does a regex replacement based on that token
tane has joined #ocaml
<discord_bot>
<Bluddy> I could probably expand it to include looking for a user at the very start of the message. That's the only way you get a mention in IRC, right?
<Armael>
yea
<discord_bot>
<Bluddy> ok so that should be easy to do
<lyxia>
on IRC highlighting is configured in each individual client
<discord_bot>
<Bluddy> but does it parse the whole message looking for names? Maybe for highlighting, but also for mentions?
<lyxia>
do you get highlighted here Bluddy? I think most clients do that.
<lyxia>
But if you only look for names at the beginning that covers most use cases.
<Drup>
there is no intrinsic mention of HL in IRC, it's just a thing IRC client do
mk9 has quit [Quit: mk9]
<discord_bot>
<Bluddy> ok so i'll just do beginning checks for mentions. Since there's no standard anyway, might as well just do that.
Fare has quit [Ping timeout: 248 seconds]
<discord_bot>
<Bluddy> Maybe it'll also help to have a shorter name than 'discord_bot'. The shorter the name, the less intrusive it is?
<flux[m]>
personally I wouldn't mind if IRC also transitioned to that @notify convention
gtrak has quit [Ping timeout: 248 seconds]
<flux[m]>
you wouldn't believe how much they talk about flux in #reprap..
<discord_bot>
<Bluddy> hehe
<discord_bot>
<Bluddy> I don't know what emojis do: 😄
<Drup>
That's your fault, you shouldn't choose a common english noun as nick :p
<flux[m]>
should've thought of that 30 years ago
ool1Dei2 has quit [Ping timeout: 260 seconds]
gtrak has joined #ocaml
<discord_bot>
<Bluddy> would having a shorter name than discord_bot be helpful to anyone? Would it look better in your client?
loxs has quit [Quit: This computer has gone to sleep]
<lyxia>
+1
<discord_bot>
<Bluddy> ok, how short would be good? bot? Just D for discord?
<zozozo>
@Bluddy personnaly, it wouldn't change much for me
<discord_bot>
<Bluddy> Hey, looks like emojis work fine... I guess if your client supports them, at least
<Drup>
just name it "discord"
<discord_bot>
<Bluddy> OK will do.
<flux[m]>
the shorter the nick, the more bytes saved!
<flux[m]>
it seems that particular emoji was converted to unicode, so it should work in almost anything non-obsolete
<steenuil>
btw, how does the matrix bridge work? it seems to spawn a new IRC user for every matrix one
<pmetzger>
Testing.
<discord_bot>
<Perry> testing.
<discord_bot>
<Perry> Interesting.
govg has quit [Ping timeout: 248 seconds]
<discord_bot>
<Perry> You know, we could solve this whole problem by creating ANOTHER chat service that does everything everyone wants in other chat services and unifies them. I'm sure that will fix absolutely everything!
<flux[m]>
matrix :-(
<flux[m]>
except it doesn't do reacts or stickers. yet!
<pmetzger>
Does it do markdown?
<Drup>
yeah
<pmetzger>
Can we run our own server?
<Drup>
it's also not centralized or handled by a private company, so it's not HYP
<discord_bot>
<Perry> HYP?
<discord_bot>
<Bluddy> @steenuil yeah matrix has a connection per user. I think it might be possible to do it here as well. The problem is what to do when you clash with an existing user. That may be why matrix adds the [m] suffix.
<flux[m]>
yes, you can run your own server and federate it with the rest of the matrix network
dhil has quit [Ping timeout: 268 seconds]
<flux[m]>
with the most efficient star network topology, I guess they need to do something about that some day :-)
<flux[m]>
oops I meant "fully connected mesh". at least that's what I think it is..
loxs has joined #ocaml
barcabuona has quit [Ping timeout: 265 seconds]
govg has joined #ocaml
<Khady>
what the problem with matrix? A specific name of group is targeted and not available?
<discord_bot>
<Bluddy> ok yeah looks like the only problem is freenode's connection limits from a particular IP. Matrix must have requested unlimited connections.
govg has quit [Ping timeout: 264 seconds]
<discord_bot>
<Bluddy> @khady Matrix is catching up with slack and discord in terms of having channels (rooms) aggregated under one 'community' (server, or guild in discord). Unfortunately, somebody already took the OCaml community and is not being responsive. Since this is a brand new feature for them, there's no way to ask to join the community directly, and no appeal process.
<Khady>
but "ocaml" is a name, right?
<Khady>
if there is no one and no activity in this community, we can backup to ocamllang or something similar
<Khady>
okml
<discord_bot>
<Bluddy> that's true. but would be much nicer to have ocaml. i don't know if this can be changed later on if need be.
<discord_bot>
<Bluddy> there's also the minor issue that the matrix <-> discord bridge is currently declared to be "alpha quality, but usable"
govg has joined #ocaml
<discord_bot>
<Bluddy> honestly, all of matrix has that alpha or beta feel to it. which isn't saying it's bad, so long as that passes at some point
noitakomentaja has quit [Ping timeout: 255 seconds]
govg has quit [Ping timeout: 240 seconds]
Fare has joined #ocaml
<Khady>
the name doesn't seem critical to me compared with a working solution. As long as the good name is properly advertised, it will be found
<Khady>
To find the discord you also have to google and find a link to a not broken invitation but it doesn't seem to stop people
barcabuona has joined #ocaml
hdon has joined #ocaml
Fare has quit [Ping timeout: 256 seconds]
loxs has quit [Quit: Leaving]
webshinra_ is now known as webshinra
hdon has quit [Ping timeout: 248 seconds]
Fare has joined #ocaml
<discord_bot>
<Perry> Matrix has a published protocol specification?
<discord_bot>
<Bluddy> @khady you make a good point
jimmyrcom_ has joined #ocaml
<pmetzger>
BTW, what's the real problem with IRC? Ugly clients?
<Khady>
I never tried matrix, so I'm not advocating it because I love it btw.
<Drup>
pmetzger: it's not hip anymore :p
<discord_bot>
<ncthbrt> Don't you need to run a bridge to get push?
<discord_bot>
<ncthbrt> In irc?
<pmetzger>
Also, it looks like an OCaml implementation of much of the Matrix protocol wouldn't be hard. It seems to be unpleasantly http based like many such things but whatever.
<pmetzger>
(Someday people may remember that TCP is a fine protocol, and HTTP is implemented on top of it.
<discord_bot>
<Bluddy> in theory, matrix is amazing. in reality, it's quite clunky. since the concept of 'communities' is a late addition, it's just an odd wrapper around room names that exist independently. It's not like discord where the channels are entities within the server.
<discord_bot>
<Bluddy> if you want to check out the ocaml community I quickly made in matrix, you can go to https://riot.im/app/#/group/+ocamllang:matrix.org
<pmetzger>
And of course there's the age-old question of whether Matrix is invertable.
<pmetzger>
Oh, good. I'll now have to fire up Riot. :|
<discord_bot>
<Bluddy> the rooms didn't show initially for me either, but now they do
<discord_bot>
<Bluddy> oh you may have to join the community first to see the room
<discord_bot>
<Bluddy> ok i changed the permission so anyone can join
<Drup>
Right, that's better now
dhil has joined #ocaml
gtrak has quit [Ping timeout: 260 seconds]
pierpal has quit [Ping timeout: 240 seconds]
mbuf has quit [Quit: Leaving]
pmetzger[m] has joined #ocaml
<discord_bot>
<Perry> Wow. Riot isn't just confusing, it's also nearly the slowest thing I've ever used.
gtrak has joined #ocaml
<pmetzger[m]>
It took about 20 seconds to join this room after clicking.
<pmetzger>
and it took almost 20 seconds to relay that message to IRC and Discord.
<pmetzger[m]>
And another 20 seconds to get from IRC to Matrix.
<pmetzger[m]>
Slooooooow.
<Armael>
:D
<discord_bot>
<Bluddy> yeah. it's really slow
Fare has quit [Ping timeout: 248 seconds]
Haudegen has quit [Remote host closed the connection]
<discord_bot>
<Bluddy> I'm afraid that despite having the open-source-ness, they're not doing the kinds of things discord does to maintain speed. discord supposedly has a very well-architected backend.
<steenuil>
the requirements can't be too high if you want people to host their own servers, I think
<pmetzger[m]>
It might also be that the server we're using is badly overloaded. Who knows.
barcabuona has quit [Ping timeout: 256 seconds]
<steenuil>
the matrix.org server is probably the most popular
<pmetzger[m]>
Is it highly overloaded? Because it's not exactly responding quickly here and I think that's what we're using.
<discord_bot>
<Perry> Wow, the speed of message transmission into and out of matrix is amazingly bad.
<discord_bot>
<Perry> instant transmission between discord and IRC though.
<steenuil>
I don't know, I mostly use matrix through another small server and I think it's pretty fast there
<pmetzger[m]>
So it might indeed be the server.
<pmetzger[m]>
We might set up our own on some .ocaml.org site and it might work better, and then we might even be able to name the community "ocaml".
<pmetzger[m]>
But I have to say, the Riot client UI does not impress.
gareppa has joined #ocaml
pierpal has joined #ocaml
dakk_ has joined #ocaml
<pmetzger>
If I use markdown on the IRC side, does it do the right thing on the other? _italics_. **bold**.
<discord_bot>
<Perry> markdown
<pmetzger>
Ah, so markdown on the IRC side arrives at discord, but on the discord side is stripped before arriving at IRC.
<pmetzger>
That could be unfortunate.
cbot has joined #ocaml
<pmetzger[m]>
markdown
<pmetzger>
It arrived from IRC to Matrix though. But from Matrix it was stripped before it got to IRC.
tobiasBora has quit [Ping timeout: 240 seconds]
dinosaure[s] has quit [Ping timeout: 240 seconds]
dakk has quit [Read error: Connection reset by peer]
<discord_bot>
<Bluddy> That's odd
barcabuona has joined #ocaml
dinosaure[s] has joined #ocaml
<discord_bot>
<Perry> Try it.
tobiasBora has joined #ocaml
Haudegen has joined #ocaml
ygrek has joined #ocaml
<discord_bot>
<Bluddy> no i believe you, it's just odd that matrix is doing this.
<discord_bot>
<Bluddy> hold on, i'm rebooting the bot
discord_bot has quit [Remote host closed the connection]
discord1 has joined #ocaml
<discord1>
<Perry> It seems unfortunate since rendering markdown on IRC would be easy.
Bluddy has joined #ocaml
<discord1>
<Bluddy> test
<discord1>
<Perry> test didn't get to Matrix yet
<discord1>
<Bluddy> yeah it's super slow
<pmetzger[m]>
test
Bluddy has quit [Client Quit]
<discord1>
<Perry> discord to matrix is still not up.
barcabuona has quit [Ping timeout: 260 seconds]
barcabuona has joined #ocaml
hdon has joined #ocaml
hdon has quit [Ping timeout: 248 seconds]
barcabuona has quit [Ping timeout: 265 seconds]
barcabuona has joined #ocaml
<Bluddy[m]>
Test
barcabuona has quit [Quit: WeeChat 2.1]
hdon has joined #ocaml
dakk_ has quit [Ping timeout: 240 seconds]
slash^ has joined #ocaml
gareppa has quit [Ping timeout: 240 seconds]
orbifx has joined #ocaml
Fare has joined #ocaml
<discord1>
<ncthbrt> Bluddy: Is this coming from matrix @Bluddy?
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
orbifx has quit [Ping timeout: 260 seconds]
<discord1>
<Bluddy> It was.
FreeBirdLjj has quit [Ping timeout: 256 seconds]
<discord1>
<ncthbrt> Hmm. So are matrix users marked with a [m]?
jao has quit [Ping timeout: 248 seconds]
<Armael>
yes
pierpal has quit [Read error: Connection reset by peer]
pierpal has joined #ocaml
gareppa has joined #ocaml
pmetzger has quit []
hdon has quit [Changing host]
hdon has joined #ocaml
muelleme has joined #ocaml
muelleme has quit [Ping timeout: 240 seconds]
gareppa has quit [Ping timeout: 256 seconds]
<discord1>
<Bluddy> I believe that's how they attempt to avoid nickname conflicts.
slash^ has quit [Read error: Connection reset by peer]
<flux[m]>
well, you can choose any nick, that's just the default
govg has joined #ocaml
<discord1>
<Bluddy> But can you get rid of the m?
kakadu has joined #ocaml
tarptaeya has quit [Quit: Konversation terminated!]
gareppa has joined #ocaml
<flux[m]>
well, I haven't tried, but nothing says it's not possible
<flux[m]>
but case in point my default nick was M-ErkkiSeppl and I changed it to flux[m]
<flux[m]>
I chose to use the suffix as I'm also as 'flux' here. and a little bit of matrix advocacy never hurt anybody!
<Fare>
Hi. Where do I find documentation on ppx old and new style so I can fix lens to work with jbuilder ?
Anarchos has joined #ocaml
micro_ has quit [Remote host closed the connection]
<Drup>
"new style" means "use ocaml-migrate-parsetree's driver"