2023/04/20

2023-04-20 00:04:40 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-04-20 00:14:16 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-04-20 00:22:46 +0200heraldo(~heraldo@user/heraldo) (Ping timeout: 252 seconds)
2023-04-20 00:24:23 +0200bontaq(~user@ool-45779b84.dyn.optonline.net) (Remote host closed the connection)
2023-04-20 00:25:20 +0200mncheck(~mncheck@193.224.205.254) (Ping timeout: 260 seconds)
2023-04-20 00:27:12 +0200acidjnk(~acidjnk@p200300d6e715c4600172666463a133ec.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2023-04-20 00:29:28 +0200barcisz(~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed)
2023-04-20 00:30:28 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl)
2023-04-20 00:33:16 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2023-04-20 00:38:42 +0200cheater(~Username@user/cheater) (Read error: Connection reset by peer)
2023-04-20 00:39:28 +0200cheater(~Username@user/cheater)
2023-04-20 00:47:25 +0200rekahsoft(~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) (Ping timeout: 240 seconds)
2023-04-20 00:47:56 +0200NiceBird(~NiceBird@185.133.111.196) (Quit: bbl)
2023-04-20 00:49:59 +0200NiceBird(~NiceBird@185.133.111.196)
2023-04-20 00:55:44 +0200trev(~trev@user/trev) (Quit: trev)
2023-04-20 01:02:58 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds)
2023-04-20 01:05:31 +0200barthandelous01(~calebbrze@209.140.228.250) (Ping timeout: 240 seconds)
2023-04-20 01:06:03 +0200NiceBird(~NiceBird@185.133.111.196) (Ping timeout: 255 seconds)
2023-04-20 01:13:34 +0200mei(~mei@user/mei) (Killed (copper.libera.chat (Nickname regained by services)))
2023-04-20 01:13:39 +0200mei(~mei@user/mei)
2023-04-20 01:17:24 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2023-04-20 01:17:48 +0200meiGuest8491
2023-04-20 01:17:48 +0200Guest8491(~mei@user/mei) (Killed (sodium.libera.chat (Nickname regained by services)))
2023-04-20 01:17:53 +0200mei(~mei@user/mei)
2023-04-20 01:18:36 +0200barthandelous01(~calebbrze@209.140.228.250)
2023-04-20 01:19:00 +0200Unode(~Unode@fg-ext-220.embl.de) (Quit: Not that cable)
2023-04-20 01:19:12 +0200Unode(~Unode@fg-ext-220.embl.de)
2023-04-20 01:21:12 +0200Flow(~none@gentoo/developer/flow) (Ping timeout: 252 seconds)
2023-04-20 01:22:32 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2023-04-20 01:23:26 +0200Flow(~none@gentoo/developer/flow)
2023-04-20 01:27:25 +0200gurkenglas(~gurkengla@dynamic-089-204-155-235.89.204.155.pool.telefonica.de) (Ping timeout: 240 seconds)
2023-04-20 01:31:43 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-04-20 01:35:25 +0200slack1256(~slack1256@186.11.20.9) (Ping timeout: 240 seconds)
2023-04-20 01:36:11 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds)
2023-04-20 01:36:50 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-04-20 01:39:42 +0200oac(~oac@50-93-248-155.fttp.usinternet.com) (Quit: oac)
2023-04-20 01:39:58 +0200oac(~oac@50-93-248-155.fttp.usinternet.com)
2023-04-20 01:42:45 +0200barthandelous01(~calebbrze@209.140.228.250) (Ping timeout: 240 seconds)
2023-04-20 01:43:08 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds)
2023-04-20 01:44:29 +0200slaydr(~slaydr@97-120-64-157.ptld.qwest.net)
2023-04-20 01:47:15 +0200barthandelous01(~calebbrze@209.140.228.250)
2023-04-20 01:47:36 +0200 <slaydr> i'm using opensuse Tumbleweed. I installed ghc using ghcup. I installed devel_basis. I was compiling and linking successfully earlier. Now I compile but do not link so no executable generated. I get no error message. I can load the .hs file in ghci and it compiles fine
2023-04-20 01:49:20 +0200 <slaydr> Is there a log file for ghc?
2023-04-20 01:50:53 +0200mauke_(~mauke@user/mauke)
2023-04-20 01:51:31 +0200hunk[m](~hunkmatri@2001:470:69fc:105::3:481b)
2023-04-20 01:52:35 +0200mauke(~mauke@user/mauke) (Ping timeout: 246 seconds)
2023-04-20 01:52:35 +0200mauke_mauke
2023-04-20 01:53:59 +0200hugo(znc@verdigris.lysator.liu.se)
2023-04-20 01:54:07 +0200 <monochrom> Or a log file for the whole file system, for that matter.
2023-04-20 01:54:12 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-04-20 01:56:07 +0200 <mauke> slaydr: how are you running ghc?
2023-04-20 01:57:51 +0200 <hpc> monochrom: perhaps a journal?
2023-04-20 01:58:26 +0200 <hpc> slaydr: ghc has verbosity flags
2023-04-20 01:59:52 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:152b:c011:bb3d:abd2) (Remote host closed the connection)
2023-04-20 02:00:12 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf)
2023-04-20 02:02:11 +0200barcisz(~barcisz@79.191.75.215.ipv4.supernova.orange.pl)
2023-04-20 02:02:54 +0200 <slaydr> I run from the command line. I've tried ghc-9.2.7 and ghc-9.4.2. I'll try the verbosity. I take it no one else is seeing this problem?
2023-04-20 02:03:21 +0200 <geekosaur> I showed you in a pastebin what I got for compiling a small program in multiple ghc versions
2023-04-20 02:03:27 +0200 <geekosaur> yesterday
2023-04-20 02:03:53 +0200 <geekosaur> https://paste.tomsmeding.com/Sa1tj7i3
2023-04-20 02:05:05 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-04-20 02:05:05 +0200 <slaydr> I did see that, geekosaur. I disto-hopped from arcolinux to opensuse and was able to get an executable on a simple hello world earlier. Now, linking silently? fails
2023-04-20 02:05:22 +0200 <mauke> what is the exact command?
2023-04-20 02:05:57 +0200 <monochrom> And the verbatim input file, like I allured to.
2023-04-20 02:06:45 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2023-04-20 02:07:02 +0200 <slaydr> I have Main.hs. I use $ ghc Main and with -v only see temp file activity. I get Main.hi and Main.o but no Main
2023-04-20 02:08:50 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2023-04-20 02:09:15 +0200 <slaydr> Installing the devel_basis pattern using zypper did seem to solve the problem earlier today. I did link ok. Now it won't link when I try. I did delete Main.o and Main.hi before trying each time
2023-04-20 02:09:43 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2023-04-20 02:10:43 +0200 <mauke> this insistence on paraphrasing is frustrating
2023-04-20 02:12:20 +0200hugo(znc@verdigris.lysator.liu.se)
2023-04-20 02:14:03 +0200 <monochrom> "Have you tried turning it off and on again at the same time?"
2023-04-20 02:16:38 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl)
2023-04-20 02:23:33 +0200barcisz(~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed)
2023-04-20 02:23:54 +0200barcisz(~barcisz@79.191.75.215.ipv4.supernova.orange.pl)
2023-04-20 02:25:09 +0200barcisz(~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Client Quit)
2023-04-20 02:26:21 +0200 <slaydr> I will try reinstalling the opensuse distro. Thanks for your help
2023-04-20 02:26:43 +0200 <yushyin> Oo
2023-04-20 02:27:06 +0200slaydr(~slaydr@97-120-64-157.ptld.qwest.net) (Remote host closed the connection)
2023-04-20 02:27:22 +0200ryanbooker(uid4340@id-4340.hampstead.irccloud.com)
2023-04-20 02:31:58 +0200vaibhavsagar[m](~vaibhavsa@2001:470:69fc:105::ffe)
2023-04-20 02:35:44 +0200kee(~~kee@user/wizzwizz4) (Ping timeout: 248 seconds)
2023-04-20 02:36:33 +0200Me-me(~Me-me@146.102.215.218.dyn.iprimus.net.au)
2023-04-20 02:37:10 +0200opticblast(~Thunderbi@172.58.83.143)
2023-04-20 02:37:46 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-04-20 02:37:46 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-04-20 02:37:46 +0200wroathe(~wroathe@user/wroathe)
2023-04-20 02:49:10 +0200cheater(~Username@user/cheater) (Read error: Connection reset by peer)
2023-04-20 02:49:55 +0200cheater(~Username@user/cheater)
2023-04-20 03:04:03 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds)
2023-04-20 03:04:40 +0200pyook(~puke@user/puke) (Read error: Connection reset by peer)
2023-04-20 03:05:02 +0200pyook(~puke@user/puke)
2023-04-20 03:10:44 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2023-04-20 03:16:34 +0200pyook(~puke@user/puke) (Remote host closed the connection)
2023-04-20 03:16:48 +0200barthandelous01(~calebbrze@209.140.228.250) (Ping timeout: 248 seconds)
2023-04-20 03:16:50 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2023-04-20 03:16:51 +0200pyook(~puke@user/puke)
2023-04-20 03:17:01 +0200pyook(~puke@user/puke) (Remote host closed the connection)
2023-04-20 03:18:29 +0200 <Axman6> geekosaur: Where can I :thumbsup: the ghc proposal to add -Odons? :)
2023-04-20 03:18:47 +0200 <geekosaur> heh
2023-04-20 03:19:04 +0200 <geekosaur> actually I think he packaged it; it's just bitrotted
2023-04-20 03:19:44 +0200 <Axman6> -Odph? Can't remeber if he was involved in that wor a UNSW or not
2023-04-20 03:19:49 +0200 <Axman6> k*
2023-04-20 03:22:06 +0200JScript(~JScript@103.137.12.28) (Ping timeout: 265 seconds)
2023-04-20 03:22:28 +0200smallville7123_(~JScript@cpe-172-193-72-46.qld.foxtel.net.au)
2023-04-20 03:23:10 +0200gehmehgeh(~user@user/gehmehgeh)
2023-04-20 03:26:26 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2023-04-20 03:27:53 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 250 seconds)
2023-04-20 03:28:48 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:6486:e69a:524e:7c3f)
2023-04-20 03:30:25 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 240 seconds)
2023-04-20 03:30:52 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 252 seconds)
2023-04-20 03:32:06 +0200barthandelous01(~calebbrze@209.140.228.250)
2023-04-20 03:32:38 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2023-04-20 03:33:12 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:6486:e69a:524e:7c3f) (Ping timeout: 252 seconds)
2023-04-20 03:33:39 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-04-20 03:34:51 +0200hugo(znc@verdigris.lysator.liu.se)
2023-04-20 03:35:12 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-04-20 03:36:22 +0200barthandelous01(~calebbrze@209.140.228.250) (Ping timeout: 252 seconds)
2023-04-20 03:36:41 +0200falafel(~falafel@2603-8000-d700-115c-ce22-2a4a-f057-7e39.res6.spectrum.com)
2023-04-20 03:40:27 +0200xff0x(~xff0x@2405:6580:b080:900:6b0a:95d2:a0f4:74) (Ping timeout: 248 seconds)
2023-04-20 03:43:21 +0200chanceyan(~chanceyan@user/chanceyan)
2023-04-20 03:57:13 +0200barthandelous01(~calebbrze@209.140.228.250)
2023-04-20 03:57:20 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-04-20 03:57:35 +0200pieguy128(~pieguy128@bras-base-mtrlpq5031w-grc-56-65-92-162-12.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in)
2023-04-20 03:57:54 +0200pieguy128(~pieguy128@bras-base-mtrlpq5031w-grc-56-65-92-162-12.dsl.bell.ca)
2023-04-20 04:04:15 +0200roboguy_(~roboguy_@cpe-69-76-235-109.kc.res.rr.com)
2023-04-20 04:06:37 +0200td_(~td@i5387091D.versanet.de) (Ping timeout: 252 seconds)
2023-04-20 04:07:14 +0200tinwood(~tinwood@canonical/tinwood) (Remote host closed the connection)
2023-04-20 04:08:15 +0200td_(~td@i53870923.versanet.de)
2023-04-20 04:10:14 +0200tinwood(~tinwood@general.default.akavanagh.uk0.bigv.io)
2023-04-20 04:10:15 +0200tinwood(~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host)
2023-04-20 04:10:15 +0200tinwood(~tinwood@canonical/tinwood)
2023-04-20 04:16:34 +0200nate1(~nate@98.45.169.16)
2023-04-20 04:19:59 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 264 seconds)
2023-04-20 04:22:08 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2023-04-20 04:28:20 +0200heraldo(~heraldo@user/heraldo)
2023-04-20 04:30:03 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:6486:e69a:524e:7c3f)
2023-04-20 04:32:00 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl)
2023-04-20 04:32:53 +0200heraldo(~heraldo@user/heraldo) (Ping timeout: 250 seconds)
2023-04-20 04:35:03 +0200oac(~oac@50-93-248-155.fttp.usinternet.com) (Quit: oac)
2023-04-20 04:35:19 +0200oac(~oac@50-93-248-155.fttp.usinternet.com)
2023-04-20 04:51:32 +0200krei-se(~krei-se@p57af2733.dip0.t-ipconnect.de) (Quit: ZNC 1.8.2 - https://znc.in)
2023-04-20 04:51:51 +0200krei-se(~krei-se@p57af2733.dip0.t-ipconnect.de)
2023-04-20 04:55:29 +0200jero98772(~jero98772@2800:484:1d84:9000::4) (Remote host closed the connection)
2023-04-20 04:57:43 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-04-20 04:57:43 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-04-20 04:57:43 +0200finn_elijaFinnElija
2023-04-20 04:59:15 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 265 seconds)
2023-04-20 04:59:51 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2023-04-20 05:02:01 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-04-20 05:02:01 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-04-20 05:02:01 +0200wroathe(~wroathe@user/wroathe)
2023-04-20 05:03:07 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2023-04-20 05:06:15 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds)
2023-04-20 05:09:13 +0200smallville7123_(~JScript@cpe-172-193-72-46.qld.foxtel.net.au) (Read error: Connection reset by peer)
2023-04-20 05:09:40 +0200JScript(~JScript@103.137.12.206)
2023-04-20 05:10:56 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 248 seconds)
2023-04-20 05:16:27 +0200ryanbooker(uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-04-20 05:18:47 +0200nate1(~nate@98.45.169.16) (Ping timeout: 246 seconds)
2023-04-20 05:23:02 +0200ub(~Thunderbi@p200300ecdf114f283cbe998f06d4577f.dip0.t-ipconnect.de)
2023-04-20 05:23:45 +0200ubert(~Thunderbi@p548c84d6.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-04-20 05:23:45 +0200ububert
2023-04-20 05:32:41 +0200codaraxis(~codaraxis@user/codaraxis) (Ping timeout: 250 seconds)
2023-04-20 05:45:10 +0200ub(~Thunderbi@p548c84d6.dip0.t-ipconnect.de)
2023-04-20 05:45:19 +0200ubert(~Thunderbi@p200300ecdf114f283cbe998f06d4577f.dip0.t-ipconnect.de) (Remote host closed the connection)
2023-04-20 05:45:19 +0200ububert
2023-04-20 05:47:05 +0200 <hammond> so I have a function that goes from String->IO String and inside that function I'm calling another function that goes from String->Maybe String and I want to use that result to return it to the IO String.
2023-04-20 05:47:10 +0200 <hammond> how can I do it?
2023-04-20 05:56:11 +0200 <jackdk> hammond: stand by
2023-04-20 06:02:00 +0200 <jackdk> hammond: Am I solving the problem you are describing? https://www.irccloud.com/pastebin/snDGzEnC/Strings.hs
2023-04-20 06:04:45 +0200opticblast(~Thunderbi@172.58.83.143) (Ping timeout: 240 seconds)
2023-04-20 06:06:00 +0200 <hammond> yes thanks jackdk
2023-04-20 06:06:13 +0200 <jackdk> hammond: you're welcome
2023-04-20 06:07:36 +0200 <jackdk> It is often easiest to start with explicit do-blocks and manual pattern-matches, and use only the shortcuts you are comfortable with to simplify the code to the limit of what you can read
2023-04-20 06:09:02 +0200falafel(~falafel@2603-8000-d700-115c-ce22-2a4a-f057-7e39.res6.spectrum.com) (Ping timeout: 252 seconds)
2023-04-20 06:16:26 +0200mmhat(~mmh@p200300f1c7132cbfee086bfffe095315.dip0.t-ipconnect.de)
2023-04-20 06:17:58 +0200opticblast(~Thunderbi@172.58.83.143)
2023-04-20 06:22:50 +0200phma(~phma@host-67-44-208-250.hnremote.net) (Read error: Connection reset by peer)
2023-04-20 06:23:55 +0200phma(phma@2001:5b0:2172:f758:53fb:89c:a0c:ce9e)
2023-04-20 06:24:09 +0200jargon(~jargon@174-22-213-236.phnx.qwest.net)
2023-04-20 06:31:56 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl)
2023-04-20 06:37:41 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds)
2023-04-20 06:39:55 +0200codaraxis(~codaraxis@user/codaraxis)
2023-04-20 06:41:20 +0200codaraxis(~codaraxis@user/codaraxis) (Max SendQ exceeded)
2023-04-20 06:42:11 +0200codaraxis(~codaraxis@user/codaraxis)
2023-04-20 06:42:14 +0200roboguy_(~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Quit: Leaving...)
2023-04-20 06:43:06 +0200codaraxis(~codaraxis@user/codaraxis) (Remote host closed the connection)
2023-04-20 06:53:52 +0200mmhat(~mmh@p200300f1c7132cbfee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.8)
2023-04-20 06:54:48 +0200thegeekinside(~thegeekin@189.180.119.50) (Ping timeout: 255 seconds)
2023-04-20 06:55:41 +0200slack1256(~slack1256@186.11.20.9)
2023-04-20 06:58:05 +0200msavoritias(cb716af6b3@irc.cheogram.com) (K-Lined)
2023-04-20 07:01:27 +0200bliminse(~bliminse@user/bliminse) (Quit: leaving)
2023-04-20 07:01:46 +0200pyook(~puke@user/puke)
2023-04-20 07:11:46 +0200bliminse(~bliminse@user/bliminse)
2023-04-20 07:16:44 +0200hayden_(~hayden@72.92.246.5) (Quit: Leaving)
2023-04-20 07:17:39 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2023-04-20 07:21:09 +0200oac(~oac@50-93-248-155.fttp.usinternet.com) (Quit: oac)
2023-04-20 07:22:21 +0200Everything(~Everythin@46.185.124.65)
2023-04-20 07:34:01 +0200michalz(~michalz@185.246.207.221)
2023-04-20 07:35:39 +0200kenran(~user@user/kenran)
2023-04-20 07:39:30 +0200rburkholder(~blurb@96.45.2.121) (Ping timeout: 246 seconds)
2023-04-20 07:53:25 +0200rburkholder(~blurb@96.45.2.121)
2023-04-20 07:59:29 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl)
2023-04-20 08:03:42 +0200trev(~trev@user/trev)
2023-04-20 08:08:33 +0200Square(~Square4@user/square)
2023-04-20 08:09:03 +0200vglfr(~vglfr@88.155.36.189) (Ping timeout: 255 seconds)
2023-04-20 08:10:59 +0200bgs(~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection)
2023-04-20 08:12:41 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-04-20 08:15:12 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) (Ping timeout: 264 seconds)
2023-04-20 08:24:15 +0200chanceyan(~chanceyan@user/chanceyan) (Quit: chanceyan)
2023-04-20 08:29:19 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-04-20 08:33:31 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2023-04-20 08:34:27 +0200czy(~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Remote host closed the connection)
2023-04-20 08:34:48 +0200czy(~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net)
2023-04-20 08:42:03 +0200gemmaro(~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc)
2023-04-20 08:45:56 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2023-04-20 08:50:58 +0200euandreh(~Thunderbi@189.6.18.7) (Ping timeout: 276 seconds)
2023-04-20 08:53:17 +0200echoreply(~echoreply@45.32.163.16) (Quit: WeeChat 2.8)
2023-04-20 08:53:27 +0200puque(~puke@user/puke)
2023-04-20 08:53:28 +0200pyookGuest6457
2023-04-20 08:53:28 +0200Guest6457(~puke@user/puke) (Killed (copper.libera.chat (Nickname regained by services)))
2023-04-20 08:53:28 +0200puquepyook
2023-04-20 08:53:41 +0200falafel(~falafel@2603-8000-d700-115c-1542-f0cc-82b7-ae7b.res6.spectrum.com)
2023-04-20 08:54:11 +0200echoreply(~echoreply@45.32.163.16)
2023-04-20 08:56:58 +0200chanceyan(~chanceyan@user/chanceyan)
2023-04-20 08:58:40 +0200cjay(cjay@nerdbox.nerd2nerd.org) (Ping timeout: 248 seconds)
2023-04-20 08:59:28 +0200cjay(cjay@nerdbox.nerd2nerd.org)
2023-04-20 09:00:00 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:6ba:fd9d:7c36:47a1)
2023-04-20 09:00:30 +0200hgolden(~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection)
2023-04-20 09:01:45 +0200CiaoSen(~Jura@p200300c9573131002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2023-04-20 09:01:52 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-04-20 09:05:50 +0200pavonia(~user@user/siracusa)
2023-04-20 09:09:35 +0200mncheck(~mncheck@193.224.205.254)
2023-04-20 09:16:10 +0200nate1(~nate@98.45.169.16)
2023-04-20 09:21:04 +0200nate1(~nate@98.45.169.16) (Ping timeout: 248 seconds)
2023-04-20 09:23:04 +0200acidjnk(~acidjnk@p200300d6e715c4600172666463a133ec.dip0.t-ipconnect.de)
2023-04-20 09:28:10 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-04-20 09:28:53 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-04-20 09:29:43 +0200mc47(~mc47@xmonad/TheMC47)
2023-04-20 09:35:18 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2023-04-20 09:35:25 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2023-04-20 09:35:37 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-04-20 09:35:41 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-04-20 09:37:55 +0200chele(~chele@user/chele)
2023-04-20 09:38:44 +0200zeenk(~zeenk@2a02:2f04:a10a:aa00::7fe)
2023-04-20 09:39:30 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 255 seconds)
2023-04-20 09:41:12 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-04-20 09:43:35 +0200falafel(~falafel@2603-8000-d700-115c-1542-f0cc-82b7-ae7b.res6.spectrum.com) (Ping timeout: 250 seconds)
2023-04-20 09:44:17 +0200heraldo(~heraldo@user/heraldo)
2023-04-20 09:48:58 +0200coot(~coot@213.134.170.228)
2023-04-20 09:50:08 +0200sus0(zero@user/zeromomentum) (Quit: the lounge - https://webirc.envs.net)
2023-04-20 09:52:31 +0200heraldo(~heraldo@user/heraldo) (Ping timeout: 240 seconds)
2023-04-20 09:53:36 +0200heraldo(~heraldo@user/heraldo)
2023-04-20 09:53:50 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-04-20 09:54:40 +0200titibandit(~titibandi@user/titibandit)
2023-04-20 09:57:53 +0200heraldo(~heraldo@user/heraldo) (Ping timeout: 250 seconds)
2023-04-20 09:58:40 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-04-20 10:00:43 +0200shriekingnoise(~shrieking@186.137.175.87) (Ping timeout: 248 seconds)
2023-04-20 10:12:14 +0200barcisz(~barcisz@79.191.75.215.ipv4.supernova.orange.pl)
2023-04-20 10:12:52 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl)
2023-04-20 10:17:27 +0200gemmaro(~user@240f:74:d1f0:1:ba1:e787:c9e:b1dc) (Remote host closed the connection)
2023-04-20 10:19:28 +0200phma(phma@2001:5b0:2172:f758:53fb:89c:a0c:ce9e) (Read error: Connection reset by peer)
2023-04-20 10:19:32 +0200ft(~ft@p4fc2a88b.dip0.t-ipconnect.de) (Quit: leaving)
2023-04-20 10:21:05 +0200phma(~phma@host-67-44-208-174.hnremote.net)
2023-04-20 10:25:47 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:6486:e69a:524e:7c3f) (Remote host closed the connection)
2023-04-20 10:26:45 +0200puke(~puke@user/puke) (Ping timeout: 255 seconds)
2023-04-20 10:30:50 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
2023-04-20 10:38:13 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 252 seconds)
2023-04-20 10:38:54 +0200mc47(~mc47@xmonad/TheMC47) (Read error: Connection reset by peer)
2023-04-20 10:42:17 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2023-04-20 10:42:59 +0200Teacup(~teacup@user/teacup) ()
2023-04-20 10:43:00 +0200phma_(~phma@2001:5b0:211b:e118:3b73:26da:772c:39df)
2023-04-20 10:43:17 +0200Teacup(~teacup@user/teacup)
2023-04-20 10:43:45 +0200phma(~phma@host-67-44-208-174.hnremote.net) (Read error: Connection reset by peer)
2023-04-20 10:43:47 +0200zeenk(~zeenk@2a02:2f04:a10a:aa00::7fe) (Remote host closed the connection)
2023-04-20 10:44:09 +0200zeenk(~zeenk@2a02:2f04:a10a:aa00::fba)
2023-04-20 10:44:10 +0200jargon(~jargon@174-22-213-236.phnx.qwest.net) (Remote host closed the connection)
2023-04-20 10:49:25 +0200hugo(znc@verdigris.lysator.liu.se)
2023-04-20 10:51:39 +0200phma_(~phma@2001:5b0:211b:e118:3b73:26da:772c:39df) (Read error: Connection reset by peer)
2023-04-20 10:52:51 +0200phma_(~phma@host-67-44-208-65.hnremote.net)
2023-04-20 10:56:49 +0200CiaoSen(~Jura@p200300c9573131002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2023-04-20 10:57:30 +0200ubert1(~Thunderbi@2a02:8109:abc0:6434:d1bb:556e:e2c9:154a)
2023-04-20 10:58:43 +0200msavoritias(cb716af6b3@irc.cheogram.com)
2023-04-20 11:02:00 +0200euandreh(~Thunderbi@189.6.18.7)
2023-04-20 11:02:47 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds)
2023-04-20 11:04:51 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl)
2023-04-20 11:08:29 +0200Guest60(~Guest60@2a09:bac5:30ce:16a0::241:9)
2023-04-20 11:09:31 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2023-04-20 11:15:53 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl)
2023-04-20 11:17:57 +0200zer0bitz(~zer0bitz@dsl-hkibng32-54f843-214.dhcp.inet.fi)
2023-04-20 11:18:09 +0200hugo(znc@verdigris.lysator.liu.se)
2023-04-20 11:19:14 +0200zer0bitz__(~zer0bitz@196.244.192.62)
2023-04-20 11:19:15 +0200zer0bitz_(~zer0bitz@196.244.192.61) (Ping timeout: 260 seconds)
2023-04-20 11:22:23 +0200zer0bitz(~zer0bitz@dsl-hkibng32-54f843-214.dhcp.inet.fi) (Ping timeout: 246 seconds)
2023-04-20 11:22:25 +0200NiceBird(~NiceBird@185.133.111.196)
2023-04-20 11:26:16 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1)
2023-04-20 11:28:28 +0200gurkenglas(~gurkengla@dynamic-089-204-155-235.89.204.155.pool.telefonica.de)
2023-04-20 11:30:44 +0200m1dnight(~christoph@78-22-4-67.access.telenet.be) (Quit: WeeChat 3.8)
2023-04-20 11:30:47 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1) (Ping timeout: 260 seconds)
2023-04-20 11:32:44 +0200m1dnight(~christoph@78-22-4-67.access.telenet.be)
2023-04-20 11:36:31 +0200acidjnk(~acidjnk@p200300d6e715c4600172666463a133ec.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2023-04-20 11:38:57 +0200chanceyan(~chanceyan@user/chanceyan) (Quit: chanceyan)
2023-04-20 11:39:19 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2023-04-20 11:39:53 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds)
2023-04-20 11:43:02 +0200zer0bitz__(~zer0bitz@196.244.192.62) (Read error: Connection reset by peer)
2023-04-20 11:45:59 +0200zer0bitz(~zer0bitz@2001:2003:f443:d600:c4a2:61a9:2888:7ad)
2023-04-20 11:57:43 +0200phma(~phma@host-67-44-208-155.hnremote.net)
2023-04-20 11:58:05 +0200acidjnk(~acidjnk@p200300d6e715c4600172666463a133ec.dip0.t-ipconnect.de)
2023-04-20 11:59:45 +0200phma_(~phma@host-67-44-208-65.hnremote.net) (Ping timeout: 240 seconds)
2023-04-20 12:02:50 +0200__monty__(~toonn@user/toonn)
2023-04-20 12:03:31 +0200phma_(phma@2001:5b0:2172:e218:16da:bce9:8d66:2351)
2023-04-20 12:05:17 +0200phma(~phma@host-67-44-208-155.hnremote.net) (Ping timeout: 250 seconds)
2023-04-20 12:08:18 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds)
2023-04-20 12:18:45 +0200pyook(~puke@user/puke) (Ping timeout: 240 seconds)
2023-04-20 12:25:14 +0200heraldo(~heraldo@user/heraldo)
2023-04-20 12:26:10 +0200phma_(phma@2001:5b0:2172:e218:16da:bce9:8d66:2351) (Read error: Connection reset by peer)
2023-04-20 12:26:45 +0200Guest60(~Guest60@2a09:bac5:30ce:16a0::241:9) (Quit: Client closed)
2023-04-20 12:28:11 +0200phma_(~phma@host-67-44-208-186.hnremote.net)
2023-04-20 12:41:21 +0200pyook(~puke@user/puke)
2023-04-20 12:43:36 +0200anime-psycho(~srijan-pa@203.192.247.242)
2023-04-20 12:45:07 +0200 <anime-psycho> hey, everyone.
2023-04-20 12:49:10 +0200 <ski> ehlo
2023-04-20 12:50:06 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-04-20 12:53:31 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds)
2023-04-20 12:55:36 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2023-04-20 12:56:18 +0200accord(uid568320@id-568320.hampstead.irccloud.com)
2023-04-20 13:01:51 +0200CiaoSen(~Jura@p200300c9573131002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2023-04-20 13:03:23 +0200anime-psycho(~srijan-pa@203.192.247.242) (Ping timeout: 268 seconds)
2023-04-20 13:03:26 +0200puke(~puke@user/puke)
2023-04-20 13:03:43 +0200anime-psycho(~srijan-pa@203.192.247.242)
2023-04-20 13:07:11 +0200hgolden(~hgolden@cpe-172-251-233-141.socal.res.rr.com)
2023-04-20 13:09:56 +0200tubogram44(~tubogram@user/tubogram) (Quit: Ping timeout (120 seconds))
2023-04-20 13:10:16 +0200tubogram44(~tubogram@user/tubogram)
2023-04-20 13:11:59 +0200xff0x(~xff0x@2405:6580:b080:900:261b:e18:59ba:ad22)
2023-04-20 13:16:20 +0200anime-psycho(~srijan-pa@203.192.247.242) (Ping timeout: 268 seconds)
2023-04-20 13:17:29 +0200nate1(~nate@98.45.169.16)
2023-04-20 13:18:19 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-04-20 13:22:25 +0200nate1(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2023-04-20 13:22:54 +0200merijn(~merijn@185.143.104.11)
2023-04-20 13:27:11 +0200merijn(~merijn@185.143.104.11) (Ping timeout: 250 seconds)
2023-04-20 13:30:49 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2023-04-20 13:30:52 +0200foul_owl(~kerry@157.97.134.62) (Read error: Connection reset by peer)
2023-04-20 13:31:07 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2023-04-20 13:33:41 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl)
2023-04-20 13:50:29 +0200foul_owl(~kerry@185.219.141.63)
2023-04-20 14:04:15 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2023-04-20 14:05:30 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-04-20 14:05:47 +0200vglfr(~vglfr@37.73.14.50)
2023-04-20 14:15:09 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2023-04-20 14:26:15 +0200phma_phma
2023-04-20 14:26:39 +0200Nosrep(~Nosrep@user/nosrep) (Remote host closed the connection)
2023-04-20 14:27:11 +0200Nosrep(~Nosrep@user/nosrep)
2023-04-20 14:31:29 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2023-04-20 14:38:16 +0200Everything(~Everythin@46.185.124.65) (Quit: leaving)
2023-04-20 14:42:16 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67)
2023-04-20 14:46:23 +0200anime-psycho(~srijan-pa@122.171.16.195)
2023-04-20 14:48:31 +0200acidjnk(~acidjnk@p200300d6e715c4600172666463a133ec.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-04-20 14:52:22 +0200 <jean-paul[m]> Am I the only one who finds Hedgehog.Range.exponential confusingly named?
2023-04-20 14:54:32 +0200oac(~oac@50-93-248-155.fttp.usinternet.com)
2023-04-20 14:54:54 +0200 <merijn> I mean, probabilistically speaking probably not? :p
2023-04-20 14:55:35 +0200vglfr(~vglfr@37.73.14.50) (Ping timeout: 250 seconds)
2023-04-20 14:57:13 +0200 <jean-paul[m]> heh
2023-04-20 14:57:16 +0200acidjnk(~acidjnk@p200300d6e715c4600172666463a133ec.dip0.t-ipconnect.de)
2023-04-20 14:57:32 +0200 <jean-paul[m]> maybe I just need to brush up on my stats
2023-04-20 14:58:37 +0200 <jean-paul[m]> I always want it to be named something like "logorithmic" ... but probably just my misunderstanding of these distributions (but exponential stuff goes up fast! why doesn't the upper bound on the exponential distribution go up fast :/)
2023-04-20 15:01:47 +0200 <merijn> jean-paul[m]: exponential functions go up fast, exponential distributions are long tailed, maybe that's the confusion?
2023-04-20 15:02:15 +0200 <merijn> See the example plots at https://en.wikipedia.org/wiki/Exponential_distribution for example
2023-04-20 15:04:55 +0200 <jean-paul[m]> yea, that seems to be my issue
2023-04-20 15:07:20 +0200anime-psycho(~srijan-pa@122.171.16.195) (Ping timeout: 268 seconds)
2023-04-20 15:07:31 +0200heraldo(~heraldo@user/heraldo) (Ping timeout: 240 seconds)
2023-04-20 15:11:39 +0200acidjnk(~acidjnk@p200300d6e715c4600172666463a133ec.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2023-04-20 15:12:04 +0200Me-me(~Me-me@146.102.215.218.dyn.iprimus.net.au) (Quit: Going offline, see ya! (www.adiirc.com))
2023-04-20 15:14:32 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-04-20 15:21:30 +0200barthandelous01(~calebbrze@209.140.228.250) (Ping timeout: 255 seconds)
2023-04-20 15:23:31 +0200CiaoSen(~Jura@p200300c9573131002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2023-04-20 15:24:43 +0200gurkenglas(~gurkengla@dynamic-089-204-155-235.89.204.155.pool.telefonica.de) (Ping timeout: 265 seconds)
2023-04-20 15:28:14 +0200barcisz(~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed)
2023-04-20 15:28:38 +0200barcisz(~barcisz@79.191.75.215.ipv4.supernova.orange.pl)
2023-04-20 15:29:40 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1)
2023-04-20 15:30:17 +0200random-jellyfish(~random-je@user/random-jellyfish)
2023-04-20 15:32:59 +0200zeenk(~zeenk@2a02:2f04:a10a:aa00::fba) (Ping timeout: 260 seconds)
2023-04-20 15:34:09 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1) (Ping timeout: 250 seconds)
2023-04-20 15:35:00 +0200barcisz(~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed)
2023-04-20 15:35:09 +0200random-jellyfish(~random-je@user/random-jellyfish) (Client Quit)
2023-04-20 15:36:28 +0200mmhat(~mmh@p200300f1c7132cbfee086bfffe095315.dip0.t-ipconnect.de)
2023-04-20 15:36:32 +0200mmhat(~mmh@p200300f1c7132cbfee086bfffe095315.dip0.t-ipconnect.de) (Client Quit)
2023-04-20 15:42:24 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-0597-05d0-b9af-db10.rev.sfr.net)
2023-04-20 15:45:44 +0200barcisz(~barcisz@79.191.75.215.ipv4.supernova.orange.pl)
2023-04-20 15:46:12 +0200Feuermagier_(~Feuermagi@user/feuermagier)
2023-04-20 15:47:35 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-04-20 15:47:44 +0200Feuermagier_(~Feuermagi@user/feuermagier) (Client Quit)
2023-04-20 15:48:38 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-04-20 15:48:38 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-04-20 15:48:38 +0200wroathe(~wroathe@user/wroathe)
2023-04-20 15:48:44 +0200Feuermagier(~Feuermagi@user/feuermagier) (Ping timeout: 246 seconds)
2023-04-20 15:51:14 +0200barcisz(~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed)
2023-04-20 15:53:33 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 256 seconds)
2023-04-20 15:54:35 +0200oac(~oac@50-93-248-155.fttp.usinternet.com) (Quit: oac)
2023-04-20 15:54:52 +0200oac(~oac@50-93-248-155.fttp.usinternet.com)
2023-04-20 15:55:15 +0200Techcable(~Techcable@user/Techcable) (Ping timeout: 255 seconds)
2023-04-20 15:55:20 +0200barcisz(~barcisz@79.191.75.215.ipv4.supernova.orange.pl)
2023-04-20 16:00:34 +0200anime-psycho(~srijan-pa@122.171.16.195)
2023-04-20 16:03:05 +0200xff0x(~xff0x@2405:6580:b080:900:261b:e18:59ba:ad22) (Quit: xff0x)
2023-04-20 16:03:47 +0200kenran(~user@user/kenran) (Remote host closed the connection)
2023-04-20 16:06:59 +0200xff0x(~xff0x@2405:6580:b080:900:ccb0:7555:1a99:76be)
2023-04-20 16:09:03 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2023-04-20 16:09:07 +0200Luj(~Luj@2a01:e0a:5f9:9681:8eab:83db:dcec:f562) (Quit: Ping timeout (120 seconds))
2023-04-20 16:09:26 +0200Luj(~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb)
2023-04-20 16:10:45 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2023-04-20 16:15:37 +0200thegeekinside(~thegeekin@189.180.119.50)
2023-04-20 16:23:18 +0200jero98772(~jero98772@2800:484:1d84:9000::6)
2023-04-20 16:28:12 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2023-04-20 16:31:05 +0200 <bionade24> Hello, I can someone pls help me with this error? "No instance for (ByteArray String) arising from a use of ‘hash’" for input "Crypto.KDF.Argon2.hash hashConfig byteSecret salt hashLength"
2023-04-20 16:31:30 +0200 <bionade24> byteSecret is a ByteString so it should satisfy ByteArrayAccess, shouldn't it?
2023-04-20 16:31:55 +0200 <merijn> bionade24: GHC appears to disagree with you?
2023-04-20 16:32:29 +0200 <merijn> Since it's complaining about String not being an instance of ByteArray it seems to infer something is a String which you, apparently, do not think is a String
2023-04-20 16:32:47 +0200 <opqdonut> could it be the salt?
2023-04-20 16:33:14 +0200acidjnk(~acidjnk@p200300d6e715c4242df27b46314a55f2.dip0.t-ipconnect.de)
2023-04-20 16:33:44 +0200 <bionade24> opqdonut: Yeah, it's the salt and guess the output, too.
2023-04-20 16:34:12 +0200 <bionade24> opqdonut: I tunneled myself to much
2023-04-20 16:37:00 +0200 <janus> bionade24: possibly you're confused by OverloadedStrings which some projects use, so something that looks like a string could be a bytestring iirc
2023-04-20 16:39:41 +0200 <geekosaur> OverloadedStrings only applies to literals; this causes some confusion sometimes
2023-04-20 16:42:18 +0200mesaoptimizer(apotheosis@user/PapuaHardyNet)
2023-04-20 16:42:31 +0200mesaoptimizer(apotheosis@user/PapuaHardyNet) (Client Quit)
2023-04-20 16:46:00 +0200anime-psycho(~srijan-pa@122.171.16.195) (Ping timeout: 268 seconds)
2023-04-20 16:47:05 +0200jle`(~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 260 seconds)
2023-04-20 16:48:57 +0200jle`(~jle`@cpe-23-240-75-236.socal.res.rr.com)
2023-04-20 16:57:41 +0200 <lortabac> hello, I need to parse short strings like foo:key1-value1:key2-value2 and performance matters. Do you have any suggestions?
2023-04-20 17:00:45 +0200 <ski> (maybe `attoparsec' ?)
2023-04-20 17:01:01 +0200 <geekosaur> some people like flatparse
2023-04-20 17:01:47 +0200 <lortabac> attoparsec is already one of our transitive dependencies, so it's probably better
2023-04-20 17:01:55 +0200heraldo(~heraldo@user/heraldo)
2023-04-20 17:02:02 +0200heraldo(~heraldo@user/heraldo) (Client Quit)
2023-04-20 17:02:17 +0200heraldo(~heraldo@user/heraldo)
2023-04-20 17:04:26 +0200 <lortabac> I think I'll start with attoparsec and see what the benchmarks say
2023-04-20 17:04:46 +0200shriekingnoise(~shrieking@186.137.175.87)
2023-04-20 17:09:16 +0200titibandit(~titibandi@user/titibandit) (Remote host closed the connection)
2023-04-20 17:19:10 +0200nate1(~nate@98.45.169.16)
2023-04-20 17:19:22 +0200dolio(~dolio@130.44.134.54) (Remote host closed the connection)
2023-04-20 17:20:26 +0200Sgeo(~Sgeo@user/sgeo)
2023-04-20 17:20:32 +0200heraldo(~heraldo@user/heraldo) (Ping timeout: 248 seconds)
2023-04-20 17:21:09 +0200 <kuribas> These there exist a mixed type level monoid?
2023-04-20 17:21:36 +0200heraldo(~heraldo@user/heraldo)
2023-04-20 17:21:49 +0200dolio(~dolio@130.44.134.54)
2023-04-20 17:21:49 +0200 <kuribas> Where combining values also builds a monoid at type level?
2023-04-20 17:22:04 +0200 <kuribas> For example, a type indexed list (vector)
2023-04-20 17:22:25 +0200 <kuribas> here, mappend also does a monoid operation (Sum) over type level.
2023-04-20 17:23:38 +0200 <kuribas> obviously, it's not a monoid, since appending changes the length, but it is monoid-like...
2023-04-20 17:24:07 +0200nate1(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2023-04-20 17:25:38 +0200 <ncf> a graded monoid, basically
2023-04-20 17:27:25 +0200bliminse(~bliminse@user/bliminse) (Quit: leaving)
2023-04-20 17:28:19 +0200 <kuribas> ncf: right, thanks
2023-04-20 17:29:25 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2023-04-20 17:30:05 +0200jpds3(~jpds@gateway/tor-sasl/jpds)
2023-04-20 17:30:11 +0200jpds2(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 255 seconds)
2023-04-20 17:31:18 +0200 <kuribas> and the graded monoid can be turned into a regular monoid with an existential
2023-04-20 17:31:23 +0200heraldo(~heraldo@user/heraldo) (Ping timeout: 248 seconds)
2023-04-20 17:32:01 +0200 <kuribas> That's quite nice, I can make a type safe (graded) version, and an easier one with a regular monoid.
2023-04-20 17:33:29 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1)
2023-04-20 17:33:34 +0200ncf. o O ( an m-graded monoid is an Applicative functor m → Hask, where m is considered as a discrete monoidal category )
2023-04-20 17:33:58 +0200accord(uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2023-04-20 17:34:47 +0200 <ncf> well, a monoidal functor. the equivalence might not be as smooth there
2023-04-20 17:34:55 +0200oac(~oac@50-93-248-155.fttp.usinternet.com) (Quit: oac)
2023-04-20 17:35:13 +0200oac(~oac@50-93-248-155.fttp.usinternet.com)
2023-04-20 17:37:20 +0200ski. o O ( "Ornamental Algebras, Algebraic Ornaments" by Conor McBride in 2010-12-22 at <https://web.archive.org/web/20140210011554/https://personal.cis.strath.ac.uk/conor.mcbride/pub/OAA…> )
2023-04-20 17:38:54 +0200 <ski> ncf : wouldn't codomain be a (full) subcategory ?
2023-04-20 17:39:37 +0200 <ncf> if you restrict it to its image, sure
2023-04-20 17:40:28 +0200 <ski> how would you define the monoidal structure on the codomain sensibly, otherwise ?
2023-04-20 17:41:28 +0200 <ncf> (,) and ()
2023-04-20 17:42:57 +0200 <ski> kuribas was thinking of summing lengths, like `(<>) :: Vector m a -> Vector n a -> Vector (m + n) a' .. this only considers the objects in `Hask' of the form `Vector n a', monoidal structure being define in terms of monoid structure on `n'
2023-04-20 17:43:30 +0200 <kuribas> more like: (<>) :: Vector m a -> Vector n a -> Vector (m <> n) a
2023-04-20 17:43:40 +0200 <ski> `Vector m a -> Vector n a -> (Vector m a,Vector n a)' doesn't make sense here
2023-04-20 17:43:48 +0200 <ski> kuribas : general case, yea
2023-04-20 17:44:04 +0200 <ncf> no, (Vector m a, Vector n a) -> Vector (m + n) a
2023-04-20 17:44:45 +0200 <ncf> the monoidal structure of the codomain shows up in the domain of the multiplication, and vice-versa
2023-04-20 17:45:30 +0200merijn(~merijn@c-001-001-006.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds)
2023-04-20 17:46:41 +0200 <ncf> (because i'm talking about *lax* monoidal functors, i guess)
2023-04-20 17:46:53 +0200 <ncf> (which is what Applicatives are)
2023-04-20 17:47:05 +0200Square(~Square4@user/square) (Ping timeout: 240 seconds)
2023-04-20 17:51:04 +0200 <ski> hm, i think part of my confusion was derived from thinking the functor directly giving the monoid combination .. but still not seeing how it's derived
2023-04-20 17:51:24 +0200 <ncf> hah, neat: the equivalence between Applicative and Monoidal works out if m is a closed monoidal category iff m is a group
2023-04-20 17:51:45 +0200 <ncf> (in that case a -> b in m reads as "b divided by a")
2023-04-20 17:51:50 +0200 <ncf> (or "b minus a")
2023-04-20 17:51:54 +0200 <ski> interesting
2023-04-20 17:52:15 +0200 <ncf> ski: how what is derived?
2023-04-20 17:52:33 +0200 <ski> how's kuribas's `(<>)' derived from the monoidal functor
2023-04-20 17:53:33 +0200skiperhaps should take a nap soon
2023-04-20 17:54:29 +0200 <ncf> simply from the "combine" operation of the monoidal functor (the analogue of <*>)
2023-04-20 17:54:53 +0200califax(~califax@user/califx) (Remote host closed the connection)
2023-04-20 17:55:10 +0200califax(~califax@user/califx)
2023-04-20 17:57:28 +0200 <ncf> unit :: f () -- replacing () with the unit in m, this is unit :: Vector a 0
2023-04-20 17:57:38 +0200harveypwca(~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving)
2023-04-20 17:57:40 +0200michalz(~michalz@185.246.207.221) (Remote host closed the connection)
2023-04-20 17:58:13 +0200 <ncf> (>*<) :: f m -> f n -> f (m, n) -- replacing (,) with the operation in m, this is append :: Vector a (m + n)
2023-04-20 18:00:25 +0200heraldo(~heraldo@user/heraldo)
2023-04-20 18:01:19 +0200 <kuribas> :t (<*>)
2023-04-20 18:01:20 +0200 <lambdabot> Applicative f => f (a -> b) -> f a -> f b
2023-04-20 18:01:36 +0200 <kuribas> ncf: this is just an Applicative?
2023-04-20 18:03:20 +0200 <ncf> kuribas: what is?
2023-04-20 18:03:22 +0200 <kuribas> I can turn (Vector a n) into (Vector a (\m -> n + m))
2023-04-20 18:03:37 +0200 <kuribas> ncf: my mixed typelevel monoid.
2023-04-20 18:03:44 +0200 <ncf> it is if your monoid is a group
2023-04-20 18:03:52 +0200 <ncf> in that case a -> b is b - a
2023-04-20 18:04:12 +0200acidjnk(~acidjnk@p200300d6e715c4242df27b46314a55f2.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2023-04-20 18:04:16 +0200 <kuribas> hmm, not "b + a" ?
2023-04-20 18:04:47 +0200 <kuribas> ah no, because b is the output...
2023-04-20 18:04:50 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1) (Remote host closed the connection)
2023-04-20 18:05:14 +0200 <ncf> so you also have (<*>) :: f (b - a) -> f a -> b and in particular (<*>) :: f c -> f a -> f (c + a) by taking b := c + a
2023-04-20 18:05:54 +0200 <ncf> kuribas: recall that a closed monoidal category has an evaluation map (a, [a -> b]) -> b (where in brackets is the internal hom)
2023-04-20 18:06:13 +0200 <ncf> but since m is a discrete monoidal category, -> is equality
2023-04-20 18:06:27 +0200 <ncf> so if you want a + [a -> b] = b, you need [a -> b] = b - a
2023-04-20 18:07:36 +0200barcisz(~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed)
2023-04-20 18:07:57 +0200barcisz(~barcisz@79.191.75.215.ipv4.supernova.orange.pl)
2023-04-20 18:08:02 +0200 <kuribas> right
2023-04-20 18:08:21 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2023-04-20 18:08:33 +0200acidjnk(~acidjnk@p200300d6e715c424f9f1e4b31e0cf488.dip0.t-ipconnect.de)
2023-04-20 18:10:17 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:6ba:fd9d:7c36:47a1) (Quit: WeeChat 2.8)
2023-04-20 18:11:25 +0200 <ncf> (sorry, that should read (<*>) :: f (b - a) -> f a -> f b)
2023-04-20 18:13:30 +0200barcisz(~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed)
2023-04-20 18:15:17 +0200 <kuribas> right. So I can either use "\(a,b) -> (a -> b)" or "\(a, b) -> b - a"
2023-04-20 18:15:37 +0200 <kuribas> In the first case I get the actually haskell Applicative interface.
2023-04-20 18:15:39 +0200 <ski> hm, right, i think i see it now. with `F : M >---> Hask' being the monoidal functor, given `1 : M' and `m * n : M -| m,n : M', we get (coherence transformations) `eta : 1 >---> F 1' and `mu_{m,n} : F m * F n >---> F (m * n) -| m,n : M' from the monoidal functor
2023-04-20 18:16:18 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1))
2023-04-20 18:16:48 +0200 <ncf> now i'm wondering if there's anything interesting to be done with "possibly negative-length vectors", where the appending operation might annihilate vectors of opposite lengths
2023-04-20 18:17:22 +0200ski. o O ( free group )
2023-04-20 18:18:18 +0200 <ski> (i didn't see where those maps were coming from, at first, was thinking in terms of applying the functor to the monoid operations)
2023-04-20 18:18:46 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-0597-05d0-b9af-db10.rev.sfr.net) (Remote host closed the connection)
2023-04-20 18:19:05 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-0597-05d0-b9af-db10.rev.sfr.net)
2023-04-20 18:19:07 +0200ncf. o O ( dual vector space )
2023-04-20 18:20:45 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection)
2023-04-20 18:24:10 +0200roboguy_(~roboguy_@cpe-69-76-235-109.kc.res.rr.com)
2023-04-20 18:29:47 +0200pharonix71(~pharonix7@user/pharonix71) (Remote host closed the connection)
2023-04-20 18:29:47 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2023-04-20 18:30:09 +0200roboguy_(~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Remote host closed the connection)
2023-04-20 18:30:14 +0200pharonix71(~pharonix7@user/pharonix71)
2023-04-20 18:30:19 +0200chiselfuse(~chiselfus@user/chiselfuse)
2023-04-20 18:30:23 +0200econo(uid147250@user/econo)
2023-04-20 18:30:48 +0200roboguy_(~roboguy_@cpe-69-76-235-109.kc.res.rr.com)
2023-04-20 18:34:25 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds)
2023-04-20 18:34:55 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1)
2023-04-20 18:34:59 +0200hrberg(~quassel@171.79-160-161.customer.lyse.net)
2023-04-20 18:35:38 +0200use-value(~Thunderbi@2a00:23c6:8a03:2f01:21d4:e288:9164:f829)
2023-04-20 18:40:10 +0200roboguy_(~roboguy_@cpe-69-76-235-109.kc.res.rr.com) (Remote host closed the connection)
2023-04-20 18:43:26 +0200Inst_(~Inst@2601:6c4:4081:54f0:4cd2:14dd:a80c:8533)
2023-04-20 18:47:18 +0200Inst(~Inst@2601:6c4:4081:54f0:919e:4943:f4f4:fdb6) (Ping timeout: 252 seconds)
2023-04-20 18:51:55 +0200heraldo(~heraldo@user/heraldo) (Ping timeout: 260 seconds)
2023-04-20 18:59:30 +0200heraldo(~heraldo@user/heraldo)
2023-04-20 19:00:40 +0200ubert1(~Thunderbi@2a02:8109:abc0:6434:d1bb:556e:e2c9:154a) (Read error: Connection reset by peer)
2023-04-20 19:15:58 +0200janus(janus@anubis.0x90.dk) ()
2023-04-20 19:15:58 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2023-04-20 19:17:34 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1) (Remote host closed the connection)
2023-04-20 19:21:19 +0200gentauro(~gentauro@user/gentauro)
2023-04-20 19:28:01 +0200acidjnk(~acidjnk@p200300d6e715c424f9f1e4b31e0cf488.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-04-20 19:30:20 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2023-04-20 19:34:45 +0200Philonous(~Philonous@user/philonous) (Quit: ZNC - https://znc.in)
2023-04-20 19:35:11 +0200Philonous(~Philonous@user/philonous)
2023-04-20 19:40:10 +0200terrorjack(~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat)
2023-04-20 19:41:11 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-04-20 19:41:44 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-04-20 19:42:00 +0200terrorjack(~terrorjac@2a01:4f8:c17:87f8::)
2023-04-20 19:44:43 +0200anime-psycho(~srijan-pa@122.171.16.195)
2023-04-20 19:45:55 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds)
2023-04-20 19:46:00 +0200ralu1(~ralu@static.211.245.203.116.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat)
2023-04-20 19:46:40 +0200ralu1(~ralu@static.211.245.203.116.clients.your-server.de)
2023-04-20 19:47:54 +0200vglfr(~vglfr@46.96.187.123)
2023-04-20 19:48:24 +0200ralu1(~ralu@static.211.245.203.116.clients.your-server.de) (Client Quit)
2023-04-20 19:51:21 +0200ralu1(~ralu@static.211.245.203.116.clients.your-server.de)
2023-04-20 19:52:22 +0200heraldo(~heraldo@user/heraldo) (Quit: heraldo)
2023-04-20 19:55:02 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1)
2023-04-20 19:57:00 +0200acidjnk(~acidjnk@p200300d6e715c424513ef02743108d16.dip0.t-ipconnect.de)
2023-04-20 19:59:10 +0200ralu1(~ralu@static.211.245.203.116.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat)
2023-04-20 20:00:15 +0200ralu1(~ralu@static.211.245.203.116.clients.your-server.de)
2023-04-20 20:00:44 +0200vglfr(~vglfr@46.96.187.123) (Read error: Connection reset by peer)
2023-04-20 20:04:06 +0200ralu1(~ralu@static.211.245.203.116.clients.your-server.de) (Client Quit)
2023-04-20 20:04:16 +0200heraldo(~heraldo@user/heraldo)
2023-04-20 20:04:34 +0200czy(~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net) (Quit: ERC 5.6-git (IRC client for GNU Emacs 30.0.50))
2023-04-20 20:05:06 +0200ralu1(~ralu@static.211.245.203.116.clients.your-server.de)
2023-04-20 20:07:50 +0200czy(~user@host-140-25.ilcub310.champaign.il.us.clients.pavlovmedia.net)
2023-04-20 20:13:37 +0200hgolden(~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection)
2023-04-20 20:15:01 +0200chele(~chele@user/chele) (Quit: Leaving)
2023-04-20 20:16:21 +0200dsrt^(~dsrt@c-76-105-96-13.hsd1.ga.comcast.net) (Remote host closed the connection)
2023-04-20 20:17:30 +0200hgolden(~hgolden@cpe-172-251-233-141.socal.res.rr.com)
2023-04-20 20:18:53 +0200ralu1(~ralu@static.211.245.203.116.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat)
2023-04-20 20:20:05 +0200ryantrinkle(~ryantrink@38.27.99.245) (Ping timeout: 240 seconds)
2023-04-20 20:20:39 +0200ralu1(~ralu@static.211.245.203.116.clients.your-server.de)
2023-04-20 20:23:31 +0200ft(~ft@p4fc2a88b.dip0.t-ipconnect.de)
2023-04-20 20:31:11 +0200barcisz(~barcisz@79.191.75.215.ipv4.supernova.orange.pl)
2023-04-20 20:33:58 +0200hugo(znc@verdigris.lysator.liu.se) (Quit: ZNC 1.8.2 - https://znc.in)
2023-04-20 20:35:20 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-04-20 20:35:43 +0200ryantrinkle(~ryantrink@38.27.99.245)
2023-04-20 20:36:49 +0200hugo(znc@verdigris.lysator.liu.se)
2023-04-20 20:36:53 +0200coot(~coot@213.134.170.228) ()
2023-04-20 20:42:58 +0200coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2023-04-20 20:49:27 +0200Techcable(~Techcable@user/Techcable)
2023-04-20 20:55:14 +0200nehsou^(~nehsou@c-76-105-96-13.hsd1.ga.comcast.net)
2023-04-20 21:00:11 +0200ralu1(~ralu@static.211.245.203.116.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat)
2023-04-20 21:00:48 +0200ralu1(~ralu@static.211.245.203.116.clients.your-server.de)
2023-04-20 21:03:10 +0200slaydr(~slaydr@97-120-64-157.ptld.qwest.net)
2023-04-20 21:03:23 +0200son0p(~ff@181.136.122.143) (Ping timeout: 260 seconds)
2023-04-20 21:05:15 +0200oac(~oac@50-93-248-155.fttp.usinternet.com) (Quit: oac)
2023-04-20 21:05:24 +0200slaydr(~slaydr@97-120-64-157.ptld.qwest.net) (Client Quit)
2023-04-20 21:05:32 +0200oac(~oac@50-93-248-155.fttp.usinternet.com)
2023-04-20 21:13:12 +0200vglfr(~vglfr@37.73.154.150)
2023-04-20 21:16:10 +0200ryantrinkle(~ryantrink@38.27.99.245) (Ping timeout: 252 seconds)
2023-04-20 21:17:51 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1) (Remote host closed the connection)
2023-04-20 21:20:14 +0200heraldo(~heraldo@user/heraldo) (Quit: heraldo)
2023-04-20 21:20:40 +0200nate1(~nate@98.45.169.16)
2023-04-20 21:21:35 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-0597-05d0-b9af-db10.rev.sfr.net) (Remote host closed the connection)
2023-04-20 21:21:54 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-0597-05d0-b9af-db10.rev.sfr.net)
2023-04-20 21:25:55 +0200nate1(~nate@98.45.169.16) (Ping timeout: 260 seconds)
2023-04-20 21:26:40 +0200trev(~trev@user/trev) (Quit: trev)
2023-04-20 21:28:48 +0200pony(sid524992@smol/hors) ()
2023-04-20 21:32:46 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-0597-05d0-b9af-db10.rev.sfr.net) (Remote host closed the connection)
2023-04-20 21:32:55 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-04-20 21:33:06 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-0597-05d0-b9af-db10.rev.sfr.net)
2023-04-20 21:39:56 +0200ryantrinkle(~ryantrink@38.27.99.245)
2023-04-20 21:41:49 +0200nschoe(~q@2a01:e0a:8e:a190:9d28:9bd0:8be:f668)
2023-04-20 21:42:11 +0200opticblast(~Thunderbi@172.58.83.143) (Remote host closed the connection)
2023-04-20 21:47:21 +0200epolanski(uid312403@id-312403.helmsley.irccloud.com)
2023-04-20 21:59:28 +0200stiell_(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2023-04-20 21:59:44 +0200barcisz(~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed)
2023-04-20 21:59:53 +0200stiell_(~stiell@gateway/tor-sasl/stiell)
2023-04-20 22:00:06 +0200barcisz(~barcisz@79.191.75.215.ipv4.supernova.orange.pl)
2023-04-20 22:00:10 +0200opticblast(~Thunderbi@172.58.83.143)
2023-04-20 22:00:48 +0200barcisz(~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Client Quit)
2023-04-20 22:01:07 +0200barcisz(~barcisz@79.191.75.215.ipv4.supernova.orange.pl)
2023-04-20 22:03:59 +0200michalz(~michalz@185.246.207.203)
2023-04-20 22:05:19 +0200alexherbo2(~alexherbo@2a02-842a-8180-4601-0597-05d0-b9af-db10.rev.sfr.net) (Remote host closed the connection)
2023-04-20 22:06:49 +0200barcisz(~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed)
2023-04-20 22:16:41 +0200gnalzo(~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8)
2023-04-20 22:17:09 +0200anime-psycho(~srijan-pa@122.171.16.195) (Ping timeout: 268 seconds)
2023-04-20 22:18:19 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1)
2023-04-20 22:22:47 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:95b6:69e0:a477:4ab1) (Ping timeout: 250 seconds)
2023-04-20 22:34:17 +0200Guest16(~Guest16@2a02:a319:3b:d380:de91:c373:b16b:2570)
2023-04-20 22:34:53 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection)
2023-04-20 22:34:54 +0200 <Guest16> hello!
2023-04-20 22:36:34 +0200 <geekosaur> hi
2023-04-20 22:41:14 +0200nschoe(~q@2a01:e0a:8e:a190:9d28:9bd0:8be:f668) (Quit: Switching off)
2023-04-20 22:45:30 +0200roboguy_(~roboguy_@cpe-69-76-235-109.kc.res.rr.com)
2023-04-20 22:47:36 +0200barcisz(~barcisz@79.191.75.215.ipv4.supernova.orange.pl)
2023-04-20 22:48:25 +0200Guest16(~Guest16@2a02:a319:3b:d380:de91:c373:b16b:2570) (Quit: Client closed)
2023-04-20 22:51:22 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-04-20 22:57:44 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds)
2023-04-20 23:03:42 +0200oac(~oac@50-93-248-155.fttp.usinternet.com) (Quit: oac)
2023-04-20 23:06:37 +0200michalz(~michalz@185.246.207.203) (Remote host closed the connection)
2023-04-20 23:09:02 +0200gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2023-04-20 23:11:32 +0200gehmehgeh(~user@user/gehmehgeh)
2023-04-20 23:14:09 +0200son0p(~ff@181.136.122.143)
2023-04-20 23:17:18 +0200jmorris(uid537181@id-537181.uxbridge.irccloud.com)
2023-04-20 23:19:08 +0200heraldo(~heraldo@user/heraldo)
2023-04-20 23:31:44 +0200foul_owl(~kerry@185.219.141.63) (Ping timeout: 248 seconds)
2023-04-20 23:32:51 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 265 seconds)
2023-04-20 23:38:32 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-04-20 23:42:10 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2023-04-20 23:46:11 +0200foul_owl(~kerry@71.212.137.212)
2023-04-20 23:46:25 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds)
2023-04-20 23:54:21 +0200barcisz(~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed)
2023-04-20 23:54:36 +0200barcisz(~barcisz@79.191.75.215.ipv4.supernova.orange.pl)
2023-04-20 23:59:30 +0200barcisz(~barcisz@79.191.75.215.ipv4.supernova.orange.pl) (Quit: Connection closed)