Leonidas changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.13.0 released: https://ocaml.org/releases/4.13.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
zebrag has joined #ocaml
<d_bot> <darrenldl> companion_cube: nah, just formalisation of bluetooth in tamarin prover
<d_bot> <darrenldl> the main person behind tamarin was also the first author of the formalisation of tls 1.3 paper (in tamarin)
spip has quit [Remote host closed the connection]
spip has joined #ocaml
rgrinberg has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]
mbuf has joined #ocaml
waleee has quit [Ping timeout: 268 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
gravicappa has joined #ocaml
Haudegen has joined #ocaml
wilfred has joined #ocaml
zebrag has quit [Remote host closed the connection]
hendursa1 has joined #ocaml
hendursaga has quit [Ping timeout: 276 seconds]
wilfred has quit [Quit: Connection closed for inactivity]
wonko has joined #ocaml
olle has joined #ocaml
bobo has joined #ocaml
spip has quit [Ping timeout: 268 seconds]
chrisz has joined #ocaml
bartholin has joined #ocaml
Anarchos has joined #ocaml
mro has joined #ocaml
Everything has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
Anarchos has joined #ocaml
mro has quit [Read error: Connection reset by peer]
mro_ has joined #ocaml
Anarchos has quit [Ping timeout: 268 seconds]
mro_ has quit [Remote host closed the connection]
Haudegen has quit [Quit: Bin weg.]
rgrinberg has joined #ocaml
bartholin has quit [Ping timeout: 256 seconds]
bartholin has joined #ocaml
rgrinberg has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
mro has joined #ocaml
Haudegen has joined #ocaml
mro has quit [Remote host closed the connection]
Everything has quit [Quit: leaving]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
waleee has joined #ocaml
mro has joined #ocaml
rgrinberg has joined #ocaml
mro has quit [Remote host closed the connection]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
mro has joined #ocaml
mro has quit [Ping timeout: 268 seconds]
favonia has quit [Ping timeout: 268 seconds]
hendursa1 has quit [Quit: hendursa1]
hendursaga has joined #ocaml
<d_bot> <static> is ocaml widely used?
<Corbin> Yes.
<d_bot> <static> how does a bot know how to respond to that question
<d_bot> <static> is ocaml not widely used?
<d_bot> <static> is ocaml widely used?
<olle> ?
<olle> It's not a bot
<olle> Well
<olle> Who knows
<olle> Isn't it widely used, no?
<olle> static, it's the IRC bridge bot
bartholin has quit [Quit: Leaving]
mro has joined #ocaml
<companion_cube> what does "widely" mean
<olle> How fat are the devs?
<olle> Average BMI of OCaml devs
mro has quit [Remote host closed the connection]
<theblatte> I too would like to know
<olle> No FP lang is used, at all, almost
<olle> It's Java, C, C# and websh*t
<theblatte> unrelatedly, who should I bribe to get a new release of https://github.com/ocaml-community/yojson ?
<companion_cube> hu, good question
<theblatte> olle: [[citation needed]]
<olle> But more mainstream langs are inspired by FP langs in feature sets, static
<olle> theblatte: stackoverflow yearly survey
<companion_cube> theblatte: Leonidas probably?
<companion_cube> according to the activity data
<companion_cube> olle: the majority, for sure
<companion_cube> but the "almost" is maybe a bit too strict
<olle> A crushingly big majority, sadly
<companion_cube> idk, I don't use stackoverflow so I won't be in the stats, for example
<companion_cube> that's exactly what I mean
<theblatte> olle: you'll note that C is nowhere in the list of what people use at work :p
<olle> theblatte: It is
<theblatte> companion_cube: how do I bribe Leonidas then? ;) more seriously, is it cool if I open an issue to ask about the next release or should I send him an email instead?
<olle> Or where did you look, theblatte ?
<Corbin> static: I wonder if I'm a bot. Usually questions like yours are not asked in a vacuum, but with a context. If you ask a richer question, you'll get a more nuanced answer.
<theblatte> olle: I looked on that page, under "Professional Developers"
<olle> theblatte: Each section has a link :)
<companion_cube> theblatte: yeah open an issue I think
<theblatte> companion_cube: thanks
<companion_cube> olle: what if C programmers and FP programmers are both less likely to lurk on stackoverflow and thus participate in surveys?
favonia has joined #ocaml
<companion_cube> there's a selection bias in there
<olle> Yeah
<olle> But find a better one?
<companion_cube> I don't have one
<companion_cube> but it's not because it's the best we have, that it's good
<olle> Same
<olle> So why did I learn PHP when it's the lowest salary? ><
<olle> Oh, Matlab too? Weird
<olle> Maybe only students do Matlab...
<d_bot> <static> im so confused
<olle> Samesies
<d_bot> <static> why are there just a bunch of bots taking
<olle> hehehe
<d_bot> <static> where are the people
<olle> This is a Turing test channel
<companion_cube> on IRC, @static
<d_bot> <static> what is irc
<d_bot> <static> what is a turing test channel
<d_bot> <static> you talk like peopel
<Corbin> Imagine, if you would, another chat protocol, with its own networks and denizens. The bots that you see are merely a projection of one of these networks into yours.
<olle> "None of Them Knew They Were Robots"
<theblatte> do IRC bots dream of :sheep: emojis?
<companion_cube> > what is irc
<companion_cube> ooooooof
<companion_cube> I suddenly feel old
<olle> "Dad, someone printed out the save-icon!"
<olle> Corbin: Can you prove you're not a bot?
<Corbin> What would convince you?
<olle> Dunno
<companion_cube> well Corbin just failed the Turing Test
Skyfire has joined #ocaml
hightower2 has joined #ocaml
<olle> Shame
<olle> Jaron Lanier claims we as a society succeeded the turing test, by making people more stupid
<olle> Funny point of view
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zebrag has joined #ocaml
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
<hendursaga> Level the playing field..
Anarchos has joined #ocaml
hightower2 has quit [Ping timeout: 260 seconds]
favonia has quit [Ping timeout: 268 seconds]
<Anarchos> if i have a file tokens.ml containtaing "module Tokens = struct let f x = ...end", how to reference f in another file ?
<olle> sig?
<olle> mli
<Anarchos> olle oh you are right, i forgot to add the module in the mli....
<Anarchos> olle thanks a lot for your clue
<olle> +1
favonia has joined #ocaml
rgrinberg has joined #ocaml
mbuf has quit [Quit: Leaving]
chrisz has quit [Ping timeout: 260 seconds]
hightower2 has joined #ocaml
chrisz has joined #ocaml
hightower2 has quit [Ping timeout: 256 seconds]
vicfred has joined #ocaml
hightower2 has joined #ocaml
chrisz has quit [Quit: leaving]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
gravicappa has quit [Ping timeout: 268 seconds]
vicfred has quit [Quit: Leaving]
rgrinberg has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
favonia has quit [Ping timeout: 256 seconds]
<d_bot> <static> i want to leave this server lol
favonia has joined #ocaml
<companion_cube> don't want to share oxygen with filthy IRC users? 🤔
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
favonia has quit [Ping timeout: 256 seconds]
hightower2 has quit [Ping timeout: 268 seconds]
<d_bot> <static> yes
<d_bot> <static> what the heck are irc users
<hannes> static: maybe reading https://en.wikipedia.org/wiki/Internet_Relay_Chat will shed some light into these dark corners of the Internet
mro has joined #ocaml
<d_bot> <VPhantom> I'm not sure when I ended up leaving UnderNet IRC… early 2000's for sure. Everyone I know ended up being on ICQ, AIM and such, so I just got Trillian to connect to them all (eventually Gaim a.k.a. Pidgin… which I still pronounce "pid-gin" with a hard "g"😛) I don't miss the netsplits but I do miss the simplicity of using the IRC client of my choosing (including one I wrote myself in C in the late 1990s). These days I'm stu
olle has quit [Ping timeout: 268 seconds]
hightower2 has joined #ocaml
<d_bot> <static> how come i can't even pinq the irc users
<d_bot> <static> are they actually bots?
mro has quit [Remote host closed the connection]
hightower2 has quit [Ping timeout: 256 seconds]
<d_bot> <Splingush> It's realized through a webhook on discord's end. You can reuse the same webhook for different messages, and set the profile and name for this specific invocation.
<d_bot> <Splingush> The webhook is specific to a channel, and not a member of the guild. Can only send messages in the linked channel, and edit/delete its own. Regular bots can use the API more broadly.
<d_bot> <Splingush> I think it uses this.
<d_bot> <static> !help
<d_bot> <static> bots with personalities
<reynir> beep boop
<companion_cube> I'm not sure whether it's hilarious or sad
mro has joined #ocaml
wonko has quit [Ping timeout: 256 seconds]
mro has quit [Quit: Leaving...]
Tuplanolla has joined #ocaml
<d_bot> <mseri> Is the change of api for the bots that was in the headlines some weeks ago affecting the integration with irc, or they are unrelated things?
spip has joined #ocaml
bobo has quit [Ping timeout: 260 seconds]
hightower2 has joined #ocaml
<d_bot> <Bluddy> @static this channel is bridged with the OCaml IRC channel. There are many users who use IRC rather than discord (IRC existed long before discord ever did), and via the bot bridge, we get to have a common conversation.
rgrinberg has joined #ocaml
rgrinberg has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
richbridger has joined #ocaml