Home liberachat/#haskell: Logs Calendar

Logs on 2025-03-03 (liberachat/#haskell)

00:06:29 → ggb_ joins (a62ffbaf4f@2a03:6000:1812:100::3ac)
00:07:17 × litharge quits (litharge@libera/bot/litharge) (*.net *.split)
00:07:18 × jmcantrell quits (~weechat@user/jmcantrell) (*.net *.split)
00:07:18 × xstill_ quits (xstill@fimu/xstill) (*.net *.split)
00:07:18 × fp quits (~Thunderbi@87-92-155-24.rev.dnainternet.fi) (*.net *.split)
00:07:18 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (*.net *.split)
00:07:18 × peutri quits (~peutri@bobo.desast.re) (*.net *.split)
00:07:18 × euphores quits (~SASL_euph@user/euphores) (*.net *.split)
00:07:18 × dolio quits (~dolio@130.44.140.168) (*.net *.split)
00:07:18 × sarna quits (~sarna@d168-237.icpnet.pl) (*.net *.split)
00:07:18 × a_fantom quits (~fantom@2.219.56.221) (*.net *.split)
00:07:18 × tomku quits (~tomku@user/tomku) (*.net *.split)
00:07:18 × ThePenguin quits (~ThePengui@cust-95-80-24-166.csbnet.se) (*.net *.split)
00:07:18 × JSharp quits (sid4580@user/JSharp) (*.net *.split)
00:07:19 × Natch quits (~natch@c-92-34-7-158.bbcust.telenor.se) (*.net *.split)
00:07:19 × igemnace quits (~igemnace@user/igemnace) (*.net *.split)
00:07:19 × ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (*.net *.split)
00:07:19 × cptaffe quits (~cptaffe@user/cptaffe) (*.net *.split)
00:07:19 × tabaqui quits (~root@167.71.80.236) (*.net *.split)
00:07:19 × lyxia quits (~lyxia@poisson.chat) (*.net *.split)
00:07:19 × dibblego quits (~dibblego@haskell/developer/dibblego) (*.net *.split)
00:07:19 × Philonous quits (~Philonous@user/philonous) (*.net *.split)
00:07:19 × thaumavorio quits (~thaumavor@thaumavor.io) (*.net *.split)
00:07:19 × down200 quits (~down200@shell.lug.mtu.edu) (*.net *.split)
00:07:19 × teesquare_ quits (~teesquare@user/teesquare) (*.net *.split)
00:07:19 × constxd quits (~constxd@user/constxd) (*.net *.split)
00:07:20 × Dykam quits (Dykam@dykam.nl) (*.net *.split)
00:07:20 × red-snail quits (~red-snail@static.151.210.203.116.clients.your-server.de) (*.net *.split)
00:07:20 × aku quits (aku@65.108.245.241) (*.net *.split)
00:07:20 × int-e quits (~noone@int-e.eu) (*.net *.split)
00:07:20 × mjrosenb quits (~mjrosenb@70.18.10.118) (*.net *.split)
00:07:20 × krei-se quits (~krei-se@p200300f1cf3232002411defffe902013.dip0.t-ipconnect.de) (*.net *.split)
00:07:20 × GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (*.net *.split)
00:07:20 × rembo10 quits (~rembo10@main.remulis.com) (*.net *.split)
00:07:20 × xff0x quits (~xff0x@2405:6580:b080:900:d598:ae0d:2d4c:9e23) (*.net *.split)
00:07:20 × eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (*.net *.split)
00:07:21 × Katarushisu quits (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (*.net *.split)
00:07:21 × samhh quits (7569f027cf@2a03:6000:1812:100::e4) (*.net *.split)
00:07:21 × bheesham quits (3aa22d8375@2a03:6000:1812:100::e40) (*.net *.split)
00:07:21 × JoelMcCracken quits (5ea8252fbb@2a03:6000:1812:100::10e3) (*.net *.split)
00:07:21 × eso quits (a0662dfd5e@2a03:6000:1812:100::1266) (*.net *.split)
00:07:21 × probie quits (cc0b34050a@user/probie) (*.net *.split)
00:07:21 × henrytill quits (e0180937c3@2a03:6000:1812:100::e8c) (*.net *.split)
00:07:21 × whereiseveryone quits (206ba86c98@2a03:6000:1812:100::2e4) (*.net *.split)
00:07:21 × lucyy quits (228ee8f0ce@user/lucyy) (*.net *.split)
00:07:21 × simendsjo quits (34b0550437@2a03:6000:1812:100::1441) (*.net *.split)
00:07:21 × jakzale quits (6291399afa@user/jakzale) (*.net *.split)
00:07:21 × lane quits (809450f172@2a03:6000:1812:100::1300) (*.net *.split)
00:07:21 × ggb quits (a62ffbaf4f@2a03:6000:1812:100::3ac) (*.net *.split)
00:07:21 × filwisher quits (2e6936c793@2a03:6000:1812:100::170) (*.net *.split)
00:07:21 × tjbc quits (~tjbc@user/fliife) (*.net *.split)
00:07:21 × polykernel quits (~polykerne@user/polykernel) (*.net *.split)
00:07:21 × bryanv quits (~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) (*.net *.split)
00:07:21 × berberman quits (~berberman@user/berberman) (*.net *.split)
00:07:22 × m257 quits (msa@msa.planetofnix.com) (*.net *.split)
00:07:22 × zfnmxt quits (~zfnmxt@user/zfnmxt) (*.net *.split)
00:07:22 × sclv quits (sid39734@haskell/developer/sclv) (*.net *.split)
00:07:22 × Techcable quits (sid534393@user/Techcable) (*.net *.split)
00:07:22 × SanchayanMaity quits (sid478177@id-478177.hampstead.irccloud.com) (*.net *.split)
00:07:22 × sa1 quits (sid7690@id-7690.ilkley.irccloud.com) (*.net *.split)
00:07:22 × tuxpaint quits (~a@2600:3c06::f03c:93ff:fea6:ef0e) (*.net *.split)
00:07:22 × fired quits (la@2600:3c00::f03c:92ff:fee3:aace) (*.net *.split)
00:07:22 × barrucadu quits (~barrucadu@carcosa.barrucadu.co.uk) (*.net *.split)
00:07:22 × cjay quits (cjay@nerdbox.nerd2nerd.org) (*.net *.split)
00:07:22 × ringo_ quits (~ringo@157.230.117.128) (*.net *.split)
00:07:22 × shane quits (~shane@ana.rch.ist) (*.net *.split)
00:07:22 × tomsmeding quits (~tomsmedin@2a01:4f8:c0c:5e5e::2) (*.net *.split)
00:07:22 × chymera quits (~chymera@ns1000526.ip-51-81-46.us) (*.net *.split)
00:07:22 × ol0ck quits (~quassel@user/ol0ck) (*.net *.split)
00:07:23 × NiKaN quits (sid385034@id-385034.helmsley.irccloud.com) (*.net *.split)
00:07:23 × Athas quits (athas@sigkill.dk) (*.net *.split)
00:07:23 × mikko quits (~mikko@user/mikko) (*.net *.split)
00:07:23 × Kamuela quits (sid111576@id-111576.tinside.irccloud.com) (*.net *.split)
00:07:23 × fr33domlover quits (~fr33domlo@towards.vision) (*.net *.split)
00:07:23 × bramh quits (~bramh@user/bramh) (*.net *.split)
00:07:23 × polux quits (~polux@51-15-169-172.rev.poneytelecom.eu) (*.net *.split)
00:07:23 × ames quits (~amelia@offtopia/offtopian/amelia) (*.net *.split)
00:07:23 × stefan-__ quits (~m-yh2rcc@42dots.de) (*.net *.split)
00:07:23 × synchromesh quits (~john@2406:5a00:24cf:bb00:1a4:92cb:1fbc:9b31) (*.net *.split)
00:07:23 × Sgeo quits (~Sgeo@user/sgeo) (*.net *.split)
00:07:23 × misterfish quits (~misterfis@84.53.85.146) (*.net *.split)
00:07:23 × weary-traveler quits (~user@user/user363627) (*.net *.split)
00:07:23 × TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (*.net *.split)
00:07:23 × tessier quits (~tessier@ip68-8-117-219.sd.sd.cox.net) (*.net *.split)
00:07:24 × Miroboru quits (~myrvoll@178-164-114.82.3p.ntebredband.no) (*.net *.split)
00:07:24 × Ekho quits (~Ekho@user/ekho) (*.net *.split)
00:07:24 × comonad quits (~comonad@p200300d027488b00f8b6e4e070ffbc0b.dip0.t-ipconnect.de) (*.net *.split)
00:07:24 × mulk quits (~mulk@p5b112753.dip0.t-ipconnect.de) (*.net *.split)
00:07:24 × Xe quits (~Xe@perl/impostor/xe) (*.net *.split)
00:07:24 × pikajude quits (~jude@149.28.207.64) (*.net *.split)
00:07:24 × s3 quits (~s3@user/bn) (*.net *.split)
00:07:25 × GoldsteinQ quits (~goldstein@goldstein.rs) (*.net *.split)
00:07:25 × jocke-l quits (jocke-l@a.x0.is) (*.net *.split)
00:07:25 × yahb2 quits (~yahb2@user/tomsmeding/bot/yahb2) (*.net *.split)
00:07:25 × lambdabot quits (~lambdabot@haskell/bot/lambdabot) (*.net *.split)
00:07:25 × nicole quits (ilbelkyr@libera/staff/ilbelkyr) (*.net *.split)
00:07:25 × Angelz quits (Angelz@user/angelz) (*.net *.split)
00:07:25 × krjst quits (~krjst@2604:a880:800:c1::16b:8001) (*.net *.split)
00:07:25 × haveo_ quits (~weechat@pacamara.iuwt.fr) (*.net *.split)
00:07:25 × carbolymer quits (~carbolyme@dropacid.net) (*.net *.split)
00:07:25 × tamer quits (~tamer@user/tamer) (*.net *.split)
00:07:25 × meejah quits (~meejah@rutas.meejah.ca) (*.net *.split)
00:07:25 × Clint quits (~Clint@user/clint) (*.net *.split)
00:07:25 × fernando-basso quits (~fernando-@2a01:4f9:c012:63d3::1) (*.net *.split)
00:07:25 × n3t quits (~n3t@user/n3t) (*.net *.split)
00:07:25 × cross quits (~cross@spitfire.i.gajendra.net) (*.net *.split)
00:07:25 × [exa] quits (~exa@user/exa/x-3587197) (*.net *.split)
00:07:25 × nshepperd quits (nshepperd@2600:3c03::f03c:92ff:fe28:92c9) (*.net *.split)
00:07:25 × davean quits (~davean@davean.sciesnet.net) (*.net *.split)
00:07:25 × h2t quits (~h2t@user/h2t) (*.net *.split)
00:07:26 × darkling quits (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) (*.net *.split)
00:07:26 × Digit quits (~user@user/digit) (*.net *.split)
00:07:26 × tt12310978324354 quits (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (*.net *.split)
00:07:26 × sudden quits (~cat@user/sudden) (*.net *.split)
00:07:26 × xal quits (~xal@mx1.xal.systems) (*.net *.split)
00:07:26 × manwithluck quits (~manwithlu@2a00:7c80:0:3a6::12) (*.net *.split)
00:07:26 × nek0 quits (~nek0@user/nek0) (*.net *.split)
00:07:26 × remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (*.net *.split)
00:07:27 × bionade24 quits (~quassel@2a03:4000:33:45b::1) (*.net *.split)
00:07:27 × sus0 quits (thelounge@user/zeromomentum) (*.net *.split)
00:07:27 × edwtjo quits (~edwtjo@fsf/member/edwtjo) (*.net *.split)
00:07:27 × DrachenMaus quits (~dragonmau@user/dragonmaus) (*.net *.split)
00:07:27 × finsternis quits (~X@23.226.237.192) (*.net *.split)
00:07:27 × jjhoo quits (jahakala@user/jjhoo) (*.net *.split)
00:07:27 × cyphase quits (~cyphase@user/cyphase) (*.net *.split)
00:07:27 × srk quits (~sorki@user/srk) (*.net *.split)
00:07:27 × absence_ quits (torgeihe@hildring.pvv.ntnu.no) (*.net *.split)
00:07:27 × ridcully quits (~ridcully@p508acb9a.dip0.t-ipconnect.de) (*.net *.split)
00:07:27 × jmct quits (sid160793@id-160793.tinside.irccloud.com) (*.net *.split)
00:07:27 × dispater quits (~dispater@mail.brprice.uk) (*.net *.split)
00:07:27 × dpk quits (~dpk@jains.nonceword.org) (*.net *.split)
00:07:28 × snek quits (sid280155@id-280155.lymington.irccloud.com) (*.net *.split)
00:07:28 × degraafk quits (sid71464@id-71464.lymington.irccloud.com) (*.net *.split)
00:07:28 × edwardk quits (sid47016@haskell/developer/edwardk) (*.net *.split)
00:07:28 × joeyh quits (~joeyh@kitenet.net) (*.net *.split)
00:07:28 × Adeon quits (sid418992@id-418992.lymington.irccloud.com) (*.net *.split)
00:07:28 × lally quits (sid388228@id-388228.uxbridge.irccloud.com) (*.net *.split)
00:07:28 × sm quits (~znc@plaintextaccounting/sm) (*.net *.split)
00:07:28 × Fangs quits (sid141280@id-141280.hampstead.irccloud.com) (*.net *.split)
00:07:28 × crazazy quits (~crazazy@tilde.town) (*.net *.split)
00:07:28 × nisstyre quits (wes@user/nisstyre) (*.net *.split)
00:07:28 × liskin quits (~liskin@xmonad/liskin) (*.net *.split)
00:07:28 × monochrom quits (trebla@216.138.220.146) (*.net *.split)
00:07:28 × m1dnight quits (~m1dnight@d8D861908.access.telenet.be) (*.net *.split)
00:07:28 × turlando quits (~turlando@user/turlando) (*.net *.split)
00:07:28 × sabathan quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (*.net *.split)
00:07:28 × tv quits (~tv@user/tv) (*.net *.split)
00:07:28 × EvanR quits (~EvanR@user/evanr) (*.net *.split)
00:07:28 × img quits (~img@user/img) (*.net *.split)
00:07:29 × roconnor quits (~quassel@rocq/roconnor) (*.net *.split)
00:07:29 × feetwind quits (~mike@user/feetwind) (*.net *.split)
00:07:29 × preflex quits (~preflex@user/mauke/bot/preflex) (*.net *.split)
00:07:29 × myxokephale quits (~myxos@syn-065-028-251-121.res.spectrum.com) (*.net *.split)
00:07:29 × acidsys quits (~crameleon@openSUSE/member/crameleon) (*.net *.split)
00:07:29 × echoreply quits (~echoreply@45.32.163.16) (*.net *.split)
00:07:29 × saolsen quits (sid26430@id-26430.lymington.irccloud.com) (*.net *.split)
00:07:29 × mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (*.net *.split)
00:07:29 × samhh_ quits (7569f027cf@2a03:6000:1812:100::e4) (*.net *.split)
00:07:29 × Ankhers quits (e99e97ef8e@2a03:6000:1812:100::2a2) (*.net *.split)
00:07:29 × bgtdsword quits (b968c1779f@user/titibandit) (*.net *.split)
00:07:29 × evanrelf quits (3addc196af@2a03:6000:1812:100::f0) (*.net *.split)
00:07:29 × duncan quits (c6181279e3@user/meow/duncan) (*.net *.split)
00:07:29 × aniketd quits (32aa4844cd@2a03:6000:1812:100::dcb) (*.net *.split)
00:07:29 × sus quits (1b7af6299f@user/zeromomentum) (*.net *.split)
00:07:29 × b0o quits (0e4a0bf4c9@2a03:6000:1812:100::1bf) (*.net *.split)
00:07:29 × fn_lumi quits (3d621153a5@2a03:6000:1812:100::df7) (*.net *.split)
00:07:29 × fgaz quits (1ff9197ed6@2a03:6000:1812:100::11ea) (*.net *.split)
00:07:29 × pmk quits (6afe4476a1@2a03:6000:1812:100::26d) (*.net *.split)
00:07:29 × mceresa quits (~mceresa@user/mceresa) (*.net *.split)
00:07:29 × _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (*.net *.split)
00:07:29 × mniip quits (mniip@libera/staff/mniip) (*.net *.split)
00:07:29 × Leary quits (~Leary@user/Leary/x-0910699) (*.net *.split)
00:07:29 × andreas303 quits (andreas303@is.drunk.and.ready-to.party) (*.net *.split)
00:07:30 × hammond quits (proscan@gateway04.insomnia247.nl) (*.net *.split)
00:07:30 × PotatoGim quits (sid99505@id-99505.lymington.irccloud.com) (*.net *.split)
00:07:30 × bgamari quits (~bgamari@64.223.225.174) (*.net *.split)
00:07:30 × dyniec quits (~dyniec@dybiec.info) (*.net *.split)
00:07:30 × jakesyl_____ quits (sid56879@id-56879.hampstead.irccloud.com) (*.net *.split)
00:07:30 × inedia quits (~irc@2600:3c00:e000:287::1) (*.net *.split)
00:07:30 × sefidel quits (~sefidel@user/sefidel) (*.net *.split)
00:07:30 × _koolazer quits (~koo@user/koolazer) (*.net *.split)
00:07:30 × tired- quits (~tired@user/tired) (*.net *.split)
00:07:30 × bastelfreak quits (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (*.net *.split)
00:07:30 × astroanax quits (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7) (*.net *.split)
00:07:30 × lieven quits (~mal@ns2.wyrd.be) (*.net *.split)
00:07:31 × mima quits (~mmh@user/mima) (*.net *.split)
00:07:31 × drlkf quits (~drlkf@chat-1.drlkf.net) (*.net *.split)
00:07:31 × edm quits (sid147314@id-147314.hampstead.irccloud.com) (*.net *.split)
00:07:31 × siers quits (~ij@user/ij) (*.net *.split)
00:07:31 × SrPx quits (sid108780@id-108780.uxbridge.irccloud.com) (*.net *.split)
00:07:31 × hamishmack quits (sid389057@id-389057.hampstead.irccloud.com) (*.net *.split)
00:07:31 × cheater quits (~Username@user/cheater) (*.net *.split)
00:07:31 × pavonia quits (~user@user/siracusa) (*.net *.split)
00:07:31 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (*.net *.split)
00:07:31 × op_4 quits (~tslil@user/op-4/x-9116473) (*.net *.split)
00:07:31 × JamesMowery quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (*.net *.split)
00:07:31 × xacktm quits (xacktm@user/xacktm) (*.net *.split)
00:07:31 × myme quits (~myme@40.51-175-185.customer.lyse.net) (*.net *.split)
00:07:31 × meooow quits (~meooow@2400:6180:100:d0::ad9:e001) (*.net *.split)
00:07:32 × Patternmaster quits (~georg@user/Patternmaster) (*.net *.split)
00:07:32 × bcksl quits (~bcksl@user/bcksl) (*.net *.split)
00:07:32 × juri_ quits (~juri@implicitcad.org) (*.net *.split)
00:07:32 × son0p quits (~ff@2800:e6:4000:d723:c181:4205:f2b1:437a) (*.net *.split)
00:07:32 × buhman quits (sid411355@user/buhman) (*.net *.split)
00:07:32 × Moyst quits (~moyst@user/moyst) (*.net *.split)
00:07:32 × Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (*.net *.split)
00:07:32 × CalimeroTeknik quits (~calimero@user/calimeroteknik) (*.net *.split)
00:07:32 × FragByte quits (~christian@user/fragbyte) (*.net *.split)
00:07:32 × leah2 quits (~leah@vuxu.org) (*.net *.split)
00:07:32 × cawfee quits (root@2001:19f0:4400:79a1::babe) (*.net *.split)
00:07:32 × taktoa[c] quits (sid282096@id-282096.tinside.irccloud.com) (*.net *.split)
00:07:32 × aspen quits (sid449115@id-449115.helmsley.irccloud.com) (*.net *.split)
00:07:33 × jonrh quits (sid5185@id-5185.ilkley.irccloud.com) (*.net *.split)
00:07:33 × ent- quits (entgod@kapsi.fi) (*.net *.split)
00:07:33 × arkeet quits (~arkeet@moriya.ca) (*.net *.split)
00:07:33 × b20n quits (sid115913@id-115913.uxbridge.irccloud.com) (*.net *.split)
00:07:33 × dy quits (sid3438@user/dy) (*.net *.split)
00:07:33 × jackdk quits (sid373013@cssa/jackdk) (*.net *.split)
00:07:33 × danso quits (~danso@user/danso) (*.net *.split)
00:07:33 × tolt quits (~weechat-h@li219-154.members.linode.com) (*.net *.split)
00:07:33 × systemfault quits (sid267009@about/typescript/member/systemfault) (*.net *.split)
00:07:33 × shachaf quits (~shachaf@user/shachaf) (*.net *.split)
00:07:33 × e-snail quits (~pete@user/e-snail) (*.net *.split)
00:07:33 × iphy quits (sid67735@user/iphy) (*.net *.split)
00:07:33 × totbwf quits (uid402332@id-402332.uxbridge.irccloud.com) (*.net *.split)
00:07:33 × energizer quits (~energizer@user/energizer) (*.net *.split)
00:07:33 × carter quits (sid14827@id-14827.helmsley.irccloud.com) (*.net *.split)
00:07:33 × lisq quits (~quassel@lis.moe) (*.net *.split)
00:07:33 × xnyhps quits (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (*.net *.split)
00:07:33 × stefan-_ quits (~cri@42dots.de) (*.net *.split)
00:07:34 × Square quits (~Square@user/square) (*.net *.split)
00:07:34 × euandreh quits (~Thunderbi@2804:d59:896c:b400:be5c:fe42:c5ff:26b3) (*.net *.split)
00:07:34 × Buliarou1 quits (~gypsydang@46.232.210.139) (*.net *.split)
00:07:34 × Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (*.net *.split)
00:07:34 × kimiamania8 quits (~65804703@user/kimiamania) (*.net *.split)
00:07:34 × sand-witch quits (~m-mzmz6l@vmi833741.contaboserver.net) (*.net *.split)
00:07:34 × AlexZenon quits (~alzenon@178.34.162.44) (*.net *.split)
00:07:35 × urdh quits (~urdh@user/urdh) (*.net *.split)
00:07:35 × PHO` quits (~pho@akari.cielonegro.org) (*.net *.split)
00:07:35 × lbseale quits (~quassel@user/ep1ctetus) (*.net *.split)
00:07:35 × kritzefitz quits (~kritzefit@debian/kritzefitz) (*.net *.split)
00:07:35 × hellwolf quits (~user@ff62-a6a0-5031-3fa8-0f00-4d40-07d0-2001.sta.estpak.ee) (*.net *.split)
00:07:35 × gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (*.net *.split)
00:07:36 × adamCS quits (~adamCS@pool-71-105-181-114.nycmny.fios.verizon.net) (*.net *.split)
00:07:36 × hololeap quits (~quassel@user/hololeap) (*.net *.split)
00:07:36 × ncf quits (~n@monade.li) (*.net *.split)
00:07:36 × Fischmiep quits (~Fischmiep@user/Fischmiep) (*.net *.split)
00:07:36 × gaze__ quits (sid387101@id-387101.helmsley.irccloud.com) (*.net *.split)
00:07:36 × codedmart_ quits (~codedmart@li335-49.members.linode.com) (*.net *.split)
00:07:36 × Arsen quits (arsen@gentoo/developer/managarm.dev.Arsen) (*.net *.split)
00:07:36 × Jon quits (jon@dow.land) (*.net *.split)
00:07:36 × wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (*.net *.split)
00:07:37 × Adran quits (~adran@botters/adran) (*.net *.split)
00:07:37 × esph quits (~weechat@user/esph) (*.net *.split)
00:07:37 × delyan_ quits (sid523379@id-523379.hampstead.irccloud.com) (*.net *.split)
00:07:37 × barthandelous01 quits (barth@triton.blinkenshell.org) (*.net *.split)
00:07:37 × hacklschorsch quits (~flo@2a01:4f9:3a:2296::2) (*.net *.split)
00:07:37 × TimWolla quits (~timwolla@2a01:4f8:150:6153:beef::6667) (*.net *.split)
00:07:37 × Rembane quits (~Rembane@user/Rembane) (*.net *.split)
00:07:38 × Hecate quits (~mariposa@user/hecate) (*.net *.split)
00:07:38 × glguy quits (glguy@libera/staff/glguy) (*.net *.split)
00:07:38 × ProofTechnique_ quits (sid79547@id-79547.ilkley.irccloud.com) (*.net *.split)
00:07:38 × amir quits (sid22336@user/amir) (*.net *.split)
00:07:38 × lexi-lambda quits (sid92601@id-92601.hampstead.irccloud.com) (*.net *.split)
00:07:38 × S11001001 quits (sid42510@id-42510.ilkley.irccloud.com) (*.net *.split)
00:07:38 × T_S_____ quits (sid501726@id-501726.uxbridge.irccloud.com) (*.net *.split)
00:07:38 × dsal quits (sid13060@id-13060.lymington.irccloud.com) (*.net *.split)
00:07:38 × vanishingideal quits (~vanishing@user/vanishingideal) (*.net *.split)
00:07:38 × notdabs quits (~Owner@2600:6c40:4300:950:2d43:42a2:e2d9:67c9) (*.net *.split)
00:07:38 × ZLima12 quits (~zlima12@user/meow/ZLima12) (*.net *.split)
00:07:38 × ell quits (~ellie@user/ellie) (*.net *.split)
00:07:38 × vgtw quits (~vgtw@user/vgtw) (*.net *.split)
00:07:38 × zmt00 quits (~zmt00@user/zmt00) (*.net *.split)
00:07:38 × Spawns_Carpeting quits (~mobile@user/spawns-carpeting/x-6969421) (*.net *.split)
00:07:39 × unlucy quits (sid572875@user/unlucy) (*.net *.split)
00:07:39 × markasoftware quits (~quassel@2604:180:f2::217) (*.net *.split)
00:07:39 × bradparker quits (sid262931@id-262931.uxbridge.irccloud.com) (*.net *.split)
00:07:39 × flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split)
00:07:39 × dostoyevsky2 quits (~sck@user/dostoyevsky2) (*.net *.split)
00:07:39 × rune_ quits (sid21167@id-21167.ilkley.irccloud.com) (*.net *.split)
00:07:39 × astra quits (sid289983@user/amish) (*.net *.split)
00:07:39 × meinside quits (uid24933@id-24933.helmsley.irccloud.com) (*.net *.split)
00:07:39 × tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (*.net *.split)
00:07:39 × caubert quits (~caubert@user/caubert) (*.net *.split)
00:07:39 × albet70 quits (~xxx@2400:8905::f03c:92ff:fe60:98d8) (*.net *.split)
00:07:39 × reidrac quits (~reidrac@user/reidrac) (*.net *.split)
00:07:40 × omnifunctor quits (~omnifunct@user/semifunctor) (*.net *.split)
00:07:40 × geekosaur quits (sid609282@xmonad/geekosaur) (*.net *.split)
00:07:40 × SethTisue quits (sid14912@id-14912.ilkley.irccloud.com) (*.net *.split)
00:07:40 × noteness quits (~noteness@user/noteness) (*.net *.split)
00:07:40 × Hafydd quits (~Hafydd@user/hafydd) (*.net *.split)
00:07:40 × df quits (~ben@justworks.xyz) (*.net *.split)
00:07:40 × natto quits (~natto@129.154.243.159) (*.net *.split)
00:07:41 × caconym quits (~caconym@user/caconym) (*.net *.split)
00:07:41 × hattckory quits (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (*.net *.split)
00:07:41 × picnoir quits (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (*.net *.split)
00:07:41 × mustafa quits (sid502723@rockylinux/releng/mustafa) (*.net *.split)
00:07:41 × gmc quits (sid58314@id-58314.ilkley.irccloud.com) (*.net *.split)
00:07:41 × cbarrett quits (sid192934@id-192934.helmsley.irccloud.com) (*.net *.split)
00:07:41 × sa quits (sid1055@id-1055.tinside.irccloud.com) (*.net *.split)
00:07:42 × swistak quits (~swistak@185.21.216.141) (*.net *.split)
00:07:42 × haritz quits (~hrtz@user/haritz) (*.net *.split)
00:07:42 × sm2n quits (ae95cb1267@user/sm2n) (*.net *.split)
00:07:42 × ursa-major quits (114efe6c39@2a03:6000:1812:100::11f3) (*.net *.split)
00:07:42 × thatonelutenist quits (8216c46202@2a03:6000:1812:100::fb3) (*.net *.split)
00:07:42 × jkoshy quits (99b9359beb@user/jkoshy) (*.net *.split)
00:07:42 × chaitlatte0 quits (ea29c0bb16@user/chaitlatte0) (*.net *.split)
00:07:42 × cpli quits (77fc530071@2a03:6000:1812:100::252) (*.net *.split)
00:07:43 × shreyasminocha quits (51fdc93eda@user/shreyasminocha) (*.net *.split)
00:07:43 × ymherklotz quits (cb2c9cfbdd@2a03:6000:1812:100::29a) (*.net *.split)
00:07:43 × fvr quits (ef3e56ca8b@2a03:6000:1812:100::3c4) (*.net *.split)
00:07:43 × raghavgururajan quits (ea769b8000@user/raghavgururajan) (*.net *.split)
00:07:43 × arcadewise quits (52968ed80d@2a03:6000:1812:100::3df) (*.net *.split)
00:07:43 × rselim quits (ce261f06ff@user/milesrout) (*.net *.split)
00:07:44 × akspecs quits (00cc8321af@sourcehut/user/akspecs) (*.net *.split)
00:07:44 × jleightcap quits (7bc4014b62@user/jleightcap) (*.net *.split)
00:07:44 × RussetParrotBear quits (45ce440a48@2a03:6000:1812:100::e2) (*.net *.split)
00:07:44 × bsima1 quits (9d7e39c8ad@2a03:6000:1812:100::dd) (*.net *.split)
00:07:44 × lukec quits (9dfd4d094e@2a03:6000:1812:100::10e) (*.net *.split)
00:07:44 × smiesner quits (b0cf5acf8c@user/smiesner) (*.net *.split)
00:07:44 × mrmonday quits (~robert@what.i.hope.is.not.a.tabernaevagant.es) (*.net *.split)
00:07:44 × bsima quits (~bsima@143.198.118.179) (*.net *.split)
00:07:44 × kmein quits (~weechat@user/kmein) (*.net *.split)
00:07:44 × integral quits (sid296274@user/integral) (*.net *.split)
00:07:44 × bwe quits (~bwe@2a01:4f8:1c1c:4878::2) (*.net *.split)
00:07:44 × Hobbyboy quits (Hobbyboy@hobbyboy.co.uk) (*.net *.split)
00:07:44 × beaky quits (~beaky@2a03:b0c0:0:1010::1e:a001) (*.net *.split)
00:07:44 × acarrico quits (~acarrico@pppoe-209-99-221-107.greenmountainaccess.net) (*.net *.split)
00:07:44 × welterde quits (welterde@thinkbase.srv.welterde.de) (*.net *.split)
00:07:44 × sweater2 quits (~sweater@206.81.18.26) (*.net *.split)
00:07:44 × Catty quits (~catties@user/meow/catties) (*.net *.split)
00:07:44 × gAy_Dragon quits (A_D@libera/staff/dragon) (*.net *.split)
00:07:45 × eugenrh quits (~eugenrh@user/eugenrh) (*.net *.split)
00:07:45 × lambdap2371 quits (~lambdap@static.167.190.119.168.clients.your-server.de) (*.net *.split)
00:07:45 × koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (*.net *.split)
00:07:45 × opqdonut quits (opqdonut@pseudo.fixme.fi) (*.net *.split)
00:07:45 × ljdarj quits (~Thunderbi@user/ljdarj) (*.net *.split)
00:07:45 × alp quits (~alp@2001:861:8ca0:4940:ebde:9d:e6eb:4fa) (*.net *.split)
00:07:45 × aforemny_ quits (~aforemny@i59F4C54D.versanet.de) (*.net *.split)
00:07:45 × jmcantrell_ quits (644f1bed9a@user/jmcantrell) (*.net *.split)
00:07:45 × hgolden quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (*.net *.split)
00:07:45 × gawen quits (~gawen@user/gawen) (*.net *.split)
00:07:45 × puke quits (~puke@user/puke) (*.net *.split)
00:07:45 × petrichor quits (~znc-user@user/petrichor) (*.net *.split)
00:07:45 × rini quits (~rini@user/rini) (*.net *.split)
00:07:45 × mauke quits (~mauke@user/mauke) (*.net *.split)
00:07:45 × plitter quits (~plitter@user/plitter) (*.net *.split)
00:07:45 × olivial quits (~benjaminl@user/benjaminl) (*.net *.split)
00:07:46 × AlexNoo quits (~AlexNoo@178.34.162.44) (*.net *.split)
00:07:46 × hiredman quits (~hiredman@frontier1.downey.family) (*.net *.split)
00:07:46 × smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (*.net *.split)
00:07:46 × Boarders_____ quits (sid425905@id-425905.lymington.irccloud.com) (*.net *.split)
00:07:46 × potatoespotatoes quits (~quassel@user/potatoespotatoes) (*.net *.split)
00:07:46 × gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (*.net *.split)
00:07:46 × Eoco quits (~ian@128.101.131.218) (*.net *.split)
00:07:46 × byorgey quits (~byorgey@user/byorgey) (*.net *.split)
00:07:46 × connrs quits (~connrs@user/connrs) (*.net *.split)
00:07:46 × bjs quits (sid190364@user/bjs) (*.net *.split)
00:07:46 × bw quits (sid2730@user/betawaffle) (*.net *.split)
00:07:46 × caasih quits (sid13241@id-13241.ilkley.irccloud.com) (*.net *.split)
00:07:46 × nschoe quits (~nschoe@82-65-202-30.subs.proxad.net) (*.net *.split)
00:07:46 × ftzm quits (~ftzm@085081056141.dynamic.telenor.dk) (*.net *.split)
00:07:46 × piele quits (~piele@eiseth.creativeserver.net) (*.net *.split)
00:07:46 × spew quits (~spew@135.233.119.40) (*.net *.split)
00:07:46 × apache quits (apache2@anubis.0x90.dk) (*.net *.split)
00:07:46 × rachelambda8 quits (~rachelamb@cust-95-80-25-71.csbnet.se) (*.net *.split)
00:07:46 × Typedfern quits (~Typedfern@242.red-83-37-36.dynamicip.rima-tde.net) (*.net *.split)
00:07:47 × xelxebar quits (~xelxebar@wilsonb.com) (*.net *.split)
00:07:47 × Me-me quits (~me-me@user/me-me) (*.net *.split)
00:07:47 × statusbot9 quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (*.net *.split)
00:07:47 × Noinia quits (~Frank@77-162-168-71.fixed.kpn.net) (*.net *.split)
00:07:47 × noctuks quits (MR7CNKXm0J@user/noctux) (*.net *.split)
00:07:47 × MironZ3 quits (~MironZ@nat-infra.ehlab.uk) (*.net *.split)
00:07:47 × dumptruckman quits (~dumptruck@66-175-211-75.ip.linodeusercontent.com) (*.net *.split)
00:07:47 × enikar quits (~enikar@user/enikar) (*.net *.split)
00:07:47 × Aleksejs quits (~Aleksejs@107.170.21.106) (*.net *.split)
00:07:47 × nonzen quits (~nonzen@user/nonzen) (*.net *.split)
00:07:47 × xerox quits (~edi@user/edi) (*.net *.split)
00:07:47 × She quits (haveident@libera/staff/she/her) (*.net *.split)
00:07:47 × andjjj23 quits (~irc@107.170.228.47) (*.net *.split)
00:07:47 × mmaruseacph2 quits (~mihai@mihai.page) (*.net *.split)
00:07:47 × superbil quits (~superbil@114-32-231-70.hinet-ip.hinet.net) (*.net *.split)
00:07:47 × duckworld quits (~duckworld@user/duckworld) (*.net *.split)
00:07:47 × Axman6 quits (~Axman6@user/axman6) (*.net *.split)
00:07:47 × yegorc quits (~yegorc@user/yegorc) (*.net *.split)
00:07:48 × sprotte24 quits (~sprotte24@p200300d16f0b610055520ee12b1b427b.dip0.t-ipconnect.de) (*.net *.split)
00:07:48 × rvalue quits (~rvalue@user/rvalue) (*.net *.split)
00:07:48 × killij quits (~killij@user/killij) (*.net *.split)
00:07:48 × gentauro quits (~gentauro@user/gentauro) (*.net *.split)
00:07:48 × m5zs7k quits (aquares@web10.mydevil.net) (*.net *.split)
00:07:48 × jathan quits (~jathan@69.61.93.38) (*.net *.split)
00:07:48 × deriamis quits (nobody@172-232-162-115.ip.linodeusercontent.com) (*.net *.split)
00:07:48 × jbalint quits (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122) (*.net *.split)
00:07:48 × Flow quits (~none@gentoo/developer/flow) (*.net *.split)
00:07:48 × disconnect3d quits (~disconnec@user/disconnect3d) (*.net *.split)
00:07:48 × davl quits (~davl@207.154.228.18) (*.net *.split)
00:07:48 × distopico quits (~cerdolibr@2001:4b98:dc2:41:216:3eff:fe6c:52a1) (*.net *.split)
00:07:48 × Buliarous quits (~gypsydang@46.232.210.139) (*.net *.split)
00:07:48 × paotsaq quits (~paotsaq@127.209.37.188.rev.vodafone.pt) (*.net *.split)
00:07:48 × Igloo quits (~ian@81.2.99.210) (*.net *.split)
00:07:49 × end quits (~end@user/end/x-0094621) (*.net *.split)
00:07:49 × ByronJohnson quits (~bairyn@MAIL.DIGITALKINGDOM.ORG) (*.net *.split)
00:07:49 × dminuoso quits (~weechat@user/dminuoso) (*.net *.split)
00:07:49 × raym quits (~ray@user/raym) (*.net *.split)
00:07:49 × rncwnd quits (~quassel@2a01:4f8:221:27c6::1) (*.net *.split)
00:07:49 × hc quits (~hc@mail.hce.li) (*.net *.split)
00:07:49 × chamlis quits (~chamlis@user/chamlis) (*.net *.split)
00:07:49 × haetsal quits (~quassel@221.138.168.192) (*.net *.split)
00:07:49 × biberu quits (~biberu@user/biberu) (*.net *.split)
00:07:49 × emergence quits (emergence@vm0.max-p.me) (*.net *.split)
00:07:49 × Putonlalla quits (~Putonlall@it-cyan.it.jyu.fi) (*.net *.split)
00:07:49 × nckx quits (nckx@libera/staff/owl/nckx) (*.net *.split)
00:07:49 × shawwwn quits (sid6132@id-6132.helmsley.irccloud.com) (*.net *.split)
00:07:49 × mesaoptimizer quits (~mesa@user/PapuaHardyNet) (*.net *.split)
00:07:49 × dunj3 quits (~dunj3@2a01:239:328:1600::1) (*.net *.split)
00:07:49 × ouroboros quits (~ouroboros@user/ouroboros) (*.net *.split)
00:07:50 × acro quits (~acro@user/acro) (*.net *.split)
00:07:50 × Logio quits (em@kapsi.fi) (*.net *.split)
00:07:50 × hook54321 quits (sid149355@user/hook54321) (*.net *.split)
00:07:50 × farn__ quits (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (*.net *.split)
00:07:50 × jess quits (meow@libera/staff/cat/jess) (*.net *.split)
00:07:51 × orcus quits (~orcus@mail.brprice.uk) (*.net *.split)
00:07:51 × mrvdb quits (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (*.net *.split)
00:07:51 × c_wraith quits (~c_wraith@adjoint.us) (*.net *.split)
00:07:51 × ChanServ quits (ChanServ@services.libera.chat) (*.net *.split)
00:07:57 → synchromesh joins (~john@2406:5a00:24cf:bb00:1a4:92cb:1fbc:9b31)
00:07:57 → Sgeo joins (~Sgeo@user/sgeo)
00:07:57 → misterfish joins (~misterfis@84.53.85.146)
00:07:57 → weary-traveler joins (~user@user/user363627)
00:07:57 → TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker)
00:07:57 → tessier joins (~tessier@ip68-8-117-219.sd.sd.cox.net)
00:07:57 → s3 joins (~s3@user/bn)
00:07:57 → Miroboru joins (~myrvoll@178-164-114.82.3p.ntebredband.no)
00:07:57 → Ekho joins (~Ekho@user/ekho)
00:07:57 → comonad joins (~comonad@p200300d027488b00f8b6e4e070ffbc0b.dip0.t-ipconnect.de)
00:07:57 → mulk joins (~mulk@p5b112753.dip0.t-ipconnect.de)
00:07:57 → Xe joins (~Xe@perl/impostor/xe)
00:07:57 → pikajude joins (~jude@149.28.207.64)
00:07:57 → GoldsteinQ joins (~goldstein@goldstein.rs)
00:07:57 → jocke-l joins (jocke-l@a.x0.is)
00:07:57 → yahb2 joins (~yahb2@user/tomsmeding/bot/yahb2)
00:07:57 → lambdabot joins (~lambdabot@haskell/bot/lambdabot)
00:07:57 → nicole joins (ilbelkyr@libera/staff/ilbelkyr)
00:07:57 → Angelz joins (Angelz@user/angelz)
00:07:57 → krjst joins (~krjst@2604:a880:800:c1::16b:8001)
00:07:57 → darkling joins (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space)
00:07:57 → haveo_ joins (~weechat@pacamara.iuwt.fr)
00:07:57 → carbolymer joins (~carbolyme@dropacid.net)
00:07:57 → tamer joins (~tamer@user/tamer)
00:07:57 → meejah joins (~meejah@rutas.meejah.ca)
00:07:57 → Clint joins (~Clint@user/clint)
00:07:57 → fernando-basso joins (~fernando-@2a01:4f9:c012:63d3::1)
00:07:57 → n3t joins (~n3t@user/n3t)
00:07:57 → cross joins (~cross@spitfire.i.gajendra.net)
00:07:57 → [exa] joins (~exa@user/exa/x-3587197)
00:07:57 → nshepperd joins (nshepperd@2600:3c03::f03c:92ff:fe28:92c9)
00:07:57 → davean joins (~davean@davean.sciesnet.net)
00:07:57 → h2t joins (~h2t@user/h2t)
00:07:57 erbium.libera.chat sets mode +vv yahb2 lambdabot
00:07:59 ggb_ is now known as ggb
00:07:59 → ursa-major joins (114efe6c39@2a03:6000:1812:100::11f3)
00:08:01 → rselim joins (ce261f06ff@2a03:6000:1812:100::257)
00:08:04 → lane joins (809450f172@2a03:6000:1812:100::1300)
00:08:04 → cpli joins (77fc530071@2a03:6000:1812:100::252)
00:08:04 → hattckory joins (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca)
00:08:04 → vanishingideal joins (~vanishing@user/vanishingideal)
00:08:04 → ljdarj joins (~Thunderbi@user/ljdarj)
00:08:04 → alp joins (~alp@2001:861:8ca0:4940:ebde:9d:e6eb:4fa)
00:08:04 → caconym joins (~caconym@user/caconym)
00:08:04 → notdabs joins (~Owner@2600:6c40:4300:950:2d43:42a2:e2d9:67c9)
00:08:04 → aforemny_ joins (~aforemny@i59F4C54D.versanet.de)
00:08:04 → jmcantrell_ joins (644f1bed9a@user/jmcantrell)
00:08:04 → hgolden joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363)
00:08:04 → picnoir joins (~picnoir@about/aquilenet/vodoo/NinjaTrappeur)
00:08:04 → gawen joins (~gawen@user/gawen)
00:08:04 → puke joins (~puke@user/puke)
00:08:04 → ZLima12 joins (~zlima12@user/meow/ZLima12)
00:08:04 → ell joins (~ellie@user/ellie)
00:08:04 → petrichor joins (~znc-user@user/petrichor)
00:08:04 → vgtw joins (~vgtw@user/vgtw)
00:08:04 → zmt00 joins (~zmt00@user/zmt00)
00:08:04 → rini joins (~rini@user/rini)
00:08:04 → Spawns_Carpeting joins (~mobile@user/spawns-carpeting/x-6969421)
00:08:04 → glguy joins (glguy@libera/staff/glguy)
00:08:04 → mauke joins (~mauke@user/mauke)
00:08:04 → plitter joins (~plitter@user/plitter)
00:08:04 → olivial joins (~benjaminl@user/benjaminl)
00:08:04 → AlexNoo joins (~AlexNoo@178.34.162.44)
00:08:04 → mustafa joins (sid502723@rockylinux/releng/mustafa)
00:08:04 → gmc joins (sid58314@id-58314.ilkley.irccloud.com)
00:08:04 → cbarrett joins (sid192934@id-192934.helmsley.irccloud.com)
00:08:04 → sa joins (sid1055@id-1055.tinside.irccloud.com)
00:08:04 → unlucy joins (sid572875@user/unlucy)
00:08:04 → hiredman joins (~hiredman@frontier1.downey.family)
00:08:04 → swistak joins (~swistak@185.21.216.141)
00:08:04 → smalltalkman joins (uid545680@id-545680.hampstead.irccloud.com)
00:08:04 → Boarders_____ joins (sid425905@id-425905.lymington.irccloud.com)
00:08:04 → potatoespotatoes joins (~quassel@user/potatoespotatoes)
00:08:04 → haritz joins (~hrtz@user/haritz)
00:08:04 → superbil joins (~superbil@114-32-231-70.hinet-ip.hinet.net)
00:08:04 → markasoftware joins (~quassel@2604:180:f2::217)
00:08:04 → bradparker joins (sid262931@id-262931.uxbridge.irccloud.com)
00:08:04 → flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962)
00:08:04 → omnifunctor joins (~omnifunct@user/semifunctor)
00:08:04 → dostoyevsky2 joins (~sck@user/dostoyevsky2)
00:08:04 → gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk)
00:08:04 → Eoco joins (~ian@128.101.131.218)
00:08:04 → byorgey joins (~byorgey@user/byorgey)
00:08:04 → connrs joins (~connrs@user/connrs)
00:08:04 → rune_ joins (sid21167@id-21167.ilkley.irccloud.com)
00:08:04 → bjs joins (sid190364@user/bjs)
00:08:04 → astra joins (sid289983@user/amish)
00:08:04 → bw joins (sid2730@user/betawaffle)
00:08:04 → meinside joins (uid24933@id-24933.helmsley.irccloud.com)
00:08:04 → caasih joins (sid13241@id-13241.ilkley.irccloud.com)
00:08:04 → nschoe joins (~nschoe@82-65-202-30.subs.proxad.net)
00:08:04 → arcadewise joins (52968ed80d@2a03:6000:1812:100::3df)
00:08:04 → raghavgururajan joins (ea769b8000@user/raghavgururajan)
00:08:04 → fvr joins (ef3e56ca8b@2a03:6000:1812:100::3c4)
00:08:04 → ymherklotz joins (cb2c9cfbdd@2a03:6000:1812:100::29a)
00:08:04 → chaitlatte0 joins (ea29c0bb16@user/chaitlatte0)
00:08:04 → jkoshy joins (99b9359beb@user/jkoshy)
00:08:04 → thatonelutenist joins (8216c46202@2a03:6000:1812:100::fb3)
00:08:04 → sm2n joins (ae95cb1267@user/sm2n)
00:08:04 → jleightcap joins (7bc4014b62@user/jleightcap)
00:08:04 → akspecs joins (00cc8321af@sourcehut/user/akspecs)
00:08:04 → bsima1 joins (9d7e39c8ad@2a03:6000:1812:100::dd)
00:08:04 → RussetParrotBear joins (45ce440a48@2a03:6000:1812:100::e2)
00:08:04 → smiesner joins (b0cf5acf8c@user/smiesner)
00:08:04 → lukec joins (9dfd4d094e@2a03:6000:1812:100::10e)
00:08:04 → tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net)
00:08:04 → ftzm joins (~ftzm@085081056141.dynamic.telenor.dk)
00:08:04 → caubert joins (~caubert@user/caubert)
00:08:04 → albet70 joins (~xxx@2400:8905::f03c:92ff:fe60:98d8)
00:08:04 → mrmonday joins (~robert@what.i.hope.is.not.a.tabernaevagant.es)
00:08:04 → reidrac joins (~reidrac@user/reidrac)
00:08:04 → piele joins (~piele@eiseth.creativeserver.net)
00:08:04 → Axman6 joins (~Axman6@user/axman6)
00:08:04 → duckworld joins (~duckworld@user/duckworld)
00:08:04 → bsima joins (~bsima@143.198.118.179)
00:08:04 → spew joins (~spew@135.233.119.40)
00:08:04 → apache joins (apache2@anubis.0x90.dk)
00:08:04 → rachelambda8 joins (~rachelamb@cust-95-80-25-71.csbnet.se)
00:08:04 → Typedfern joins (~Typedfern@242.red-83-37-36.dynamicip.rima-tde.net)
00:08:04 → geekosaur joins (sid609282@xmonad/geekosaur)
00:08:04 → SethTisue joins (sid14912@id-14912.ilkley.irccloud.com)
00:08:04 → She joins (haveident@libera/staff/she/her)
00:08:04 → andjjj23 joins (~irc@107.170.228.47)
00:08:04 → mmaruseacph2 joins (~mihai@mihai.page)
00:08:04 → xerox joins (~edi@user/edi)
00:08:04 → nonzen joins (~nonzen@user/nonzen)
00:08:04 → Aleksejs joins (~Aleksejs@107.170.21.106)
00:08:04 → enikar joins (~enikar@user/enikar)
00:08:04 → dumptruckman joins (~dumptruck@66-175-211-75.ip.linodeusercontent.com)
00:08:04 → lambdap2371 joins (~lambdap@static.167.190.119.168.clients.your-server.de)
00:08:04 → koala_man joins (~vidar@157.146.251.23.bc.googleusercontent.com)
00:08:04 → opqdonut joins (opqdonut@pseudo.fixme.fi)
00:08:04 → eugenrh joins (~eugenrh@user/eugenrh)
00:08:04 → MironZ3 joins (~MironZ@nat-infra.ehlab.uk)
00:08:04 → natto joins (~natto@129.154.243.159)
00:08:04 → gAy_Dragon joins (A_D@libera/staff/dragon)
00:08:04 → df joins (~ben@justworks.xyz)
00:08:04 → Catty joins (~catties@user/meow/catties)
00:08:04 → noctuks joins (MR7CNKXm0J@user/noctux)
00:08:04 → ProofTechnique_ joins (sid79547@id-79547.ilkley.irccloud.com)
00:08:04 → amir joins (sid22336@user/amir)
00:08:04 → lexi-lambda joins (sid92601@id-92601.hampstead.irccloud.com)
00:08:04 → S11001001 joins (sid42510@id-42510.ilkley.irccloud.com)
00:08:04 → T_S_____ joins (sid501726@id-501726.uxbridge.irccloud.com)
00:08:04 → dsal joins (sid13060@id-13060.lymington.irccloud.com)
00:08:04 → Noinia joins (~Frank@77-162-168-71.fixed.kpn.net)
00:08:04 → statusbot9 joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com)
00:08:04 → sweater2 joins (~sweater@206.81.18.26)
00:08:04 → Me-me joins (~me-me@user/me-me)
00:08:04 → welterde joins (welterde@thinkbase.srv.welterde.de)
00:08:04 → xelxebar joins (~xelxebar@wilsonb.com)
00:08:04 → acarrico joins (~acarrico@pppoe-209-99-221-107.greenmountainaccess.net)
00:08:04 → beaky joins (~beaky@2a03:b0c0:0:1010::1e:a001)
00:08:04 → Hobbyboy joins (Hobbyboy@hobbyboy.co.uk)
00:08:04 → bwe joins (~bwe@2a01:4f8:1c1c:4878::2)
00:08:04 → integral joins (sid296274@user/integral)
00:08:04 → Hafydd joins (~Hafydd@user/hafydd)
00:08:04 → noteness joins (~noteness@user/noteness)
00:08:04 → kmein joins (~weechat@user/kmein)
00:08:09 × s3 quits (~s3@user/bn) (Max SendQ exceeded)
00:08:09 → lucyy joins (228ee8f0ce@2a03:6000:1812:100::13c6)
00:08:09 × ursa-major quits (114efe6c39@2a03:6000:1812:100::11f3) (Max SendQ exceeded)
00:08:14 → bheesham joins (3aa22d8375@2a03:6000:1812:100::e40)
00:08:19 → jmcantrell joins (~weechat@user/jmcantrell)
00:08:19 → xstill_ joins (xstill@fimu/xstill)
00:08:19 → fp joins (~Thunderbi@87-92-155-24.rev.dnainternet.fi)
00:08:19 → Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
00:08:19 → peutri joins (~peutri@bobo.desast.re)
00:08:19 → euphores joins (~SASL_euph@user/euphores)
00:08:19 → dolio joins (~dolio@130.44.140.168)
00:08:19 → sarna joins (~sarna@d168-237.icpnet.pl)
00:08:19 → tomku joins (~tomku@user/tomku)
00:08:19 → ThePenguin joins (~ThePengui@cust-95-80-24-166.csbnet.se)
00:08:19 → JSharp joins (sid4580@user/JSharp)
00:08:19 → Natch joins (~natch@c-92-34-7-158.bbcust.telenor.se)
00:08:19 → igemnace joins (~igemnace@user/igemnace)
00:08:19 → ezzieyguywuf joins (~Unknown@user/ezzieyguywuf)
00:08:19 → cptaffe joins (~cptaffe@user/cptaffe)
00:08:19 → tabaqui joins (~root@167.71.80.236)
00:08:19 → lyxia joins (~lyxia@poisson.chat)
00:08:19 → dibblego joins (~dibblego@haskell/developer/dibblego)
00:08:19 → Philonous joins (~Philonous@user/philonous)
00:08:19 → thaumavorio joins (~thaumavor@thaumavor.io)
00:08:19 → down200 joins (~down200@shell.lug.mtu.edu)
00:08:19 → teesquare_ joins (~teesquare@user/teesquare)
00:08:19 → constxd joins (~constxd@user/constxd)
00:08:19 → Dykam joins (Dykam@dykam.nl)
00:08:19 → red-snail joins (~red-snail@static.151.210.203.116.clients.your-server.de)
00:08:19 → aku joins (aku@65.108.245.241)
00:08:19 → int-e joins (~noone@int-e.eu)
00:08:19 → mjrosenb joins (~mjrosenb@70.18.10.118)
00:08:23 → whereiseveryone joins (206ba86c98@2a03:6000:1812:100::2e4)
00:08:28 → s3 joins (~s3@212.225.225.72)
00:08:31 × MyNetAz quits (~MyNetAz@user/MyNetAz) (Write error: Connection reset by peer)
00:08:31 → shreyasminocha joins (51fdc93eda@2a03:6000:1812:100::108)
00:08:51 × fp quits (~Thunderbi@87-92-155-24.rev.dnainternet.fi) (Ping timeout: 244 seconds)
00:09:13 → Digit joins (~user@user/digit)
00:09:13 → tt12310978324354 joins (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee)
00:09:13 → sudden joins (~cat@user/sudden)
00:09:13 → xal joins (~xal@mx1.xal.systems)
00:09:13 → manwithluck joins (~manwithlu@2a00:7c80:0:3a6::12)
00:09:13 → nek0 joins (~nek0@user/nek0)
00:09:13 → remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz)
00:09:13 → bionade24 joins (~quassel@2a03:4000:33:45b::1)
00:09:13 → sus0 joins (thelounge@user/zeromomentum)
00:09:13 → edwtjo joins (~edwtjo@fsf/member/edwtjo)
00:09:13 → DrachenMaus joins (~dragonmau@user/dragonmaus)
00:09:13 → finsternis joins (~X@23.226.237.192)
00:09:13 → jjhoo joins (jahakala@user/jjhoo)
00:09:13 → cyphase joins (~cyphase@user/cyphase)
00:09:13 → srk joins (~sorki@user/srk)
00:09:13 → absence_ joins (torgeihe@hildring.pvv.ntnu.no)
00:09:13 → ridcully joins (~ridcully@p508acb9a.dip0.t-ipconnect.de)
00:09:13 → jmct joins (sid160793@id-160793.tinside.irccloud.com)
00:09:13 → dispater joins (~dispater@mail.brprice.uk)
00:09:13 → dpk joins (~dpk@jains.nonceword.org)
00:09:13 → snek joins (sid280155@id-280155.lymington.irccloud.com)
00:09:13 → degraafk joins (sid71464@id-71464.lymington.irccloud.com)
00:09:13 → edwardk joins (sid47016@haskell/developer/edwardk)
00:09:13 → joeyh joins (~joeyh@kitenet.net)
00:09:13 → Adeon joins (sid418992@id-418992.lymington.irccloud.com)
00:09:13 → lally joins (sid388228@id-388228.uxbridge.irccloud.com)
00:09:13 → sm joins (~znc@plaintextaccounting/sm)
00:09:13 → Fangs joins (sid141280@id-141280.hampstead.irccloud.com)
00:09:13 → crazazy joins (~crazazy@tilde.town)
00:09:13 → nisstyre joins (wes@user/nisstyre)
00:09:13 → liskin joins (~liskin@xmonad/liskin)
00:09:22 → JamesMowery1 joins (~JamesMowe@ip68-228-212-232.ph.ph.cox.net)
00:09:24 → krei-se joins (~krei-se@p200300f1cf3232002411defffe902013.dip0.t-ipconnect.de)
00:09:24 → GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano)
00:09:24 → rembo10 joins (~rembo10@main.remulis.com)
00:09:24 → xff0x joins (~xff0x@2405:6580:b080:900:d598:ae0d:2d4c:9e23)
00:09:24 → eL_Bart0 joins (eL_Bart0@dietunichtguten.org)
00:09:24 → Katarushisu joins (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net)
00:09:24 → m257 joins (msa@msa.planetofnix.com)
00:09:24 → eso joins (a0662dfd5e@2a03:6000:1812:100::1266)
00:09:24 → JoelMcCracken joins (5ea8252fbb@2a03:6000:1812:100::10e3)
00:09:24 → samhh joins (7569f027cf@2a03:6000:1812:100::e4)
00:09:24 → jakzale joins (6291399afa@user/jakzale)
00:09:24 → simendsjo joins (34b0550437@2a03:6000:1812:100::1441)
00:09:24 → henrytill joins (e0180937c3@2a03:6000:1812:100::e8c)
00:09:24 → probie joins (cc0b34050a@user/probie)
00:09:24 → filwisher joins (2e6936c793@2a03:6000:1812:100::170)
00:09:24 → tjbc joins (~tjbc@user/fliife)
00:09:24 → polykernel joins (~polykerne@user/polykernel)
00:09:24 → bryanv joins (~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10)
00:09:24 → berberman joins (~berberman@user/berberman)
00:09:24 → zfnmxt joins (~zfnmxt@user/zfnmxt)
00:09:24 → sclv joins (sid39734@haskell/developer/sclv)
00:09:24 → Techcable joins (sid534393@user/Techcable)
00:09:24 → SanchayanMaity joins (sid478177@id-478177.hampstead.irccloud.com)
00:09:24 → sa1 joins (sid7690@id-7690.ilkley.irccloud.com)
00:09:24 → tuxpaint joins (~a@2600:3c06::f03c:93ff:fea6:ef0e)
00:09:24 → fired joins (la@2600:3c00::f03c:92ff:fee3:aace)
00:09:24 → barrucadu joins (~barrucadu@carcosa.barrucadu.co.uk)
00:09:24 → cjay joins (cjay@nerdbox.nerd2nerd.org)
00:09:24 → ringo_ joins (~ringo@157.230.117.128)
00:09:24 → shane joins (~shane@ana.rch.ist)
00:09:24 → tomsmeding joins (~tomsmedin@2a01:4f8:c0c:5e5e::2)
00:09:24 → chymera joins (~chymera@ns1000526.ip-51-81-46.us)
00:09:24 → ol0ck joins (~quassel@user/ol0ck)
00:09:24 → bramh joins (~bramh@user/bramh)
00:09:24 → NiKaN joins (sid385034@id-385034.helmsley.irccloud.com)
00:09:24 → Athas joins (athas@sigkill.dk)
00:09:24 → mikko joins (~mikko@user/mikko)
00:09:24 → Kamuela joins (sid111576@id-111576.tinside.irccloud.com)
00:09:24 → fr33domlover joins (~fr33domlo@towards.vision)
00:09:24 → polux joins (~polux@51-15-169-172.rev.poneytelecom.eu)
00:09:24 → ames joins (~amelia@offtopia/offtopian/amelia)
00:09:24 → stefan-__ joins (~m-yh2rcc@42dots.de)
00:09:29 → cheater joins (~Username@user/cheater)
00:09:29 → pavonia joins (~user@user/siracusa)
00:09:29 → Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
00:09:29 → op_4 joins (~tslil@user/op-4/x-9116473)
00:09:29 → JamesMowery joins (~JamesMowe@ip68-228-212-232.ph.ph.cox.net)
00:09:29 → xacktm joins (xacktm@user/xacktm)
00:09:29 → myme joins (~myme@40.51-175-185.customer.lyse.net)
00:09:29 → meooow joins (~meooow@2400:6180:100:d0::ad9:e001)
00:09:29 → Patternmaster joins (~georg@user/Patternmaster)
00:09:29 → bcksl joins (~bcksl@user/bcksl)
00:09:29 → juri_ joins (~juri@implicitcad.org)
00:09:29 → son0p joins (~ff@2800:e6:4000:d723:c181:4205:f2b1:437a)
00:09:29 → buhman joins (sid411355@user/buhman)
00:09:29 → Moyst joins (~moyst@user/moyst)
00:09:29 → Sciencentistguy joins (~sciencent@hacksoc/ordinary-member)
00:09:29 → CalimeroTeknik joins (~calimero@user/calimeroteknik)
00:09:29 → FragByte joins (~christian@user/fragbyte)
00:09:29 → leah2 joins (~leah@vuxu.org)
00:09:29 → cawfee joins (root@2001:19f0:4400:79a1::babe)
00:09:29 → taktoa[c] joins (sid282096@id-282096.tinside.irccloud.com)
00:09:29 → aspen joins (sid449115@id-449115.helmsley.irccloud.com)
00:09:29 → jonrh joins (sid5185@id-5185.ilkley.irccloud.com)
00:09:29 → ent- joins (entgod@kapsi.fi)
00:09:29 → arkeet joins (~arkeet@moriya.ca)
00:09:29 → jackdk joins (sid373013@cssa/jackdk)
00:09:29 → b20n joins (sid115913@id-115913.uxbridge.irccloud.com)
00:09:29 → dy joins (sid3438@user/dy)
00:09:29 → e-snail joins (~pete@user/e-snail)
00:09:29 → danso joins (~danso@user/danso)
00:09:29 → tolt joins (~weechat-h@li219-154.members.linode.com)
00:09:29 → systemfault joins (sid267009@about/typescript/member/systemfault)
00:09:29 → shachaf joins (~shachaf@user/shachaf)
00:09:29 → iphy joins (sid67735@user/iphy)
00:09:29 → totbwf joins (uid402332@id-402332.uxbridge.irccloud.com)
00:09:29 → energizer joins (~energizer@user/energizer)
00:09:29 → carter joins (sid14827@id-14827.helmsley.irccloud.com)
00:09:29 → lisq joins (~quassel@lis.moe)
00:09:29 → xnyhps joins (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288)
00:09:29 → stefan-_ joins (~cri@42dots.de)
00:09:33 × akspecs quits (00cc8321af@sourcehut/user/akspecs) (Max SendQ exceeded)
00:09:33 × raghavgururajan quits (ea769b8000@user/raghavgururajan) (Max SendQ exceeded)
00:09:35 × JamesMowery quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Max SendQ exceeded)
00:09:35 JamesMowery1 is now known as JamesMowery
00:09:43 × sm2n quits (ae95cb1267@user/sm2n) (Max SendQ exceeded)
00:09:44 → yegorc joins (~yegorc@user/yegorc)
00:09:44 → sprotte24 joins (~sprotte24@p200300d16f0b610055520ee12b1b427b.dip0.t-ipconnect.de)
00:09:44 → killij joins (~killij@user/killij)
00:09:44 → rvalue joins (~rvalue@user/rvalue)
00:09:44 → chamlis joins (~chamlis@user/chamlis)
00:09:44 → gentauro joins (~gentauro@user/gentauro)
00:09:44 → m5zs7k joins (aquares@web10.mydevil.net)
00:09:44 → jathan joins (~jathan@69.61.93.38)
00:09:44 → deriamis joins (nobody@172-232-162-115.ip.linodeusercontent.com)
00:09:44 → jbalint joins (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122)
00:09:44 → Flow joins (~none@gentoo/developer/flow)
00:09:44 → disconnect3d joins (~disconnec@user/disconnect3d)
00:09:44 → davl joins (~davl@207.154.228.18)
00:09:44 → distopico joins (~cerdolibr@2001:4b98:dc2:41:216:3eff:fe6c:52a1)
00:09:44 → Buliarous joins (~gypsydang@46.232.210.139)
00:09:44 → paotsaq joins (~paotsaq@127.209.37.188.rev.vodafone.pt)
00:09:44 → Igloo joins (~ian@81.2.99.210)
00:09:44 → end joins (~end@user/end/x-0094621)
00:09:44 → ByronJohnson joins (~bairyn@MAIL.DIGITALKINGDOM.ORG)
00:09:44 → dminuoso joins (~weechat@user/dminuoso)
00:09:44 → raym joins (~ray@user/raym)
00:09:44 → rncwnd joins (~quassel@2a01:4f8:221:27c6::1)
00:09:44 → hc joins (~hc@mail.hce.li)
00:09:44 → haetsal joins (~quassel@221.138.168.192)
00:09:44 → biberu joins (~biberu@user/biberu)
00:09:44 → emergence joins (emergence@vm0.max-p.me)
00:09:44 → Putonlalla joins (~Putonlall@it-cyan.it.jyu.fi)
00:09:44 → nckx joins (nckx@libera/staff/owl/nckx)
00:09:44 → shawwwn joins (sid6132@id-6132.helmsley.irccloud.com)
00:09:44 → mesaoptimizer joins (~mesa@user/PapuaHardyNet)
00:09:44 → dunj3 joins (~dunj3@2a01:239:328:1600::1)
00:09:44 → ouroboros joins (~ouroboros@user/ouroboros)
00:09:44 → acro joins (~acro@user/acro)
00:09:44 → Logio joins (em@kapsi.fi)
00:09:44 → hook54321 joins (sid149355@user/hook54321)
00:09:44 → farn__ joins (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505)
00:09:44 → jess joins (meow@libera/staff/cat/jess)
00:09:44 → orcus joins (~orcus@mail.brprice.uk)
00:09:44 → mrvdb joins (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5)
00:09:44 → c_wraith joins (~c_wraith@adjoint.us)
00:09:47 × rvalue quits (~rvalue@user/rvalue) (Max SendQ exceeded)
00:10:20 → raghavgururajan joins (ea769b8000@2a03:6000:1812:100::242)
00:10:22 → sm2n joins (ae95cb1267@2a03:6000:1812:100::109)
00:10:30 → akspecs joins (00cc8321af@2a03:6000:1812:100::11a)
00:10:35 × cptaffe quits (~cptaffe@user/cptaffe) (Excess Flood)
00:10:35 × jmcantrell quits (~weechat@user/jmcantrell) (Max SendQ exceeded)
00:10:59 → jmcantrell joins (~weechat@static-68-235-46-130.cust.tzulo.com)
00:11:07 × NiKaN quits (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 248 seconds)
00:11:19 → fantom joins (~fantom@2.219.56.221)
00:11:52 → kimiamania8 joins (~65804703@167.253.158.187)
00:11:56 → Square joins (~Square@user/square)
00:11:56 → euandreh joins (~Thunderbi@2804:d59:896c:b400:be5c:fe42:c5ff:26b3)
00:11:56 → Buliarou1 joins (~gypsydang@46.232.210.139)
00:11:56 → Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius)
00:11:56 → sand-witch joins (~m-mzmz6l@vmi833741.contaboserver.net)
00:11:56 → AlexZenon joins (~alzenon@178.34.162.44)
00:11:56 → urdh joins (~urdh@user/urdh)
00:11:56 → PHO` joins (~pho@akari.cielonegro.org)
00:11:56 → lbseale joins (~quassel@user/ep1ctetus)
00:11:56 → kritzefitz joins (~kritzefit@debian/kritzefitz)
00:11:56 → hellwolf joins (~user@ff62-a6a0-5031-3fa8-0f00-4d40-07d0-2001.sta.estpak.ee)
00:11:56 → gabiruh joins (~gabiruh@vps19177.publiccloud.com.br)
00:11:56 → adamCS joins (~adamCS@pool-71-105-181-114.nycmny.fios.verizon.net)
00:11:56 → hololeap joins (~quassel@user/hololeap)
00:11:56 → ncf joins (~n@monade.li)
00:11:56 → Fischmiep joins (~Fischmiep@user/Fischmiep)
00:11:56 → gaze__ joins (sid387101@id-387101.helmsley.irccloud.com)
00:11:56 → codedmart_ joins (~codedmart@li335-49.members.linode.com)
00:11:56 → Arsen joins (arsen@gentoo/developer/managarm.dev.Arsen)
00:11:56 → Jon joins (jon@dow.land)
00:11:56 → wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de)
00:11:56 → Adran joins (~adran@botters/adran)
00:11:56 → esph joins (~weechat@user/esph)
00:11:56 → delyan_ joins (sid523379@id-523379.hampstead.irccloud.com)
00:11:56 → barthandelous01 joins (barth@triton.blinkenshell.org)
00:11:56 → hacklschorsch joins (~flo@2a01:4f9:3a:2296::2)
00:11:56 → TimWolla joins (~timwolla@2a01:4f8:150:6153:beef::6667)
00:11:56 → Rembane joins (~Rembane@user/Rembane)
00:11:56 → Hecate joins (~mariposa@user/hecate)
00:12:10 × pavonia quits (~user@user/siracusa) (Ping timeout: 244 seconds)
00:12:18 × Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded)
00:13:52 → NiKaN joins (sid385034@id-385034.helmsley.irccloud.com)
00:14:39 → Raito_Bezarius joins (~Raito@2001:bc8:38ee:100::10)
00:15:35 → pavonia joins (~user@ip5f5bf6a9.dynamic.kabel-deutschland.de)
00:15:41 → MyNetAz joins (~MyNetAz@95.216.142.242)
00:16:09 × jmcantrell quits (~weechat@static-68-235-46-130.cust.tzulo.com) (Ping timeout: 260 seconds)
00:16:57 samhh is now known as 080AA2P0R
00:16:59 → roconnor joins (~quassel@rocq/roconnor)
00:16:59 → monochrom joins (trebla@216.138.220.146)
00:16:59 → m1dnight joins (~m1dnight@d8D861908.access.telenet.be)
00:16:59 → turlando joins (~turlando@user/turlando)
00:16:59 → sabathan joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
00:16:59 → tv joins (~tv@user/tv)
00:16:59 → EvanR joins (~EvanR@user/evanr)
00:16:59 → img joins (~img@user/img)
00:16:59 → feetwind joins (~mike@user/feetwind)
00:16:59 → preflex joins (~preflex@user/mauke/bot/preflex)
00:16:59 → myxokephale joins (~myxos@syn-065-028-251-121.res.spectrum.com)
00:16:59 → acidsys joins (~crameleon@openSUSE/member/crameleon)
00:16:59 → echoreply joins (~echoreply@45.32.163.16)
00:16:59 → saolsen joins (sid26430@id-26430.lymington.irccloud.com)
00:16:59 → mhatta joins (~mhatta@www21123ui.sakura.ne.jp)
00:16:59 → samhh joins (7569f027cf@2a03:6000:1812:100::e4)
00:16:59 → duncan joins (c6181279e3@user/meow/duncan)
00:16:59 → evanrelf joins (3addc196af@2a03:6000:1812:100::f0)
00:16:59 → bgtdsword joins (b968c1779f@user/titibandit)
00:16:59 → Ankhers joins (e99e97ef8e@2a03:6000:1812:100::2a2)
00:16:59 → fn_lumi joins (3d621153a5@2a03:6000:1812:100::df7)
00:16:59 → b0o joins (0e4a0bf4c9@2a03:6000:1812:100::1bf)
00:16:59 → sus joins (1b7af6299f@user/zeromomentum)
00:16:59 → aniketd joins (32aa4844cd@2a03:6000:1812:100::dcb)
00:16:59 → pmk joins (6afe4476a1@2a03:6000:1812:100::26d)
00:16:59 → fgaz joins (1ff9197ed6@2a03:6000:1812:100::11ea)
00:16:59 → mceresa joins (~mceresa@user/mceresa)
00:16:59 → _d0t joins (~{-d0t-}@user/-d0t-/x-7915216)
00:16:59 → mniip joins (mniip@libera/staff/mniip)
00:16:59 → Leary joins (~Leary@user/Leary/x-0910699)
00:16:59 → andreas303 joins (andreas303@is.drunk.and.ready-to.party)
00:16:59 → hammond joins (proscan@gateway04.insomnia247.nl)
00:16:59 → PotatoGim joins (sid99505@id-99505.lymington.irccloud.com)
00:16:59 → bgamari joins (~bgamari@64.223.225.174)
00:16:59 → dyniec joins (~dyniec@dybiec.info)
00:16:59 → jakesyl_____ joins (sid56879@id-56879.hampstead.irccloud.com)
00:16:59 → inedia joins (~irc@2600:3c00:e000:287::1)
00:16:59 → sefidel joins (~sefidel@user/sefidel)
00:16:59 → _koolazer joins (~koo@user/koolazer)
00:16:59 → tired- joins (~tired@user/tired)
00:16:59 → bastelfreak joins (bastelfrea@libera/staff/VoxPupuli.bastelfreak)
00:16:59 → astroanax joins (~astroanax@2001:19f0:7402:f82:5400:1ff:fec4:f7d7)
00:16:59 → lieven joins (~mal@ns2.wyrd.be)
00:16:59 → mima joins (~mmh@user/mima)
00:16:59 → drlkf joins (~drlkf@chat-1.drlkf.net)
00:16:59 → edm joins (sid147314@id-147314.hampstead.irccloud.com)
00:16:59 → SrPx joins (sid108780@id-108780.uxbridge.irccloud.com)
00:16:59 → siers joins (~ij@user/ij)
00:16:59 → hamishmack joins (sid389057@id-389057.hampstead.irccloud.com)
00:17:03 × MyNetAz quits (~MyNetAz@95.216.142.242) (Write error: Broken pipe)
00:17:31 → ChanServ joins (ChanServ@services.libera.chat)
00:17:31 erbium.libera.chat sets mode +o ChanServ
00:17:50 raghavgururajan is now known as Guest1073
00:17:51 pavonia is now known as Guest5882
00:17:57 → rvalue joins (~rvalue@user/rvalue)
00:17:57 → cptaffe joins (~cptaffe@user/cptaffe)
00:17:57 × user_ quits (~user@user/fmira) (Quit: user_)
00:18:13 × pmk quits (6afe4476a1@2a03:6000:1812:100::26d) (Max SendQ exceeded)
00:18:13 × Ankhers quits (e99e97ef8e@2a03:6000:1812:100::2a2) (Max SendQ exceeded)
00:18:13 × b0o quits (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Max SendQ exceeded)
00:18:21 → pmk joins (6afe4476a1@2a03:6000:1812:100::26d)
00:18:22 → b0o joins (0e4a0bf4c9@2a03:6000:1812:100::1bf)
00:18:23 → fmira joins (~user@user/fmira)
00:18:24 → Ankhers joins (e99e97ef8e@2a03:6000:1812:100::2a2)
00:24:03 → MyNetAz joins (~MyNetAz@95.216.142.242)
00:24:10 → litharge joins (litharge@libera/bot/litharge)
00:24:36 → ursa-major joins (114efe6c39@2a03:6000:1812:100::11f3)
00:25:02 → alfiee joins (~alfiee@user/alfiee)
00:25:23 × misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 245 seconds)
00:27:45 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
00:29:16 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds)
00:32:01 × Guest5882 quits (~user@ip5f5bf6a9.dynamic.kabel-deutschland.de) (Changing host)
00:32:01 → Guest5882 joins (~user@user/siracusa)
00:32:39 Guest5882 is now known as pavonia
00:34:45 → fp joins (~Thunderbi@87-92-155-24.rev.dnainternet.fi)
00:36:42 → j1n37- joins (~j1n37@user/j1n37)
00:37:32 × j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 265 seconds)
00:49:53 × hattckory quits (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 248 seconds)
00:50:59 → hattckory joins (~hattckory@185.107.56.164)
00:55:40 × xff0x quits (~xff0x@2405:6580:b080:900:d598:ae0d:2d4c:9e23) (Ping timeout: 252 seconds)
01:09:40 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
01:12:45 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
01:12:46 → alfiee joins (~alfiee@user/alfiee)
01:13:25 → tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
01:16:01 × fp quits (~Thunderbi@87-92-155-24.rev.dnainternet.fi) (Ping timeout: 244 seconds)
01:16:45 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds)
01:22:12 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
01:34:07 → AsherFrost joins (~AsherFros@user/asherFrost)
01:35:58 × califax quits (~califax@user/califx) (Remote host closed the connection)
01:37:59 → califax joins (~califax@user/califx)
01:43:13 × hattckory quits (~hattckory@185.107.56.164) (Ping timeout: 248 seconds)
01:43:38 → hattckory joins (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca)
01:43:50 × sprotte24 quits (~sprotte24@p200300d16f0b610055520ee12b1b427b.dip0.t-ipconnect.de) (Quit: Leaving)
01:49:32 → xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
01:54:35 × AsherFrost quits (~AsherFros@user/asherFrost) (Quit: Leaving.)
01:58:43 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds)
01:59:31 → alfiee joins (~alfiee@user/alfiee)
02:03:33 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds)
02:11:05 × synchromesh quits (~john@2406:5a00:24cf:bb00:1a4:92cb:1fbc:9b31) (Read error: Connection reset by peer)
02:11:27 → synchromesh joins (~john@2406:5a00:24cf:bb00:1a4:92cb:1fbc:9b31)
02:18:58 → jmcantrell joins (~weechat@user/jmcantrell)
02:26:51 × hsw__ quits (~hsw@2001:b030:2303:104:172:25:12:132) (Quit: Leaving)
02:30:57 → zungi joins (~tory@user/andrewchawk)
02:43:24 × synchromesh quits (~john@2406:5a00:24cf:bb00:1a4:92cb:1fbc:9b31) (Quit: WeeChat 4.1.1)
02:45:55 → alfiee joins (~alfiee@user/alfiee)
02:48:24 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds)
02:50:18 → vanishingideal joins (~vanishing@user/vanishingideal)
02:50:29 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds)
02:52:06 → k_hachig_ joins (~k_hachig@2607:fea8:351d:ef0:bc62:8427:fa06:441d)
02:53:48 × machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
02:57:06 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
02:57:21 × alp quits (~alp@2001:861:8ca0:4940:ebde:9d:e6eb:4fa) (Ping timeout: 248 seconds)
02:58:19 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds)
02:59:12 → vanishingideal joins (~vanishing@user/vanishingideal)
03:10:09 × madcabbage quits (~cabbage@207.148.176.79) (Ping timeout: 260 seconds)
03:21:40 × vicfred quits (~vicfred@user/vicfred) (Ping timeout: 252 seconds)
03:21:48 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
03:23:41 → tavare joins (~tavare@150.129.88.189)
03:23:41 × tavare quits (~tavare@150.129.88.189) (Changing host)
03:23:41 → tavare joins (~tavare@user/tavare)
03:32:20 → alfiee joins (~alfiee@user/alfiee)
03:36:39 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 245 seconds)
03:44:43 → jmcantrell joins (~weechat@user/jmcantrell)
03:46:28 × notdabs quits (~Owner@2600:6c40:4300:950:2d43:42a2:e2d9:67c9) (Read error: Connection reset by peer)
03:53:57 → madcabbage joins (~cabbage@207.148.176.79)
03:59:14 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 248 seconds)
04:04:15 × tavare quits (~tavare@user/tavare) (Remote host closed the connection)
04:06:00 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds)
04:12:00 → jmcantrell joins (~weechat@user/jmcantrell)
04:13:19 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
04:19:25 → alfiee joins (~alfiee@user/alfiee)
04:20:18 × j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer)
04:23:34 → j1n37 joins (~j1n37@user/j1n37)
04:23:49 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds)
04:26:28 → michalz joins (~michalz@185.246.207.218)
04:28:48 × califax quits (~califax@user/califx) (Remote host closed the connection)
04:29:06 → califax joins (~califax@user/califx)
04:37:39 × alanz quits (sid110616@id-110616.uxbridge.irccloud.com) (Ping timeout: 260 seconds)
04:40:12 → alanz joins (sid110616@id-110616.uxbridge.irccloud.com)
04:42:58 × aforemny_ quits (~aforemny@i59F4C54D.versanet.de) (Ping timeout: 248 seconds)
04:43:38 → aforemny joins (~aforemny@2001:9e8:6ce3:9900:15ff:e84d:5a8:8ee8)
04:50:40 × messewix quits (~jmc@user/messewix) (Ping timeout: 268 seconds)
05:04:38 → Square2 joins (~Square4@user/square)
05:05:50 → alfiee joins (~alfiee@user/alfiee)
05:07:34 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
05:09:35 × sabathan quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
05:10:14 × Square quits (~Square@user/square) (Ping timeout: 272 seconds)
05:10:17 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds)
05:11:48 × myxokephale quits (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 246 seconds)
05:13:19 → sabathan joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
05:15:18 → myxos joins (~myxos@syn-065-028-251-121.res.spectrum.com)
05:38:48 → misterfish joins (~misterfis@84.53.85.146)
05:41:12 × hgolden quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection)
05:43:40 → hgolden joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363)
05:52:34 → alfiee joins (~alfiee@user/alfiee)
05:56:36 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 246 seconds)
06:14:43 × jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2)
06:14:44 × misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 252 seconds)
06:18:38 → Guest57 joins (~Guest57@2607:ac80:406:4:c2dc:89c1:e440:686c)
06:18:49 × Guest57 quits (~Guest57@2607:ac80:406:4:c2dc:89c1:e440:686c) (Client Quit)
06:27:09 → alp joins (~alp@2001:861:8ca0:4940:4d6e:a16c:7da6:38f0)
06:28:54 → vapor joins (~vapor@2607:ac80:406:4:c2dc:89c1:e440:686c)
06:29:05 × vapor quits (~vapor@2607:ac80:406:4:c2dc:89c1:e440:686c) (Client Quit)
06:37:54 → takuan joins (~takuan@d8D86B601.access.telenet.be)
06:39:57 → alfiee joins (~alfiee@user/alfiee)
06:44:45 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 268 seconds)
07:01:29 × lbseale quits (~quassel@user/ep1ctetus) (Remote host closed the connection)
07:03:08 → lbseale joins (~quassel@user/ep1ctetus)
07:03:17 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
07:09:20 → tromp joins (~textual@2a02:a210:cba:8500:4189:9487:9abd:f78)
07:10:00 → ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207)
07:10:02 → k_hachig__ joins (~k_hachig@2607:fea8:351d:ef0:c2c:bb48:a172:9c14)
07:10:37 → Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
07:10:40 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds)
07:11:14 × k_hachig_ quits (~k_hachig@2607:fea8:351d:ef0:bc62:8427:fa06:441d) (Ping timeout: 248 seconds)
07:12:00 Lord_of_Life_ is now known as Lord_of_Life
07:16:54 × k_hachig__ quits (~k_hachig@2607:fea8:351d:ef0:c2c:bb48:a172:9c14) (Ping timeout: 272 seconds)
07:17:33 → k_hachig_ joins (~k_hachig@2607:fea8:351d:ef0:80b6:f51b:ba92:41a0)
07:17:54 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds)
07:26:23 → alfiee joins (~alfiee@user/alfiee)
07:30:34 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds)
07:32:00 × k_hachig_ quits (~k_hachig@2607:fea8:351d:ef0:80b6:f51b:ba92:41a0) (Quit: WeeChat 4.5.1)
07:33:45 → kadobanana joins (~mud@user/kadoban)
07:33:49 × mud quits (~mud@user/kadoban) (Ping timeout: 260 seconds)
07:47:42 × ft quits (~ft@p3e9bc68d.dip0.t-ipconnect.de) (Quit: leaving)
07:49:09 → chele joins (~chele@user/chele)
08:00:05 × caconym quits (~caconym@user/caconym) (Quit: bye)
08:01:38 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
08:01:39 → caconym joins (~caconym@user/caconym)
08:07:09 × weary-traveler quits (~user@user/user363627) (Remote host closed the connection)
08:11:44 → misterfish joins (~misterfis@31-161-39-137.biz.kpn.net)
08:12:46 → alfiee joins (~alfiee@user/alfiee)
08:14:25 × tromp quits (~textual@2a02:a210:cba:8500:4189:9487:9abd:f78) (Quit: My iMac has gone to sleep. ZZZzzz…)
08:17:03 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 245 seconds)
08:18:37 × ridcully quits (~ridcully@p508acb9a.dip0.t-ipconnect.de) (Quit: WeeChat 4.5.1)
08:18:54 → ridcully joins (~ridcully@p508acb9a.dip0.t-ipconnect.de)
08:25:57 → Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542)
08:31:14 × myxos quits (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 248 seconds)
08:40:52 × smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
08:43:40 → merijn joins (~merijn@77.242.116.146)
08:47:16 → Smiles joins (uid551636@id-551636.lymington.irccloud.com)
08:53:09 × takuan quits (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection)
08:58:24 → machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net)
08:59:29 → alfiee joins (~alfiee@user/alfiee)
09:03:04 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds)
09:03:49 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds)
09:05:49 → kuribas joins (~user@ptr-17d51en8rrymi53wd5o.18120a2.ip6.access.telenet.be)
09:07:54 → ephilalethes joins (~noumenon@2001:d08:1a03:d771:aa7e:eaff:fede:ff94)
09:08:10 → merijn joins (~merijn@77.242.116.146)
09:10:30 → AlexNoo_ joins (~AlexNoo@178.34.160.108)
09:13:54 × AlexNoo quits (~AlexNoo@178.34.162.44) (Ping timeout: 248 seconds)
09:14:12 → acidjnk_new joins (~acidjnk@p200300d6e7283f05ac853a078363741e.dip0.t-ipconnect.de)
09:14:42 × AlexZenon quits (~alzenon@178.34.162.44) (Ping timeout: 272 seconds)
09:15:14 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
09:19:07 → AlexZenon joins (~alzenon@178.34.160.108)
09:31:31 × ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
09:37:06 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds)
09:46:33 → alfiee joins (~alfiee@user/alfiee)
09:49:01 → merijn joins (~merijn@77.242.116.146)
09:51:12 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 276 seconds)
09:53:48 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 276 seconds)
09:58:33 → __monty__ joins (~toonn@user/toonn)
09:58:38 → tromp joins (~textual@2a02:a210:cba:8500:4189:9487:9abd:f78)
10:01:11 → noumenon joins (~noumenon@2001:d08:1a03:d771:aa7e:eaff:fede:ff94)
10:01:38 × ephilalethes quits (~noumenon@2001:d08:1a03:d771:aa7e:eaff:fede:ff94) (Read error: Connection reset by peer)
10:01:46 × noumenon quits (~noumenon@2001:d08:1a03:d771:aa7e:eaff:fede:ff94) (Client Quit)
10:02:00 → ephilalethes joins (~noumenon@2001:d08:1a03:d771:aa7e:eaff:fede:ff94)
10:04:29 → merijn joins (~merijn@77.242.116.146)
10:04:38 × poscat quits (~poscat@user/poscat) (Ping timeout: 252 seconds)
10:04:42 → lxsameer joins (~lxsameer@Serene/lxsameer)
10:04:52 → poscat0x04 joins (~poscat@user/poscat)
10:10:10 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
10:10:34 × tromp quits (~textual@2a02:a210:cba:8500:4189:9487:9abd:f78) (Quit: My iMac has gone to sleep. ZZZzzz…)
10:12:12 → tromp joins (~textual@2a02:a210:cba:8500:4189:9487:9abd:f78)
10:18:27 × s3 quits (~s3@212.225.225.72) (Changing host)
10:18:27 → s3 joins (~s3@user/bn)
10:20:25 <carbolymer> If you were writing a module exposing an API for a collection, together with IsList instance, would you expose monomorphic toList & fromList functions as well?
10:21:24 <tomsmeding> if you don't, you should probably re-export toList and fromList from IsList
10:22:03 <carbolymer> yes, def, but is it worth providing monomorphic versions of those?
10:23:43 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds)
10:23:59 <merijn> carbolymer: I mean, the main (only) use case for IsList is `OverloadedLists` in which case the instance should generally be inferred and inlining known instances is a pretty trivial optimisation I'd assume GHC gets right
10:25:43 <carbolymer> I prefer IsList over Map.fromList for example, because I can easily change the collection type and don't worry about updating imports everywhere. Why do you consider its only use case `OverloadedLists`?
10:27:05 <carbolymer> the downside is that compiler errors are not very readable with `IsList`
10:30:25 × xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
10:31:21 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 246 seconds)
10:33:17 → tabaqui1 joins (~root@87.200.129.102)
10:33:37 → alfiee joins (~alfiee@user/alfiee)
10:34:39 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
10:37:28 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 245 seconds)
10:38:18 <tomsmeding> carbolymer: I guess it comes down to which side of the debate you're on regarding "should we have 'map' in addition to 'fmap'" :)
10:38:28 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 268 seconds)
10:38:35 <carbolymer> yeah )
10:39:03 <tomsmeding> to which there's no general consensus other than that 'map' hasn't been removed yet, so do what you think is right
10:41:25 <tomsmeding> a possible argument in this debate: the more you use polymorphic typeclass methods instead of monomorphic ones (where the latter would have been possible), the less readable your code gets without HLS telling what type things have
10:41:47 <tomsmeding> how much value you ascribe to this argument depends on how acceptable you think it is to need HLS to work productively. :)
10:49:51 → merijn joins (~merijn@77.242.116.146)
10:58:29 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds)
11:00:02 → Digitteknohippie joins (~user@user/digit)
11:01:09 × Digit quits (~user@user/digit) (Ping timeout: 248 seconds)
11:07:26 → ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207)
11:12:10 → merijn joins (~merijn@77.242.116.146)
11:18:14 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds)
11:20:08 → xff0x joins (~xff0x@2405:6580:b080:900:8f8a:2c12:c1da:86b3)
11:22:42 → alfiee joins (~alfiee@user/alfiee)
11:24:02 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 248 seconds)
11:25:15 × xff0x quits (~xff0x@2405:6580:b080:900:8f8a:2c12:c1da:86b3) (Ping timeout: 246 seconds)
11:26:39 × acidjnk_new quits (~acidjnk@p200300d6e7283f05ac853a078363741e.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
11:27:00 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 246 seconds)
11:27:14 → xff0x joins (~xff0x@2405:6580:b080:900:9bc7:c2e3:e40a:e335)
11:29:06 × rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer)
11:29:36 → rvalue joins (~rvalue@user/rvalue)
11:30:25 → merijn joins (~merijn@77.242.116.146)
11:34:58 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 245 seconds)
11:38:41 × tabaqui1 quits (~root@87.200.129.102) (Quit: WeeChat 4.5.1)
11:39:09 → tabaqui1 joins (~root@87.200.129.102)
11:39:14 × tabaqui1 quits (~root@87.200.129.102) (Client Quit)
11:41:23 → merijn joins (~merijn@77.242.116.146)
11:57:07 → fp joins (~Thunderbi@2001:708:150:10::1d80)
11:58:50 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
12:00:00 → fp1 joins (~Thunderbi@2001:708:20:1406::1370)
12:01:54 × fp quits (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 272 seconds)
12:01:55 fp1 is now known as fp
12:09:06 → alfiee joins (~alfiee@user/alfiee)
12:11:30 × Digitteknohippie quits (~user@user/digit) (Ping timeout: 248 seconds)
12:13:19 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds)
12:14:04 × tromp quits (~textual@2a02:a210:cba:8500:4189:9487:9abd:f78) (Quit: My iMac has gone to sleep. ZZZzzz…)
12:15:46 → tromp joins (~textual@2a02:a210:cba:8500:4189:9487:9abd:f78)
12:16:57 → lxsameer joins (~lxsameer@Serene/lxsameer)
12:21:41 → j1n37- joins (~j1n37@user/j1n37)
12:22:52 × j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds)
12:24:56 → comerijn joins (~merijn@77.242.116.146)
12:28:06 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds)
12:31:30 × mange quits (~user@user/mange) (Quit: Zzz...)
12:48:44 × mulk quits (~mulk@p5b112753.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
12:51:31 → stef204 joins (~stef204@user/stef204)
12:53:50 × comerijn quits (~merijn@77.242.116.146) (Ping timeout: 272 seconds)
12:56:11 → alfiee joins (~alfiee@user/alfiee)
13:00:37 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds)
13:02:22 → mulk joins (~mulk@p5b112753.dip0.t-ipconnect.de)
13:06:09 → merijn joins (~merijn@77.242.116.146)
13:11:43 × stef204 quits (~stef204@user/stef204) (Quit: WeeChat 4.2.1)
13:18:35 × ethantwardy quits (user@user/ethantwardy) (Quit: WeeChat 4.4.2)
13:19:59 <yin> typechecking is useful
13:20:17 <yin> when the feedback loop is tight
13:20:22 → ethantwardy joins (user@user/ethantwardy)
13:21:40 <yin> the tighter the more useful it is, so i would say hls is very important
13:22:38 × todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
13:23:54 → todi joins (~todi@p57803331.dip0.t-ipconnect.de)
13:23:58 × ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
13:25:01 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
13:33:49 × gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer)
13:36:33 × yegorc quits (~yegorc@user/yegorc) (Ping timeout: 252 seconds)
13:38:01 → yegorc joins (~yegorc@user/yegorc)
13:39:32 → gentauro joins (~gentauro@user/gentauro)
13:43:35 → alfiee joins (~alfiee@user/alfiee)
13:46:31 × aku quits (aku@65.108.245.241) (Quit: Lost terminal)
13:46:40 → hseg joins (~gesh@46.120.20.40)
13:48:09 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds)
13:48:12 × zungi quits (~tory@user/andrewchawk) (Ping timeout: 264 seconds)
13:48:12 → aku joins (aku@65.108.245.241)
13:49:39 <hseg> Hi, I'm trying to figure out who's using a certain function in a project. It seems like this should be a solved problem, but I can't figure it out
13:50:12 × hellwolf quits (~user@ff62-a6a0-5031-3fa8-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 272 seconds)
13:50:52 → hellwolf joins (~user@458b-990e-ee80-fa8e-0f00-4d40-07d0-2001.sta.estpak.ee)
13:52:51 <haskellbridge> <Morj> I think HLS has a show-list-of-references-to-symbol function
13:54:12 → zungi joins (~tory@user/andrewchawk)
13:55:20 <hseg> OK, though setting up HLS feels like a bit of a big yak to shave rn. Might do it later today, then
13:55:24 <hseg> thanks!
13:55:36 <hseg> and yes -- https://haskell-language-server.readthedocs.io/en/latest/features.html#find-references it does have it
13:56:04 <haskellbridge> <Morj> I too would prefer if all those functions were available outside of LSP
13:56:31 <haskellbridge> <Morj> Some of them were in the prehistoric times, and then they were abandoned and bitrotted. And then HLS appeared and integrated them
13:57:01 <hseg> I'm surprised vim doesn't have some version of this built in
13:57:21 <haskellbridge> <Morj> :help cscope :D
13:57:29 <haskellbridge> <Morj> Requires an outside program still though
13:58:01 <haskellbridge> <Morj> Also it has :grep
13:59:21 <hseg> right, problem is I'm looking for usages of a function called run
14:01:01 <haskellbridge> <Morj> Haha, yeah. To this day I'm still traumatized and name my functions like 'runServer' for easier grepping. Or in rust I rarely use 'use', always fully qualify
14:01:13 × misterfish quits (~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 245 seconds)
14:01:34 <haskellbridge> <Morj> (Well also because rust-analyzer likes to crash, but that's a separate problem)
14:02:24 <hseg> I'm guessing full imports also help for this -- I hadn't realized eg expandArgsAt was from outside the project
14:03:18 <haskellbridge> <Morj> Oh yes, I'm incredibly fond of HLS's function to add an explicit import list for every import statement
14:09:31 AlexNoo_ is now known as AlexNoo
14:11:20 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
14:17:49 <ski> typechecking is also useful, when you can do it more in your head (without reflecting much over it)
14:18:59 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
14:19:31 → Digitteknohippie joins (~user@user/digit)
14:21:07 → vanishingideal joins (~vanishing@user/vanishingideal)
14:22:02 → ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207)
14:22:37 Digitteknohippie is now known as Digit
14:24:12 <hseg> ski: connection to the above?
14:27:18 <ski> perhaps it can also be helpful, to be given a chance to predict types (internalizing them more ?), and not get instant answers .. not sure
14:29:24 <ski> (reflection on what was said, before you joined, i suppose)
14:30:39 → alfiee joins (~alfiee@user/alfiee)
14:31:09 <hseg> ah ok
14:31:45 × alp quits (~alp@2001:861:8ca0:4940:4d6e:a16c:7da6:38f0) (Ping timeout: 248 seconds)
14:32:18 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
14:33:22 × ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
14:34:04 → vanishingideal joins (~vanishing@user/vanishingideal)
14:34:57 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 246 seconds)
14:35:12 → ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207)
14:36:19 × fp quits (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 252 seconds)
14:45:51 × Square2 quits (~Square4@user/square) (Ping timeout: 244 seconds)
14:48:22 → weary-traveler joins (~user@user/user363627)
15:05:54 × __monty__ quits (~toonn@user/toonn) (Ping timeout: 260 seconds)
15:06:32 → messewix joins (~jmc@user/messewix)
15:07:38 → ckoparkar joins (~user@user/ckoparkar)
15:12:04 <haskellbridge> <Liamzee> i have to say it's funny how in Rust people completely ignored the idea that typeclass abuse was a thing, and i'm actively being encouraged to write my program inside an impl
15:15:26 × raym quits (~ray@user/raym) (Read error: Connection reset by peer)
15:17:23 → alfiee joins (~alfiee@user/alfiee)
15:19:05 × infinity0 quits (~infinity0@pwned.gg) (Remote host closed the connection)
15:19:23 → infinity0 joins (~infinity0@pwned.gg)
15:20:47 → raym joins (~ray@user/raym)
15:21:48 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds)
15:22:50 → cordonbleu joins (~david@2a02:3100:65d9:4000:7384:13dc:8fe8:962d)
15:23:19 <ski> too much of bad OO tradition influence, on that aspect of culture ?
15:24:14 ← cordonbleu parts (~david@2a02:3100:65d9:4000:7384:13dc:8fe8:962d) (WeeChat 4.5.2)
15:26:08 × raym quits (~ray@user/raym) (Read error: Connection reset by peer)
15:27:56 → fp joins (~Thunderbi@2001:708:30:2b01::1:e8f)
15:31:56 → raym joins (~ray@user/raym)
15:38:18 × ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 246 seconds)
15:41:46 × ephilalethes quits (~noumenon@2001:d08:1a03:d771:aa7e:eaff:fede:ff94) (Quit: Leaving)
15:42:32 × raym quits (~ray@user/raym) (Read error: Connection reset by peer)
15:48:08 → raym joins (~ray@user/raym)
15:48:58 → __monty__ joins (~toonn@user/toonn)
15:49:46 × raym quits (~ray@user/raym) (Read error: Connection reset by peer)
15:55:06 → raym joins (~ray@user/raym)
15:58:26 <haskellbridge> <magic_rb> Liamzee type class abuse is bad for 2 reasons, performance and readability. Since they dont do implicit dictionaries like us, they dont suffer from point 1 and almost everyone uses rust analyzer which massively alleviates point 2 imo
16:04:27 → alfiee joins (~alfiee@user/alfiee)
16:08:49 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds)
16:11:08 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.1)
16:20:38 <dmoerner> new-ish to haskell, and i was wondering if there's a way to write a coprime function like this in point-free style? my first attempt (commented out) does not work https://play.haskell.org/saved/Rg8mH98X
16:23:17 → jmcantrell joins (~weechat@user/jmcantrell)
16:24:31 <mauke> ah, the classic g (f x y)
16:24:38 <mauke> @pl \x y -> g (f x y)
16:24:38 <lambdabot> (g .) . f
16:25:15 <mauke> ((g .) . f) x = (g .) (f x) = g . f x
16:25:22 <mauke> (g . f x) y = g (f x y)
16:26:13 × yegorc quits (~yegorc@user/yegorc) (Quit: Leaving)
16:26:20 × hseg quits (~gesh@46.120.20.40) (Ping timeout: 252 seconds)
16:29:38 × hattckory quits (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 248 seconds)
16:34:18 → misterfish joins (~misterfis@84.53.85.146)
16:41:34 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 260 seconds)
16:44:08 <yin> what is understood by "type class abuse"?
16:48:11 → jmcantrell joins (~weechat@user/jmcantrell)
16:48:15 <dmoerner> thanks mulk
16:48:19 <dmoerner> mauke, i mean
16:51:31 → alfiee joins (~alfiee@user/alfiee)
16:55:39 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 276 seconds)
16:55:40 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds)
16:56:29 × Googulator66 quits (~Googulato@2a01-036d-0106-14b2-c443-5a96-b49d-1dd5.pool6.digikabel.hu) (Quit: Client closed)
16:57:01 → Googulator66 joins (~Googulato@2a01-036d-0106-14b2-c443-5a96-b49d-1dd5.pool6.digikabel.hu)
16:57:03 × misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 246 seconds)
17:05:10 → alp joins (~alp@2001:861:8ca0:4940:2cdd:d6b5:858b:3d30)
17:06:13 × Googulator66 quits (~Googulato@2a01-036d-0106-14b2-c443-5a96-b49d-1dd5.pool6.digikabel.hu) (Quit: Client closed)
17:06:47 → Googulator66 joins (~Googulato@2a01:36d:106:14b2:c443:5a96:b49d:1dd5)
17:10:08 → tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
17:10:31 × zungi quits (~tory@user/andrewchawk) (Remote host closed the connection)
17:11:02 → zungi joins (~tory@user/andrewchawk)
17:14:29 × machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds)
17:14:40 → thyriaen joins (~thyriaen@2001:4bc9:1f93:3ab8:6245:cbff:fe9f:48b1)
17:15:33 × aforemny quits (~aforemny@2001:9e8:6ce3:9900:15ff:e84d:5a8:8ee8) (Ping timeout: 248 seconds)
17:16:54 → aforemny joins (~aforemny@2001:9e8:6ce9:2500:aac7:c98b:ff22:2ce3)
17:18:00 × chele quits (~chele@user/chele) (Remote host closed the connection)
17:22:52 × merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds)
17:25:38 × Googulator66 quits (~Googulato@2a01:36d:106:14b2:c443:5a96:b49d:1dd5) (Quit: Client closed)
17:25:56 → Googulator66 joins (~Googulato@2a01-036d-0106-14b2-c443-5a96-b49d-1dd5.pool6.digikabel.hu)
17:26:52 → seydar joins (~seydar@38-73-249-43.starry-inc.net)
17:28:33 → acidjnk_new joins (~acidjnk@p200300d6e7283f05ac853a078363741e.dip0.t-ipconnect.de)
17:28:50 → forell joins (~forell@user/forell)
17:31:29 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 248 seconds)
17:33:13 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
17:35:45 → sprotte24 joins (~sprotte24@p200300d16f02be0071e2e7b150ab479e.dip0.t-ipconnect.de)
17:36:35 <seydar> I'm having some trouble with a LALR grammar and I don't know who else to turn to
17:36:46 <seydar> https://mdaines.github.io/grammophone/?s=UiAtPiBSIFMgLgpSIC0+IFMgLgpTIC0+IGlkICI6IiBQIC4KUyAtPiBpZCAiOiIgLgpQIC0+IFAgaWQgLgpQIC0+IGlkIC4=
17:38:02 <seydar> It says it's not LALR, but I can't figure out why
17:39:15 → alfiee joins (~alfiee@user/alfiee)
17:40:33 → ljdarj joins (~Thunderbi@user/ljdarj)
17:42:55 → euphores joins (~SASL_euph@user/euphores)
17:43:58 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 268 seconds)
17:45:34 → ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207)
17:45:34 → myxos joins (~myxos@syn-065-028-251-121.res.spectrum.com)
17:51:22 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds)
17:52:31 × ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Quit: Lost terminal)
17:53:04 → vanishingideal joins (~vanishing@user/vanishingideal)
17:59:17 × fp quits (~Thunderbi@2001:708:30:2b01::1:e8f) (Ping timeout: 248 seconds)
17:59:41 → ss4 joins (~wootehfoo@user/wootehfoot)
18:00:48 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
18:00:49 → ephilalethes joins (~noumenon@2001:d08:1a03:d771:aa7e:eaff:fede:ff94)
18:03:08 → lxsameer joins (~lxsameer@Serene/lxsameer)
18:05:21 → julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752)
18:06:55 × seydar quits (~seydar@38-73-249-43.starry-inc.net) (Ping timeout: 252 seconds)
18:11:27 × julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection)
18:12:30 → seydar joins (~seydar@38-73-249-43.starry-inc.net)
18:18:07 <haskellbridge> <Bowuigi> No clue but that tool seems very useful. Thanks!
18:19:31 × seydar quits (~seydar@38-73-249-43.starry-inc.net) (Quit: leaving)
18:26:10 × Googulator66 quits (~Googulato@2a01-036d-0106-14b2-c443-5a96-b49d-1dd5.pool6.digikabel.hu) (Quit: Client closed)
18:26:40 → Googulator66 joins (~Googulato@2a01-036d-0106-14b2-c443-5a96-b49d-1dd5.pool6.digikabel.hu)
18:27:00 → alfiee joins (~alfiee@user/alfiee)
18:28:03 × ckoparkar quits (~user@user/ckoparkar) (Remote host closed the connection)
18:31:14 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds)
18:37:49 → tccq joins (~user@user/tccq)
18:39:22 × ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en)
18:41:22 → ezzieyguywuf joins (~Unknown@user/ezzieyguywuf)
18:45:45 → LainExperiments joins (~LainExper@user/LainExperiments)
18:48:16 → notdabs joins (~Owner@2600:6c40:4300:950:390a:bb72:8527:cff0)
18:49:20 × prasad quits (~Thunderbi@c-73-246-138-70.hsd1.in.comcast.net) (Ping timeout: 252 seconds)
18:50:12 → misterfish joins (~misterfis@84.53.85.146)
18:51:53 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds)
18:52:15 → ft joins (~ft@p3e9bc68d.dip0.t-ipconnect.de)
18:53:47 → vanishingideal joins (~vanishing@user/vanishingideal)
18:54:02 × kuribas quits (~user@ptr-17d51en8rrymi53wd5o.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
18:56:46 → LainExperiments6 joins (~LainExper@user/LainExperiments)
18:57:08 → LainExperiments7 joins (~LainExper@user/LainExperiments)
18:58:34 × notdabs quits (~Owner@2600:6c40:4300:950:390a:bb72:8527:cff0) (Remote host closed the connection)
18:58:43 × mesaoptimizer quits (~mesa@user/PapuaHardyNet) (Quit: WeeChat 4.0.4)
18:58:56 → notdabs joins (~Owner@2600:6c40:4300:950:390a:bb72:8527:cff0)
18:58:59 → mesaoptimizer joins (~mesa@user/PapuaHardyNet)
19:00:10 × LainExperiments quits (~LainExper@user/LainExperiments) (Ping timeout: 240 seconds)
19:03:04 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
19:03:10 × LainExperiments6 quits (~LainExper@user/LainExperiments) (Ping timeout: 240 seconds)
19:04:42 → machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net)
19:05:31 × ephilalethes quits (~noumenon@2001:d08:1a03:d771:aa7e:eaff:fede:ff94) (Quit: Leaving)
19:14:25 → alfiee joins (~alfiee@user/alfiee)
19:15:25 × ss4 quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
19:18:23 × vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds)
19:18:26 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds)
19:19:24 → hattckory joins (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca)
19:22:20 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
19:23:14 → LainExperiments joins (~LainExper@user/LainExperiments)
19:24:20 × thyriaen quits (~thyriaen@2001:4bc9:1f93:3ab8:6245:cbff:fe9f:48b1) (Quit: Leaving)
19:26:10 × LainExperiments7 quits (~LainExper@user/LainExperiments) (Ping timeout: 240 seconds)
19:32:24 → Googulator93 joins (~Googulato@2a01-036d-0106-14b2-c443-5a96-b49d-1dd5.pool6.digikabel.hu)
19:34:13 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds)
19:35:40 × Googulator66 quits (~Googulato@2a01-036d-0106-14b2-c443-5a96-b49d-1dd5.pool6.digikabel.hu) (Ping timeout: 240 seconds)
19:39:10 → pavonia joins (~user@user/siracusa)
19:40:39 → Anushka joins (~Anushka@101.0.62.240)
19:40:45 → target_i joins (~target_i@user/target-i/x-6023099)
19:42:43 × Anushka quits (~Anushka@101.0.62.240) (Client Quit)
19:55:19 × alp quits (~alp@2001:861:8ca0:4940:2cdd:d6b5:858b:3d30) (Remote host closed the connection)
20:00:02 × caconym quits (~caconym@user/caconym) (Quit: bye)
20:00:46 → caconym joins (~caconym@user/caconym)
20:00:49 → alfiee joins (~alfiee@user/alfiee)
20:02:03 → glguy_ joins (glguy@libera/staff/glguy)
20:02:32 × glguy quits (glguy@libera/staff/glguy) (Read error: Connection reset by peer)
20:02:36 × zungi quits (~tory@user/andrewchawk) (Ping timeout: 264 seconds)
20:04:02 <[exa]> Bowuigi: how come it reports that the grammar contains no cycle when it actually does?
20:05:34 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds)
20:07:15 <[exa]> anyway they probably got a bit confused by the stuff that the tool reports; the grammar indeed has a LALR parser but it can't be based on this grammar without a little more processing (there's right recursion, who's supposed to reduce that.)
20:07:55 → zungi joins (~tory@user/andrewchawk)
20:09:33 × feetwind quits (~mike@user/feetwind) (Ping timeout: 246 seconds)
20:09:53 <haskellbridge> <Bowuigi> Oh I just saw "this grammar is not LALR" being emmited automatically and concluded that it was useful lol
20:09:53 → feetwind joins (~mike@user/feetwind)
20:10:07 glguy_ is now known as glguy
20:12:06 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 272 seconds)
20:15:12 × hattckory quits (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca) (Ping timeout: 276 seconds)
20:20:45 × sabathan quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
20:21:25 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:24:08 → sabathan joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
20:25:59 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
20:28:36 → ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207)
20:28:39 × ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit)
20:32:02 → hattckory joins (~hattckory@bras-base-toroon4524w-grc-48-184-145-138-167.dsl.bell.ca)
20:36:48 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:41:19 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
20:43:18 → lxsameer joins (~lxsameer@Serene/lxsameer)
20:45:48 × gmg quits (~user@user/gehmehgeh) (Ping timeout: 264 seconds)
20:46:37 → gmg joins (~user@user/gehmehgeh)
20:49:33 → alfiee joins (~alfiee@user/alfiee)
20:52:12 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
20:52:23 → Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
20:53:59 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds)
20:53:59 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds)
20:56:50 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
21:07:34 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:07:42 → Digitteknohippie joins (~user@user/digit)
21:08:34 × Digit quits (~user@user/digit) (Ping timeout: 248 seconds)
21:09:13 → jmcantrell joins (~weechat@user/jmcantrell)
21:11:04 × fantom quits (~fantom@2.219.56.221) (Ping timeout: 244 seconds)
21:12:16 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
21:20:46 × machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
21:20:56 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
21:21:20 × eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (Quit: Restarting)
21:21:31 → eL_Bart0 joins (eL_Bart0@dietunichtguten.org)
21:22:27 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:23:15 × michalz quits (~michalz@185.246.207.218) (Remote host closed the connection)
21:26:11 × jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2)
21:27:03 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
21:29:48 → fp joins (~Thunderbi@hof1.kyla.fi)
21:31:43 → machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net)
21:37:17 → alfiee joins (~alfiee@user/alfiee)
21:37:48 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:38:07 → fantom joins (~fantom@2.219.56.221)
21:41:49 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds)
21:42:24 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
21:43:57 → jmcantrell joins (~weechat@user/jmcantrell)
21:44:54 × myxos quits (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 260 seconds)
21:49:02 → jle` joins (~jle`@2603:8001:3b00:11:d87a:f805:3ce4:c943)
21:49:23 <jle`> what's the actual term for the relationship between ie Semigroup and Monoid? is Monoid a subclass of Semigroup?
21:50:32 <jle`> even though it sort of goes in the reverse direction of liskov substitution
21:52:10 <jle`> maybe the only thing you can say is that Monoid is a constrained typeclass
21:52:55 <jle`> but i do see people sometimes saying ie. Num is a superclass of Fractional
21:53:11 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
21:53:22 <geekosaur> that's what the Report calls it
21:54:45 <jle`> ah. the report uses both superclass and subclass
21:54:48 <jle`> thanks
21:57:13 <jle`> so Num is a superclass of Fractional but Num a => a is a subtype of Fractional a => a
22:00:30 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
22:01:35 <dolio> That's relatively normal for building things with arrows. The left-hand side is contravariant.
22:03:11 <jle`> oh nice that makes a lot of sense
22:03:48 × zungi quits (~tory@user/andrewchawk) (Ping timeout: 264 seconds)
22:04:45 × Googulator93 quits (~Googulato@2a01-036d-0106-14b2-c443-5a96-b49d-1dd5.pool6.digikabel.hu) (Quit: Client closed)
22:05:01 → Googulator93 joins (~Googulato@2a01-036d-0106-14b2-c443-5a96-b49d-1dd5.pool6.digikabel.hu)
22:06:24 <jle`> that translates well to how (forall a. Num a => [a] -> r) -> r is a supertype of (forall a. Fractional a => [a] -> r) -> r .... because the variances line up
22:06:44 <jle`> ...i think
22:07:23 <haskellbridge> <Liamzee> why do people complain that OOP rots the mind?
22:07:57 <monochrom> I don't know, because I am not one of them.
22:08:05 <jle`> usually it's because their oop professor was mean to them
22:08:06 <haskellbridge> <Liamzee> I'm working Rust right now, building a toy tetris game, and OOP's approach to data organization seems useful
22:08:09 <monochrom> Why do you not ask those people?
22:08:34 <dolio> jle`: I think that's right, but there are to many negations for me to be really confident.
22:08:45 <monochrom> Why do people ask you what other people think?
22:09:04 <haskellbridge> <Liamzee> because it was a stray comment by a Haskeller on /r/Haskell from up to 24 months ago
22:09:24 <monochrom> Sure. So ask that particular Haskeller.
22:10:06 <monochrom> Are you like a reporter for a politics newspaper? Because only they do this meme of "he said such and such, what do you think?"
22:10:31 <monochrom> You just, trying to increase divisiveness and "controversy".
22:10:41 <monochrom> It is pretty much why this world is such a mess.
22:11:13 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
22:11:18 <monochrom> s/You just/You know/
22:11:22 <jle`> if Num is negative in forall a. Num a => [a] -> r then it'd be positive in (forall a. Num a => [a] -> r) -> r
22:11:39 <dolio> Yeah.
22:12:31 <jle`> it's still a bit weird to think of `Num` alone as positive but i guess there is no need to formalize that
22:13:06 → myxos joins (~myxos@syn-065-028-251-121.res.spectrum.com)
22:14:19 <monochrom> Wait. So consider the existential types "data N = forall a. Num a => N a" and "data F = forall a. Fractional a => F a". Which one is a subtype of which? I think F is the subtype.
22:14:39 <monochrom> If you give me an F value, I can repackage it as an N value.
22:14:45 <dolio> Yes.
22:15:01 <dolio> Existentials like that sort of have the class in positive position.
22:15:18 <jle`> yeah in the case i was talking about, F would be considered the subtype. only i use => F [a] instead of => F a
22:15:21 <monochrom> OTOH I'll admit it's flipped with "data N' = N' (forall a. Num a => a)" and the analogous F'
22:16:07 <jle`> yeah my two example types were the cps'd data N = forall a. Num a => N [a] and data F = forall a. Fractional a => F [a]
22:16:14 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
22:17:16 <jle`> so it's kind of neat when you CPS transform it you can see the Num/Fractional visually pop from negative to positive
22:17:58 <jle`> i guess you could formalize it by seeing it in terms of `forall a. NumDict a -> a`, (forall a. NumDict a -> [a] -> r) -> r, and `forall a. NumDict a`
22:19:08 <haskellbridge> <Liamzee> well, a different, more concrete question, what happened with the typeclass abuse thing, and why was it considered smelly? i.e, ad-hoc, lawless typeclasses intended to create OOP-style methods and functionality?
22:19:45 <monochrom> All abuses are smelly. Well, much worse than smelly, it's criminal.
22:19:54 <haskellbridge> <Liamzee> i mean the only obviously bad thing that springs to mind is orphan instances
22:20:00 × simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 244 seconds)
22:20:23 <monochrom> No programming language can ban all abuses.
22:20:31 → simplystuart joins (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net)
22:20:51 <haskellbridge> <Liamzee> but afaik that was in vogue a long time ago, wasn't it? then haskellers found out it was horrible and warned against it?
22:21:24 <dolio> No.
22:21:47 <dolio> It sounds like something that commonly happens when someone learns Haskell after coming from OOP.
22:22:17 <c_wraith> Orphan instances are actually supported better by tooling than they used to be. Haddock now lists orphan instances declared in a module
22:22:18 <jle`> usually when you write typeclass-polymorphic code you'd like to be able to reason with it. so with lawless typeclasses this is kind of hard. typeclasses have a lot of weight, being global and not hideable, so this can make things a bit tricky in practice
22:22:20 <dolio> Just assuming that type classes should be used like OOP.
22:22:34 <haskellbridge> <Liamzee> or a possibility if someone learns OOP after coming from Haskell
22:22:57 <c_wraith> The only real abuse of type classes I've seen is when someone wants to share names for something that there is no way to use interchangeably.
22:23:28 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
22:23:31 <monochrom> Look, even when I teach parametricity vs ad hoc, I come clean and note that although OOP formally allows ad hoc (as in, the "same" method on different types may have arbitrary differences), I note that I am scaremongering, real programmers don't normally do really arbitrary differences, actually the "different" behaviours are closely related and the differences reasonable and necessary. It's a spectrum with grey areas not just boolean black and white.
22:23:41 → alfiee joins (~alfiee@user/alfiee)
22:24:06 <monochrom> People don't have to abuse OOP. And there are tons of ways to abuse FP too.
22:24:10 <int-e> "No, `class` is not an OO class. It's more like a Java interface." [...] "No, we do not do the Java EE thing where every single structure is first defined as an interface and then a type that implements it." [...] "I'm sorry to hear that your code is a mess but it's largely because you used the wrong ideas and abstractions for this language."
22:25:07 <int-e> My perception is that this phenomenon is *old* and was never embraced by Haskell programmers except for doing crazy things often attributed to Oleg ;-).
22:25:22 <dolio> The 'problem' is some OO languages is that OO designs aren't good for certain things, but you can be forced to use the bad designs because better ones don't exist.
22:25:32 <Rembane> int-e: The tagless final goodness?
22:26:09 <dolio> And a vaguer problem is that mainstream programmer 'culture' has overpopularized the bad designs. Or did at one time.
22:26:21 <monochrom> Oh, about "like interface", am I the only one who recognize this? You have two solutions coming from two POVs to solve the same problem, that's why they feel "similar" but also "different". They solve the same problem. They are opposite approaches. It's very simple. Why is it confusing?
22:26:48 <dolio> And sometimes give strange, unrealistic examples in support of certain OO designs.
22:27:19 <int-e> monochrom: The "it's more like a Java interface" is specifically for trying to build a bridge to people with an OO background. It's not meant to be super accurate.
22:27:30 <int-e> lie-to-children territory
22:27:52 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
22:28:03 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds)
22:28:06 <monochrom> Also why do people have to speak in simpleton amoeba terms of "is like, is not like"?
22:28:23 <c_wraith> the "like a java interface" thing breaks down basically as soon as you hit something as complex as Eq, but it at least gets people looking less in the wrong direction
22:29:40 <monochrom> People have already seen C++ so "like C++ operator overloading but more organized" is the better story and gets there faster.
22:29:45 × gmg quits (~user@user/gehmehgeh) (Remote host closed the connection)
22:29:49 <haskellbridge> <Liamzee> monochrom: partially because people are trained to talk to their audience and they're making the assumption that they're talking to amoeba simpletons, or that doing so provides the best tradeoff between their ability to communicate their ideas and the respect for their audience
22:30:28 → gmg joins (~user@user/gehmehgeh)
22:30:44 <jle`> one thing i miss about writing enterprise java was saying the word Bean out loud
22:30:56 <monochrom> heh
22:31:34 <c_wraith> talk to more coffee snobs
22:31:54 × j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds)
22:32:08 <jle`> there is a decent overlap between coffee snobs and programmers
22:32:13 <jle`> so that's nice
22:32:41 → zungi joins (~tory@user/andrewchawk)
22:32:57 → j1n37 joins (~j1n37@user/j1n37)
22:33:50 <haskellbridge> <Liamzee> but afaik haskell doesn't favor using ad-hoc typeclasses does it, because the syntax is often much worse (need to write instances to multiple typeclasses is obnoxious)
22:33:57 <dolio> Careful. People will think you're on drugs or something.
22:34:09 <dolio> When you're talking about "doses" and stuff.
22:34:34 <monochrom> Oh I have already long concluded that they are on drugs.
22:34:40 <jackdk> monochrom: 'why do people have to speak in simpleton amoeba terms of "is like, is not like"?' I see it as "first you have to get a rope across the chasm': you get some idea across and then you refine the wrong idea into a less wrong idea. IME, not as many people can grok a concept from definitions up
22:36:07 <monochrom> int-e, jackdk: I am a good teacher, I do bridging all the time, and actually precisely because of that, my bridges are much clearer and have more predictive power than puny "is like".
22:37:07 <monochrom> For example, as said, either I bridge with "like C++ operator overloading" or "both Java and Haskell try to solve this same problem but they came up with different approaches because the solution has to fit with the rest of the language".
22:37:14 <jackdk> It would be cool to see you teach someday
22:37:21 <int-e> monochrom: your condescension has been noted and is totally uncalled for
22:37:57 <monochrom> OK sorry. I didn't intend it.
22:38:29 <haskellbridge> <Liamzee> so, ummm, if i were to do a more OOP-ish appproach, I guess what I'd be looking for would be to set up data modules and do import qualified as?
22:38:50 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
22:38:58 <constxd> what might u name this function?
22:39:22 <constxd> foo f x = pure (f x)
22:39:32 <constxd> wait no
22:39:45 <monochrom> I think I'll just use "pure . f"
22:40:08 <monochrom> either that, or at call sites just "pure (f x)" without making a name for it.
22:40:32 <constxd> i guess maybe this question doesn't really make sense in haskell
22:41:57 <constxd> but in a language with colored async functions (python), i have this: def foo(f, *xs): async def g(): return f(*xs); return g
22:42:03 <monochrom> jackdk: This is how I teach Haskell type classes. At the end there is also a little discussion about C++ and Java. https://www.cs.utoronto.ca/~trebla/CSCC24-latest/04-haskell-types-2.html
22:42:34 <jackdk> Liamzee: I have never found OOP to be a scalable technique. As soon as you work on two types of data, you have to make hard choices about which OOclass "owns" the method, or invent dubious nouns to hold a single function of two arguments.
22:42:49 <jackdk> Liamzee: any chance you can say more about the problem you're modelling?
22:43:08 → ljdarj1 joins (~Thunderbi@user/ljdarj)
22:43:12 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds)
22:43:39 <constxd> in haskell it doesn't matter i guess because you just apply f immediately, there's no difference
22:43:47 <constxd> and then it's literally just pure
22:44:49 <constxd> i have to defer the application of f with its arguments until the bind operation that unwraps the pure value
22:45:31 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds)
22:45:32 ljdarj1 is now known as ljdarj
22:47:41 <monochrom> In Haskell, if you use the async library (https://hackage.haskell.org/package/async), it is actually not too different from the Python version.
22:48:10 × LainExperiments quits (~LainExper@user/LainExperiments) (Ping timeout: 240 seconds)
22:49:08 × myxos quits (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 252 seconds)
22:49:41 → econo_ joins (uid147250@id-147250.tinside.irccloud.com)
22:51:30 × jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 248 seconds)
22:54:13 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
22:55:23 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
22:58:40 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
23:02:16 → peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com)
23:09:37 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:12:59 × peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
23:14:15 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
23:14:44 → alfiee joins (~alfiee@user/alfiee)
23:17:54 → LainExperiments joins (~LainExper@user/LainExperiments)
23:19:34 × alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds)
23:22:12 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
23:24:59 → merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl)
23:28:19 × merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer)
23:31:36 × fp quits (~Thunderbi@hof1.kyla.fi) (Ping timeout: 272 seconds)
23:35:25 <haskellbridge> <Liamzee> jackdk: I'm just doing a simple tetris game in Rust, turned out to have taken much longer until I went to datatypes -> functions (in this case methods) approach
23:35:48 × fmira quits (~user@user/fmira) (Remote host closed the connection)
23:36:32 → fmira joins (~user@user/fmira)
23:38:00 <haskellbridge> <Liamzee> i guess none of what i'm saying is new; people with orders of magnitude more experience than me have compared OOP vs FP approaches; OOP has very nice things about how it organizes code (I've always found FP libs to be disorganized)
23:38:28 <haskellbridge> <Liamzee> for instance, someone told me that Haskellers just tend to define datatypes anywhere instead of using specialized modules
23:39:10 <haskellbridge> <Liamzee> also, a very nice thing about playing with Rust is that it's so freaking verbose
23:39:44 × ystael quits (~ystael@user/ystael) (Ping timeout: 252 seconds)
23:40:04 <haskellbridge> <Liamzee> you know me as the guy (Inst) who likes to complain about minor syntax issues with Haskell, when Haskell is tied with Python for terseness (monad accounting cancels out FP terseness)
23:42:24 <c_wraith> python is not what I think of when I think of a terse language.
23:42:35 <c_wraith> I think of like apl or julia.
23:42:52 <haskellbridge> <Liamzee> begin end
23:43:38 <haskellbridge> <Liamzee> although obv apl wins ahead, and it's all classical chinese to me (modern Chinese has tons of digraphs, classical Chinese, the older you get, the more single character words) :)
23:43:51 <geekosaur> you want terse? mumps
23:43:55 <haskellbridge> <Liamzee> /s/wins ahead/comes out ahead/
23:44:21 <haskellbridge> <Liamzee> https://en.wikipedia.org/wiki/MUMPS
23:55:20 × ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
23:58:19 → prasad joins (~Thunderbi@c-73-246-138-70.hsd1.in.comcast.net)

All times are in UTC on 2025-03-03.