<discocaml>
[discord] <Bluddy> We can keep it like this, but there's a way to make it so that people actually appear with their identities on the discord side (and pictures based on random selection from a website)
<discocaml>
[discord] <Bluddy> That's how we had it, and it looks much cleaner on the discord end
<discocaml>
[discord] <companion_cube> ok, so far I just followed the most basic config
<companion_cube>
let's see
<discocaml>
[discord] <companion_cube> nah :/
<zozozo>
the bot output is quite verbose on irc I think, :/
<companion_cube>
we can adjust
<companion_cube>
what was the old format?
<zozozo>
the same, but minus the "[discord]" prefix
<discocaml>
[discord] <companion_cube> right, right
discocaml has quit [Remote host closed the connection]
John_Ivan__ has joined #ocaml
discocaml has joined #ocaml
John_Ivan__ has quit [Max SendQ exceeded]
John_Ivan__ has joined #ocaml
<zebrag[m]>
does that mean the discord bridge is working again?
<companion_cube>
soon
discocaml has quit [Remote host closed the connection]
discocaml has joined #ocaml
John_Ivan_ has quit [Ping timeout: 252 seconds]
jlrnick has quit [Ping timeout: 256 seconds]
<zebrag[m]>
And about everybody else moving to matrix.org? (mozilla and kde did move to matrix.org). I allows for nice paste and is way easier to access than discord
John_Ivan_ has joined #ocaml
<companion_cube>
… no ? :D
troydm has joined #ocaml
<zebrag[m]>
I any case I will have to reask my question about why I must put pattern match branches for cases where the type can't have inhabitants (statically, but I use ocaml 4.08, so that might be the reason)
John_Ivan__ has quit [Ping timeout: 256 seconds]
<companion_cube>
if that involves GADTs, it's probably because the type inference isn't able to prove the emptyness in some branches
tsns has joined #ocaml
<zebrag[m]>
there were no branch for that case in the haskell version. And I had to put one in the ocaml port. But the typing algorithms are not exactly identical
<zozozo>
more precisely, it is known that deciding whether some gadt type is inhabited is a hard problem (equivalent to Horn sat iirc), so the compiler does not try too hard to avoid blowing up, but you can force it to explore some of the search space by adding some pattern branches (and htese branches explicitly stating they are impossible to reach using the `.` body)
<zebrag[m]>
. body?
<zozozo>
you can write things like "match x with | Valid_pattern -> () | Known_to_be_unreachable -> ."
<zozozo>
and the compiler will check that that last pattern is indeed unreachable
<zebrag[m]>
does that dot thing have a name, so I can find it in the documentation?
<zebrag[m]>
cool
<zozozo>
it's called a refutation case I think
<zebrag[m]>
so not like some assert false which I used
<zebrag[m]>
okay thanks
<zozozo>
the advantage of the refutation case is that the typechecker is able to verify that the case is unreachable, and thus it is deleted, and is not part of the emitted code
<zozozo>
whereas with an assert false, the cod eis kept and emitted
<zozozo>
so refutation cases are "better" in the sense that the fact they are unreachable is checked by the compiler
John_Ivan__ has joined #ocaml
<zebrag[m]>
I've just done the substitution, and it worked. Very nice
<tsns>
f...in retarded haskellers
<tsns>
i cant stand them fkin little kids
John_Ivan_ has quit [Ping timeout: 246 seconds]
<zozozo>
tsns: that's a bit harsh
<tsns>
mhm
<companion_cube>
tsns: please don't insult people like that
<tsns>
I asked them about Mercury programming language and they talk about that like they know what is it and after 5 minutes oh i thought you meant Miranda and they are like can someone ban him and they banned me
<tsns>
companion_cube: ok, i cant disagree with you
<companion_cube>
mercury is pretty niche… you might have more chance with a prolog community
<zebrag[m]>
derogatory comments in 2023 are frowned upon
olle has quit [Ping timeout: 264 seconds]
<tsns>
companion_cube: At least i can learn it safely without fear that it will be soon invaded by haskellers thats all i wanted to know
<tsns>
And 1 of its developers said that it looks like prolog but feels like ocaml
<tsns>
(i dont know because i never really used ocaml)
<zebrag[m]>
"invaded by haskellers" that really makes me uncomfortable
mro has quit [Quit: Leaving...]
John_Ivan_ has joined #ocaml
<zebrag[m]>
I prefer to kick myself out for a while
John_Ivan_ has quit [Read error: Connection reset by peer]
John_Ivan_ has joined #ocaml
<companion_cube>
zebrag[m]: please stay
<companion_cube>
tsns: I'm not sure why you come here to complain about people who use Haskell
<companion_cube>
but really, let's not insult other people
John_Ivan__ has quit [Ping timeout: 265 seconds]
<tsns>
said dumbledore ocalmly
<discocaml>
<beajeanm> I was so close to call an admin for the spam 😅
<discocaml>
<beajeanm> Nice to see the bridge is back
<companion_cube>
tsns: stop or leave, please
John_Ivan__ has joined #ocaml
<tsns>
Okay thanks for reading me. Im leaving now. You wont be invaded by haskellers nor mercurians. ;)
<tsns>
bye
<companion_cube>
bye
tsns has left #ocaml [#ocaml]
John_Ivan has joined #ocaml
John_Ivan_ has quit [Ping timeout: 260 seconds]
John_Ivan__ has quit [Ping timeout: 264 seconds]
Haudegen has quit [Quit: Bin weg.]
John_Ivan_ has joined #ocaml
John_Ivan has quit [Ping timeout: 260 seconds]
<discocaml>
<RegularSpatula> Do people using the bridge see the emoji reactions on messages, or replies?
<Fardale>
No to both
bgs has joined #ocaml
<zozozo>
and iirc, edits to messages appear as if a new message was posted
<discocaml>
<RegularSpatula> Thanks
jao has joined #ocaml
<discocaml>
<companion_cube> I'll investigate a different bridge tool which should look better on both sides, stay tuned
waleee has joined #ocaml
<zozozo>
on the irc side, with my weechat plugin/script I get nice enough integration
olle has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
John_Ivan__ has joined #ocaml
John_Ivan_ has quit [Ping timeout: 248 seconds]
bartholin has joined #ocaml
cedric has joined #ocaml
John_Ivan__ has quit [Read error: Connection reset by peer]
John_Ivan__ has joined #ocaml
John_Ivan__ has quit [Read error: Connection reset by peer]
John_Ivan__ has joined #ocaml
oriba has joined #ocaml
John_Ivan_ has joined #ocaml
<discocaml>
<emillon> It's going to happen, there's an open PR that implements this
John_Ivan__ has quit [Ping timeout: 255 seconds]
<discocaml>
<geoff> oh nice, I always set up an alias to run executables that I can watch. Will be nice to not have to set that up anymore
<companion_cube>
very cool
mbuf has quit [Quit: Leaving]
trev has quit [Remote host closed the connection]
trev has joined #ocaml
<discocaml>
<froyo> we should add back to discord #general 's description that people shouldn't post long snippets of code here (and maybe avoid unnecessary edits (and maybe reply by quoting instead of the discord reply feature))
Haudegen has joined #ocaml
ralu1 has quit [Ping timeout: 246 seconds]
Tuplanolla has joined #ocaml
ralu1 has joined #ocaml
tsns has joined #ocaml
tsns has left #ocaml [#ocaml]
John_Ivan__ has joined #ocaml
jlrnick has joined #ocaml
Anarchos has quit [Ping timeout: 268 seconds]
John_Ivan_ has quit [Ping timeout: 252 seconds]
bgs has quit [Remote host closed the connection]
ralu1 has quit [Ping timeout: 256 seconds]
tsns has joined #ocaml
alexherbo2 has joined #ocaml
Stumpfenstiel has joined #ocaml
trev has quit [Remote host closed the connection]
jlrnick has quit [Ping timeout: 246 seconds]
leah2 has quit [*.net *.split]
h11 has quit [*.net *.split]
mclovin has quit [*.net *.split]
berberman has quit [*.net *.split]
xenu has quit [*.net *.split]
Duns_Scrotus has quit [*.net *.split]
xenu_ has joined #ocaml
Duns_Scrotus_ has joined #ocaml
leah2 has joined #ocaml
berberman has joined #ocaml
h11 has joined #ocaml
mclovin has joined #ocaml
xenu_ is now known as xenu
leah2 has quit [Quit: trotz alledem!]
leah2 has joined #ocaml
ralu1 has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
Anarchos has joined #ocaml
<Anarchos>
vsiles could you find the bug with dune/ocaml-protoc ?
<companion_cube>
might be a bug in dune?
<companion_cube>
since it depends on the dune version
ralu1 has quit [Ping timeout: 268 seconds]
<Anarchos>
companion_cube maybe !
alexherbo2 has quit [Ping timeout: 260 seconds]
alexherbo2 has joined #ocaml
ralu1 has joined #ocaml
rgrinberg has joined #ocaml
<olle>
discocaml? Neat ^^
cedric has quit [Quit: Konversation terminated!]
bartholin has quit [Remote host closed the connection]
<tsns>
ubuntu 31.10 calamitous camel
Stumpfenstiel has quit [Ping timeout: 255 seconds]
Anarchos has quit [Quit: Vision[]: i've been blurred!]