2024/07/12

2024-07-12 00:01:31 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds)
2024-07-12 00:08:50 +0200emmanuelux(~emmanuelu@user/emmanuelux)
2024-07-12 00:12:29 +0200acidjnk_new(~acidjnk@p200300d6e72cfb04bdea48a2b5d04624.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2024-07-12 00:17:23 +0200tomku(~tomku@user/tomku) (Ping timeout: 264 seconds)
2024-07-12 00:17:37 +0200tomku(~tomku@user/tomku)
2024-07-12 00:21:20 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2024-07-12 00:26:49 +0200 <nitrix> Do people target Haskell2010 or GHC2021 nowadays in their cabal?
2024-07-12 00:30:23 +0200mikess(~mikess@user/mikess) (Ping timeout: 260 seconds)
2024-07-12 00:32:32 +0200mikess(~mikess@user/mikess)
2024-07-12 00:37:15 +0200billchenchina-(~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving)
2024-07-12 00:41:05 +0200alexherbo2(~alexherbo@2a02-8440-3414-5ce3-8c75-1c54-1c60-8d6f.rev.sfr.net) (Remote host closed the connection)
2024-07-12 00:43:32 +0200Pixi(~Pixi@user/pixi) (Quit: Leaving)
2024-07-12 00:43:47 +0200mikess(~mikess@user/mikess) (Ping timeout: 264 seconds)
2024-07-12 00:46:01 +0200mikess(~mikess@user/mikess)
2024-07-12 00:47:51 +0200 <davean> yes
2024-07-12 01:02:00 +0200rvalue(~rvalue@user/rvalue) (Read error: Connection reset by peer)
2024-07-12 01:02:32 +0200rvalue(~rvalue@user/rvalue)
2024-07-12 01:03:15 +0200ft(~ft@p4fc2ab80.dip0.t-ipconnect.de)
2024-07-12 01:04:47 +0200mikess(~mikess@user/mikess) (Ping timeout: 264 seconds)
2024-07-12 01:06:55 +0200mikess(~mikess@user/mikess)
2024-07-12 01:11:20 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Ping timeout: 252 seconds)
2024-07-12 01:11:33 +0200dhil(~dhil@2001:8e0:2014:3100:9682:f5f6:8de6:9692) (Ping timeout: 268 seconds)
2024-07-12 01:13:24 +0200ystael(~ystael@user/ystael) (Ping timeout: 268 seconds)
2024-07-12 01:14:16 +0200Square2(~Square4@user/square)
2024-07-12 01:17:07 +0200Square(~Square@user/square) (Ping timeout: 246 seconds)
2024-07-12 01:19:08 +0200 <probie> Unless I've got a reason not to (e.g. I want to support a version of GHC that predates it), I go with GHC2021
2024-07-12 01:23:17 +0200puke(~puke@user/puke) (Ping timeout: 240 seconds)
2024-07-12 01:24:10 +0200 <jackdk> and GHC2021 is from 9.2, which has been around for a bit
2024-07-12 01:24:59 +0200 <c_wraith> after using it a bunch, I kind of prefer to not take GHC2021. I'd rather list most of those extensions explicitly when needed.
2024-07-12 01:33:26 +0200phma(phma@2001:5b0:211b:f1a8:481d:33c:3867:23b1) (Read error: Connection reset by peer)
2024-07-12 01:34:06 +0200phma(~phma@host-67-44-208-89.hnremote.net)
2024-07-12 01:45:31 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-07-12 01:46:20 +0200 <probie> New idea for a language; the null+ language. The only construct of the language is enabling extensions
2024-07-12 01:47:20 +0200 <davean> call with c_wraith
2024-07-12 01:47:27 +0200 <davean> *I fall
2024-07-12 01:50:44 +0200 <probie> I guess what I really want "on by default" is just multi-param type classes, rank n types, flexible instances and flexible contexts. I think of those as part of "modern Haskell"
2024-07-12 01:51:17 +0200xff0x(~xff0x@2405:6580:b080:900:9f96:9dea:14c6:fcb5) (Ping timeout: 272 seconds)
2024-07-12 01:51:21 +0200 <geekosaur> I'm reasonably sure that everyone has their own definition of "modern Haskell"
2024-07-12 01:51:51 +0200 <geekosaur> I could live with yours, aside from rank-n types; but I'd also want LambdaCase
2024-07-12 01:54:29 +0200 <probie> Actually, by the time I've picked a "common" library like mtl, I've already gone outside my "modern Haskell". Perhaps I should add fundeps to my list?
2024-07-12 01:56:10 +0200xdminsy(~xdminsy@117.147.70.227) (Quit: Konversation terminated!)
2024-07-12 01:57:48 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds)
2024-07-12 01:58:44 +0200 <jle`> i like tuple sections
2024-07-12 01:59:35 +0200 <jle`> but i think making such a list is probably not going to be too fruitful
2024-07-12 01:59:59 +0200 <jle`> ViewPatterns have been standard-ish for decades too even though it's not super common
2024-07-12 02:01:00 +0200 <probie> LambdaCase and TupleSections are not really extensions I care about in this context. They don't leak out of libraries
2024-07-12 02:03:08 +0200 <probie> If use LambdaCase or TupleSections, no-one but those actually touching my code care. If I use multi-param type classes or rank-n types, perhaps I'm scaring someone off?
2024-07-12 02:03:59 +0200xff0x(~xff0x@2405:6580:b080:900:9f96:9dea:14c6:fcb5)
2024-07-12 02:04:17 +0200glguy(g@libera/staff/glguy) (*.net *.split)
2024-07-12 02:04:17 +0200mikess(~mikess@user/mikess) (*.net *.split)
2024-07-12 02:04:17 +0200sroso(~sroso@user/SrOso) (*.net *.split)
2024-07-12 02:04:17 +0200pavonia(~user@user/siracusa) (*.net *.split)
2024-07-12 02:04:17 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (*.net *.split)
2024-07-12 02:04:17 +0200swistak(~swistak@185.21.216.141) (*.net *.split)
2024-07-12 02:04:17 +0200segfaultfizzbuzz(~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (*.net *.split)
2024-07-12 02:04:17 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (*.net *.split)
2024-07-12 02:04:17 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (*.net *.split)
2024-07-12 02:04:17 +0200fun-safe-math(~fun-safe-@24.21.106.247) (*.net *.split)
2024-07-12 02:04:17 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (*.net *.split)
2024-07-12 02:04:17 +0200mud(~mud@user/kadoban) (*.net *.split)
2024-07-12 02:04:17 +0200_0xa(~user@user/0xa/x-3134607) (*.net *.split)
2024-07-12 02:04:17 +0200sus(1b7af6299f@user/zeromomentum) (*.net *.split)
2024-07-12 02:04:18 +0200jmcantrell(644f1bed9a@user/jmcantrell) (*.net *.split)
2024-07-12 02:04:18 +0200sm(~znc@plaintextaccounting/sm) (*.net *.split)
2024-07-12 02:04:18 +0200tinwood(~tinwood@canonical/tinwood) (*.net *.split)
2024-07-12 02:04:18 +0200xerox(~edi@user/edi) (*.net *.split)
2024-07-12 02:04:18 +0200tjbc(~tjbc@user/fliife) (*.net *.split)
2024-07-12 02:04:18 +0200flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split)
2024-07-12 02:04:18 +0200catties(~catties@user/meow/catties) (*.net *.split)
2024-07-12 02:04:18 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (*.net *.split)
2024-07-12 02:04:18 +0200dumptruckman(~dumptruck@69-164-210-35.ip.linodeusercontent.com) (*.net *.split)
2024-07-12 02:04:18 +0200ursa-major(114efe6c39@2a03:6000:1812:100::11f3) (*.net *.split)
2024-07-12 02:04:18 +0200titibandit(e33ffbab65@user/titibandit) (*.net *.split)
2024-07-12 02:04:18 +0200jakzale(6291399afa@user/jakzale) (*.net *.split)
2024-07-12 02:04:18 +0200pmk_(6afe4476a1@2a03:6000:1812:100::26d) (*.net *.split)
2024-07-12 02:04:18 +0200dagi78319(~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (*.net *.split)
2024-07-12 02:04:18 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp) (*.net *.split)
2024-07-12 02:04:18 +0200TMA(tma@twin.jikos.cz) (*.net *.split)
2024-07-12 02:04:18 +0200tomboy64(~tomboy64@user/tomboy64) (*.net *.split)
2024-07-12 02:04:18 +0200She(haveident@libera/staff/she/her) (*.net *.split)
2024-07-12 02:04:19 +0200jrm(~jrm@user/jrm) (*.net *.split)
2024-07-12 02:04:19 +0200mrmonday(~robert@what.i.hope.is.not.a.tabernaevagant.es) (*.net *.split)
2024-07-12 02:04:19 +0200Teacup(~teacup@user/teacup) (*.net *.split)
2024-07-12 02:04:19 +0200jackdk(sid373013@cssa/jackdk) (*.net *.split)
2024-07-12 02:04:19 +0200systemfault(sid267009@about/typescript/member/systemfault) (*.net *.split)
2024-07-12 02:04:19 +0200taktoa[c](sid282096@id-282096.tinside.irccloud.com) (*.net *.split)
2024-07-12 02:04:19 +0200chessai(sid225296@id-225296.lymington.irccloud.com) (*.net *.split)
2024-07-12 02:04:19 +0200caasih(sid13241@id-13241.ilkley.irccloud.com) (*.net *.split)
2024-07-12 02:04:19 +0200lexi-lambda(sid92601@id-92601.hampstead.irccloud.com) (*.net *.split)
2024-07-12 02:04:19 +0200mankyKitty(sid31287@id-31287.helmsley.irccloud.com) (*.net *.split)
2024-07-12 02:04:19 +0200haasn(sid579015@id-579015.hampstead.irccloud.com) (*.net *.split)
2024-07-12 02:04:19 +0200aspen(sid449115@id-449115.helmsley.irccloud.com) (*.net *.split)
2024-07-12 02:04:19 +0200piele(~piele@tbonesteak.creativeserver.net) (*.net *.split)
2024-07-12 02:04:19 +0200lbseale(~quassel@user/ep1ctetus) (*.net *.split)
2024-07-12 02:04:19 +0200rembo10(~rembo10@main.remulis.com) (*.net *.split)
2024-07-12 02:04:19 +0200ell(~ellie@user/ellie) (*.net *.split)
2024-07-12 02:04:19 +0200dibblego(~dibblego@haskell/developer/dibblego) (*.net *.split)
2024-07-12 02:04:19 +0200vulpine(xfnw@user/meow/xfnw) (*.net *.split)
2024-07-12 02:04:19 +0200Hafydd(~Hafydd@user/hafydd) (*.net *.split)
2024-07-12 02:04:19 +0200apache2(apache2@anubis.0x90.dk) (*.net *.split)
2024-07-12 02:04:19 +0200carbolymer(~carbolyme@dropacid.net) (*.net *.split)
2024-07-12 02:04:19 +0200auri(~auri@fsf/member/auri) (*.net *.split)
2024-07-12 02:04:19 +0200Philonous(~Philonous@user/philonous) (*.net *.split)
2024-07-12 02:04:19 +0200dfordvm(~dfordivam@160.16.87.223.v6.sakura.ne.jp) (*.net *.split)
2024-07-12 02:04:19 +0200phma(~phma@host-67-44-208-89.hnremote.net) (*.net *.split)
2024-07-12 02:04:20 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (*.net *.split)
2024-07-12 02:04:20 +0200sam113101(~sam@24.157.253.231) (*.net *.split)
2024-07-12 02:04:20 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (*.net *.split)
2024-07-12 02:04:20 +0200yahb2(~yahb2@user/tomsmeding/bot/yahb2) (*.net *.split)
2024-07-12 02:04:20 +0200bliminse(~bliminse@user/bliminse) (*.net *.split)
2024-07-12 02:04:20 +0200kritzefitz(~kritzefit@debian/kritzefitz) (*.net *.split)
2024-07-12 02:04:20 +0200mauke(~mauke@user/mauke) (*.net *.split)
2024-07-12 02:04:20 +0200Batzy(~quassel@user/batzy) (*.net *.split)
2024-07-12 02:04:20 +0200peutri(~peutri@bobo.desast.re) (*.net *.split)
2024-07-12 02:04:20 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com) (*.net *.split)
2024-07-12 02:04:20 +0200krei-se(~krei-se@p5085d24b.dip0.t-ipconnect.de) (*.net *.split)
2024-07-12 02:04:20 +0200migas97(~migas@static.140.65.63.178.clients.your-server.de) (*.net *.split)
2024-07-12 02:04:20 +0200leah2(~leah@vuxu.org) (*.net *.split)
2024-07-12 02:04:20 +0200mrmr155334346(~mrmr@user/mrmr) (*.net *.split)
2024-07-12 02:04:20 +0200_xor(~xor@ip-208-102-243-175.dynamic.fuse.net) (*.net *.split)
2024-07-12 02:04:20 +0200lewisje(~lewisje@74.215.19.22) (*.net *.split)
2024-07-12 02:04:20 +0200xsarnik(xsarnik@lounge.fi.muni.cz) (*.net *.split)
2024-07-12 02:04:20 +0200raym(~ray@user/raym) (*.net *.split)
2024-07-12 02:04:21 +0200tolt(~weechat-h@li219-154.members.linode.com) (*.net *.split)
2024-07-12 02:04:21 +0200kimiamania(~65804703@user/kimiamania) (*.net *.split)
2024-07-12 02:04:21 +0200mzg(mzg@abusers.hu) (*.net *.split)
2024-07-12 02:04:21 +0200dunj3(~dunj3@kingdread.de) (*.net *.split)
2024-07-12 02:04:21 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk) (*.net *.split)
2024-07-12 02:04:21 +0200gawen(~gawen@user/gawen) (*.net *.split)
2024-07-12 02:04:21 +0200it_(~quassel@v2202212189510211193.supersrv.de) (*.net *.split)
2024-07-12 02:04:21 +0200koz(~koz@121.99.240.58) (*.net *.split)
2024-07-12 02:04:21 +0200wagle(~wagle@quassel.wagle.io) (*.net *.split)
2024-07-12 02:04:21 +0200mjacob(~mjacob@adrastea.uberspace.de) (*.net *.split)
2024-07-12 02:04:21 +0200xelxebar(~xelxebar@wilsonb.com) (*.net *.split)
2024-07-12 02:04:21 +0200paotsaq(~paotsaq@127.209.37.188.rev.vodafone.pt) (*.net *.split)
2024-07-12 02:04:21 +0200stefan-_(~cri@42dots.de) (*.net *.split)
2024-07-12 02:04:21 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius) (*.net *.split)
2024-07-12 02:04:21 +0200quintasan(~quassel@quintasan.pl) (*.net *.split)
2024-07-12 02:04:21 +0200tdammers_(~tdammers@41-138-178-143.ftth.glasoperator.nl) (*.net *.split)
2024-07-12 02:04:21 +0200lockna_(~lockna@static.139.16.130.94.clients.your-server.de) (*.net *.split)
2024-07-12 02:04:21 +0200joeyh_(~joeyh@kitenet.net) (*.net *.split)
2024-07-12 02:04:21 +0200Dykam(Dykam@dykam.nl) (*.net *.split)
2024-07-12 02:04:21 +0200vgtw(~vgtw@user/vgtw) (*.net *.split)
2024-07-12 02:04:21 +0200spider(spider@tilde.cafe) (*.net *.split)
2024-07-12 02:04:21 +0200Axman6(~Axman6@user/axman6) (*.net *.split)
2024-07-12 02:04:21 +0200Square2(~Square4@user/square) (*.net *.split)
2024-07-12 02:04:21 +0200sp1ff`(~user@c-73-11-70-111.hsd1.wa.comcast.net) (*.net *.split)
2024-07-12 02:04:22 +0200oo_miguel(~Thunderbi@78.10.207.46) (*.net *.split)
2024-07-12 02:04:22 +0200cheater(~Username@user/cheater) (*.net *.split)
2024-07-12 02:04:22 +0200JamesMowery(~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (*.net *.split)
2024-07-12 02:04:22 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com) (*.net *.split)
2024-07-12 02:04:22 +0200leeb(~leeb@tk2-243-31079.vs.sakura.ne.jp) (*.net *.split)
2024-07-12 02:04:22 +0200erisco(~erisco@d24-141-66-165.home.cgocable.net) (*.net *.split)
2024-07-12 02:04:22 +0200duncan(c6181279e3@user/meow/duncan) (*.net *.split)
2024-07-12 02:04:22 +0200Xe(~cadey@perl/impostor/xe) (*.net *.split)
2024-07-12 02:04:22 +0200opqdonut(opqdonut@pseudo.fixme.fi) (*.net *.split)
2024-07-12 02:04:22 +0200kronicmage(~kronicmag@neotame.csclub.uwaterloo.ca) (*.net *.split)
2024-07-12 02:04:22 +0200landonf(landonf@mac68k.info) (*.net *.split)
2024-07-12 02:04:22 +0200hiredman(~hiredman@frontier1.downey.family) (*.net *.split)
2024-07-12 02:04:22 +0200turlando(~turlando@user/turlando) (*.net *.split)
2024-07-12 02:04:22 +0200xacktm(xacktm@user/xacktm) (*.net *.split)
2024-07-12 02:04:22 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net) (*.net *.split)
2024-07-12 02:04:22 +0200pierrot(~pi@user/pierrot) (*.net *.split)
2024-07-12 02:04:22 +0200tt123109783(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (*.net *.split)
2024-07-12 02:04:22 +0200tabemann__(~tabemann@2600:1700:7990:24e0:bdf5:2044:ddb4:b631) (*.net *.split)
2024-07-12 02:04:22 +0200drdo(~drdo@bl5-29-74.dsl.telepac.pt) (*.net *.split)
2024-07-12 02:04:22 +0200petrichor(~znc-user@user/petrichor) (*.net *.split)
2024-07-12 02:04:23 +0200dy(sid3438@user/dy) (*.net *.split)
2024-07-12 02:04:23 +0200snek(sid280155@id-280155.lymington.irccloud.com) (*.net *.split)
2024-07-12 02:04:23 +0200rubin55(sid175221@id-175221.hampstead.irccloud.com) (*.net *.split)
2024-07-12 02:04:23 +0200PotatoGim(sid99505@id-99505.lymington.irccloud.com) (*.net *.split)
2024-07-12 02:04:23 +0200Fangs(sid141280@id-141280.hampstead.irccloud.com) (*.net *.split)
2024-07-12 02:04:23 +0200aristid(sid1599@id-1599.uxbridge.irccloud.com) (*.net *.split)
2024-07-12 02:04:23 +0200SrPx(sid108780@id-108780.uxbridge.irccloud.com) (*.net *.split)
2024-07-12 02:04:23 +0200sa(sid1055@id-1055.tinside.irccloud.com) (*.net *.split)
2024-07-12 02:04:23 +0200tok(da65c7b04b@user/tok) (*.net *.split)
2024-07-12 02:04:23 +0200davean(~davean@davean.sciesnet.net) (*.net *.split)
2024-07-12 02:04:23 +0200dostoyevsky2(~sck@user/dostoyevsky2) (*.net *.split)
2024-07-12 02:04:23 +0200earthy(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (*.net *.split)
2024-07-12 02:04:23 +0200Vq(~vq@81-231-76-8-no600.tbcn.telia.com) (*.net *.split)
2024-07-12 02:04:23 +0200df(~ben@justworks.xyz) (*.net *.split)
2024-07-12 02:04:23 +0200Aleksejs(~Aleksejs@107.170.21.106) (*.net *.split)
2024-07-12 02:04:23 +0200xnyhps(~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (*.net *.split)
2024-07-12 02:04:23 +0200adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com) (*.net *.split)
2024-07-12 02:04:23 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (*.net *.split)
2024-07-12 02:04:23 +0200siers(~ij@user/ij) (*.net *.split)
2024-07-12 02:04:23 +0200wryish(~wryish@2605:4c40:119:efa3:0:727d:19eb:1) (*.net *.split)
2024-07-12 02:04:23 +0200motherfsck(~motherfsc@user/motherfsck) (*.net *.split)
2024-07-12 02:04:23 +0200hueso(~root@user/hueso) (*.net *.split)
2024-07-12 02:04:23 +0200juri_(~juri@implicitcad.org) (*.net *.split)
2024-07-12 02:04:23 +0200ethantwardy(user@user/ethantwardy) (*.net *.split)
2024-07-12 02:04:23 +0200lockywolf(~lockywolf@public.lockywolf.net) (*.net *.split)
2024-07-12 02:04:23 +0200YuutaW(~YuutaW@mail.yuuta.moe) (*.net *.split)
2024-07-12 02:04:24 +0200arcadewise(52968ed80d@2a03:6000:1812:100::3df) (*.net *.split)
2024-07-12 02:04:24 +0200jleightcap(7bc4014b62@user/jleightcap) (*.net *.split)
2024-07-12 02:04:24 +0200whereiseveryone(206ba86c98@2a03:6000:1812:100::2e4) (*.net *.split)
2024-07-12 02:04:24 +0200zmt01(~zmt00@user/zmt00) (*.net *.split)
2024-07-12 02:04:24 +0200filwisher(2e6936c793@2a03:6000:1812:100::170) (*.net *.split)
2024-07-12 02:04:24 +0200YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (*.net *.split)
2024-07-12 02:04:24 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (*.net *.split)
2024-07-12 02:04:24 +0200remmie(~ian@tilde.team) (*.net *.split)
2024-07-12 02:04:24 +0200m5zs7k(aquares@web10.mydevil.net) (*.net *.split)
2024-07-12 02:04:24 +0200tureba(~tureba@tureba.org) (*.net *.split)
2024-07-12 02:04:24 +0200mrvdb(~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (*.net *.split)
2024-07-12 02:04:24 +0200Ekho(~Ekho@user/ekho) (*.net *.split)
2024-07-12 02:04:24 +0200nullie(~nullie@2a01:4f8:c2c:6177::1) (*.net *.split)
2024-07-12 02:04:24 +0200pie_(~pie_bnc@user/pie/x-2818909) (*.net *.split)
2024-07-12 02:04:24 +0200EvanR(~EvanR@user/evanr) (*.net *.split)
2024-07-12 02:04:24 +0200nitrix(~nitrix@user/meow/nitrix) (*.net *.split)
2024-07-12 02:04:24 +0200benjaminl(~benjaminl@user/benjaminl) (*.net *.split)
2024-07-12 02:04:24 +0200incertia(~incertia@209.122.137.252) (*.net *.split)
2024-07-12 02:04:24 +0200remexre(~remexre@user/remexre) (*.net *.split)
2024-07-12 02:04:24 +0200tv(~tv@user/tv) (*.net *.split)
2024-07-12 02:04:24 +0200cptaffe(~cptaffe@user/cptaffe) (*.net *.split)
2024-07-12 02:04:24 +0200bionade24(~quassel@2a03:4000:33:45b::1) (*.net *.split)
2024-07-12 02:04:24 +0200eL_Bart0(eL_Bart0@dietunichtguten.org) (*.net *.split)
2024-07-12 02:04:24 +0200hamishmack(sid389057@id-389057.hampstead.irccloud.com) (*.net *.split)
2024-07-12 02:04:24 +0200geekosaur(sid609282@xmonad/geekosaur) (*.net *.split)
2024-07-12 02:04:25 +0200xal(~xal@mx1.xal.systems) (*.net *.split)
2024-07-12 02:04:25 +0200c_wraith(~c_wraith@adjoint.us) (*.net *.split)
2024-07-12 02:04:25 +0200mmaruseacph2(~mihai@mihai.page) (*.net *.split)
2024-07-12 02:04:25 +0200Angelz(Angelz@user/angelz) (*.net *.split)
2024-07-12 02:04:25 +0200doyougnu(~doyougnu@syn-045-046-170-068.res.spectrum.com) (*.net *.split)
2024-07-12 02:04:25 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (*.net *.split)
2024-07-12 02:04:25 +0200deriamis_(deriamis@ec2-54-187-167-69.us-west-2.compute.amazonaws.com) (*.net *.split)
2024-07-12 02:04:25 +0200emergence(emergence@2607:5300:60:5910:dcad:beff:feef:5bc) (*.net *.split)
2024-07-12 02:04:25 +0200enikar(~enikar@user/enikar) (*.net *.split)
2024-07-12 02:04:25 +0200bryanv(~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) (*.net *.split)
2024-07-12 02:04:25 +0200meejah(~meejah@104.236.166.239) (*.net *.split)
2024-07-12 02:04:25 +0200ario(~ario@159.65.220.102) (*.net *.split)
2024-07-12 02:04:25 +0200sweater(~sweater@206.81.18.26) (*.net *.split)
2024-07-12 02:04:25 +0200aws(~alews@user/aws) (*.net *.split)
2024-07-12 02:04:46 +0200 <haskellbridge> <geekosaur> rank-n types, possibly yes. MPTC/fundeps are pretty much unavoidable and have been for at least 20 years
2024-07-12 02:06:11 +0200Pixi(~Pixi@user/pixi)
2024-07-12 02:06:25 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net)
2024-07-12 02:06:37 +0200sam113101(~sam@24.157.253.231)
2024-07-12 02:07:05 +0200Square2(~Square4@user/square)
2024-07-12 02:07:05 +0200mikess(~mikess@user/mikess)
2024-07-12 02:07:05 +0200sroso(~sroso@user/SrOso)
2024-07-12 02:07:05 +0200motherfsck(~motherfsc@user/motherfsck)
2024-07-12 02:07:05 +0200hueso(~root@user/hueso)
2024-07-12 02:07:05 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-07-12 02:07:05 +0200swistak(~swistak@185.21.216.141)
2024-07-12 02:07:05 +0200sp1ff`(~user@c-73-11-70-111.hsd1.wa.comcast.net)
2024-07-12 02:07:05 +0200oo_miguel(~Thunderbi@78.10.207.46)
2024-07-12 02:07:05 +0200juri_(~juri@implicitcad.org)
2024-07-12 02:07:05 +0200segfaultfizzbuzz(~segfaultf@23-93-79-84.fiber.dynamic.sonic.net)
2024-07-12 02:07:05 +0200cheater(~Username@user/cheater)
2024-07-12 02:07:05 +0200ethantwardy(user@user/ethantwardy)
2024-07-12 02:07:05 +0200lockywolf(~lockywolf@public.lockywolf.net)
2024-07-12 02:07:05 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-07-12 02:07:05 +0200JamesMowery(~JamesMowe@ip98-167-207-182.ph.ph.cox.net)
2024-07-12 02:07:05 +0200smalltalkman(uid545680@id-545680.hampstead.irccloud.com)
2024-07-12 02:07:05 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-07-12 02:07:05 +0200leeb(~leeb@tk2-243-31079.vs.sakura.ne.jp)
2024-07-12 02:07:05 +0200fun-safe-math(~fun-safe-@24.21.106.247)
2024-07-12 02:07:05 +0200Luj9(~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5)
2024-07-12 02:07:05 +0200mud(~mud@user/kadoban)
2024-07-12 02:07:05 +0200YuutaW(~YuutaW@mail.yuuta.moe)
2024-07-12 02:07:05 +0200erisco(~erisco@d24-141-66-165.home.cgocable.net)
2024-07-12 02:07:05 +0200duncan(c6181279e3@user/meow/duncan)
2024-07-12 02:07:05 +0200_0xa(~user@user/0xa/x-3134607)
2024-07-12 02:07:05 +0200arcadewise(52968ed80d@2a03:6000:1812:100::3df)
2024-07-12 02:07:05 +0200jleightcap(7bc4014b62@user/jleightcap)
2024-07-12 02:07:05 +0200sus(1b7af6299f@user/zeromomentum)
2024-07-12 02:07:05 +0200jmcantrell(644f1bed9a@user/jmcantrell)
2024-07-12 02:07:05 +0200whereiseveryone(206ba86c98@2a03:6000:1812:100::2e4)
2024-07-12 02:07:05 +0200Xe(~cadey@perl/impostor/xe)
2024-07-12 02:07:05 +0200zmt01(~zmt00@user/zmt00)
2024-07-12 02:07:05 +0200filwisher(2e6936c793@2a03:6000:1812:100::170)
2024-07-12 02:07:05 +0200opqdonut(opqdonut@pseudo.fixme.fi)
2024-07-12 02:07:05 +0200YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be)
2024-07-12 02:07:05 +0200kronicmage(~kronicmag@neotame.csclub.uwaterloo.ca)
2024-07-12 02:07:05 +0200landonf(landonf@mac68k.info)
2024-07-12 02:07:05 +0200hiredman(~hiredman@frontier1.downey.family)
2024-07-12 02:07:05 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-07-12 02:07:05 +0200remmie(~ian@tilde.team)
2024-07-12 02:07:05 +0200m5zs7k(aquares@web10.mydevil.net)
2024-07-12 02:07:05 +0200sm(~znc@plaintextaccounting/sm)
2024-07-12 02:07:05 +0200turlando(~turlando@user/turlando)
2024-07-12 02:07:05 +0200tinwood(~tinwood@canonical/tinwood)
2024-07-12 02:07:05 +0200tureba(~tureba@tureba.org)
2024-07-12 02:07:05 +0200mrvdb(~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5)
2024-07-12 02:07:05 +0200xacktm(xacktm@user/xacktm)
2024-07-12 02:07:05 +0200hughjfchen(~hughjfche@vmi556545.contaboserver.net)
2024-07-12 02:07:05 +0200pierrot(~pi@user/pierrot)
2024-07-12 02:07:05 +0200tt123109783(~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee)
2024-07-12 02:07:05 +0200Ekho(~Ekho@user/ekho)
2024-07-12 02:07:05 +0200nullie(~nullie@2a01:4f8:c2c:6177::1)
2024-07-12 02:07:05 +0200xerox(~edi@user/edi)
2024-07-12 02:07:05 +0200tjbc(~tjbc@user/fliife)
2024-07-12 02:07:05 +0200flukiluke(~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962)
2024-07-12 02:07:05 +0200catties(~catties@user/meow/catties)
2024-07-12 02:07:05 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2024-07-12 02:07:05 +0200dumptruckman(~dumptruck@69-164-210-35.ip.linodeusercontent.com)
2024-07-12 02:07:05 +0200ursa-major(114efe6c39@2a03:6000:1812:100::11f3)
2024-07-12 02:07:05 +0200jakzale(6291399afa@user/jakzale)
2024-07-12 02:07:05 +0200titibandit(e33ffbab65@user/titibandit)
2024-07-12 02:07:05 +0200pmk_(6afe4476a1@2a03:6000:1812:100::26d)
2024-07-12 02:07:05 +0200dagi78319(~dagit@2001:558:6025:38:71c6:9d58:7252:8976)
2024-07-12 02:07:05 +0200mhatta(~mhatta@www21123ui.sakura.ne.jp)
2024-07-12 02:07:05 +0200TMA(tma@twin.jikos.cz)
2024-07-12 02:07:05 +0200tomboy64(~tomboy64@user/tomboy64)
2024-07-12 02:07:05 +0200pie_(~pie_bnc@user/pie/x-2818909)
2024-07-12 02:07:05 +0200EvanR(~EvanR@user/evanr)
2024-07-12 02:07:05 +0200nitrix(~nitrix@user/meow/nitrix)
2024-07-12 02:07:05 +0200benjaminl(~benjaminl@user/benjaminl)
2024-07-12 02:07:05 +0200tabemann__(~tabemann@2600:1700:7990:24e0:bdf5:2044:ddb4:b631)
2024-07-12 02:07:05 +0200incertia(~incertia@209.122.137.252)
2024-07-12 02:07:05 +0200remexre(~remexre@user/remexre)
2024-07-12 02:07:05 +0200glguy(g@libera/staff/glguy)
2024-07-12 02:07:05 +0200tv(~tv@user/tv)
2024-07-12 02:07:05 +0200drdo(~drdo@bl5-29-74.dsl.telepac.pt)
2024-07-12 02:07:05 +0200She(haveident@libera/staff/she/her)
2024-07-12 02:07:05 +0200petrichor(~znc-user@user/petrichor)
2024-07-12 02:07:05 +0200cptaffe(~cptaffe@user/cptaffe)
2024-07-12 02:07:05 +0200jrm(~jrm@user/jrm)
2024-07-12 02:07:05 +0200bionade24(~quassel@2a03:4000:33:45b::1)
2024-07-12 02:07:05 +0200mrmonday(~robert@what.i.hope.is.not.a.tabernaevagant.es)
2024-07-12 02:07:05 +0200Teacup(~teacup@user/teacup)
2024-07-12 02:07:05 +0200eL_Bart0(eL_Bart0@dietunichtguten.org)
2024-07-12 02:07:05 +0200geekosaur(sid609282@xmonad/geekosaur)
2024-07-12 02:07:05 +0200hamishmack(sid389057@id-389057.hampstead.irccloud.com)
2024-07-12 02:07:05 +0200jackdk(sid373013@cssa/jackdk)
2024-07-12 02:07:05 +0200systemfault(sid267009@about/typescript/member/systemfault)
2024-07-12 02:07:05 +0200taktoa[c](sid282096@id-282096.tinside.irccloud.com)
2024-07-12 02:07:05 +0200chessai(sid225296@id-225296.lymington.irccloud.com)
2024-07-12 02:07:05 +0200SrPx(sid108780@id-108780.uxbridge.irccloud.com)
2024-07-12 02:07:05 +0200caasih(sid13241@id-13241.ilkley.irccloud.com)
2024-07-12 02:07:05 +0200lexi-lambda(sid92601@id-92601.hampstead.irccloud.com)
2024-07-12 02:07:05 +0200PotatoGim(sid99505@id-99505.lymington.irccloud.com)
2024-07-12 02:07:05 +0200dy(sid3438@user/dy)
2024-07-12 02:07:05 +0200snek(sid280155@id-280155.lymington.irccloud.com)
2024-07-12 02:07:05 +0200mankyKitty(sid31287@id-31287.helmsley.irccloud.com)
2024-07-12 02:07:05 +0200rubin55(sid175221@id-175221.hampstead.irccloud.com)
2024-07-12 02:07:05 +0200sa(sid1055@id-1055.tinside.irccloud.com)
2024-07-12 02:07:05 +0200Fangs(sid141280@id-141280.hampstead.irccloud.com)
2024-07-12 02:07:05 +0200aristid(sid1599@id-1599.uxbridge.irccloud.com)
2024-07-12 02:07:05 +0200haasn(sid579015@id-579015.hampstead.irccloud.com)
2024-07-12 02:07:05 +0200aspen(sid449115@id-449115.helmsley.irccloud.com)
2024-07-12 02:07:05 +0200xal(~xal@mx1.xal.systems)
2024-07-12 02:07:05 +0200piele(~piele@tbonesteak.creativeserver.net)
2024-07-12 02:07:05 +0200lbseale(~quassel@user/ep1ctetus)
2024-07-12 02:07:05 +0200tok(da65c7b04b@user/tok)
2024-07-12 02:07:05 +0200davean(~davean@davean.sciesnet.net)
2024-07-12 02:07:05 +0200c_wraith(~c_wraith@adjoint.us)
2024-07-12 02:07:05 +0200mmaruseacph2(~mihai@mihai.page)
2024-07-12 02:07:05 +0200Angelz(Angelz@user/angelz)
2024-07-12 02:07:05 +0200doyougnu(~doyougnu@syn-045-046-170-068.res.spectrum.com)
2024-07-12 02:07:05 +0200Axman6(~Axman6@user/axman6)
2024-07-12 02:07:05 +0200dostoyevsky2(~sck@user/dostoyevsky2)
2024-07-12 02:07:05 +0200rembo10(~rembo10@main.remulis.com)
2024-07-12 02:07:05 +0200ell(~ellie@user/ellie)
2024-07-12 02:07:05 +0200dibblego(~dibblego@haskell/developer/dibblego)
2024-07-12 02:07:05 +0200vulpine(xfnw@user/meow/xfnw)
2024-07-12 02:07:05 +0200earthy(~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net)
2024-07-12 02:07:05 +0200Hafydd(~Hafydd@user/hafydd)
2024-07-12 02:07:05 +0200apache2(apache2@anubis.0x90.dk)
2024-07-12 02:07:05 +0200carbolymer(~carbolyme@dropacid.net)
2024-07-12 02:07:05 +0200Vq(~vq@81-231-76-8-no600.tbcn.telia.com)
2024-07-12 02:07:05 +0200auri(~auri@fsf/member/auri)
2024-07-12 02:07:05 +0200Philonous(~Philonous@user/philonous)
2024-07-12 02:07:05 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2024-07-12 02:07:05 +0200dfordvm(~dfordivam@160.16.87.223.v6.sakura.ne.jp)
2024-07-12 02:07:05 +0200df(~ben@justworks.xyz)
2024-07-12 02:07:05 +0200Aleksejs(~Aleksejs@107.170.21.106)
2024-07-12 02:07:05 +0200deriamis_(deriamis@ec2-54-187-167-69.us-west-2.compute.amazonaws.com)
2024-07-12 02:07:05 +0200xnyhps(~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288)
2024-07-12 02:07:05 +0200emergence(emergence@2607:5300:60:5910:dcad:beff:feef:5bc)
2024-07-12 02:07:05 +0200wryish(~wryish@2605:4c40:119:efa3:0:727d:19eb:1)
2024-07-12 02:07:05 +0200siers(~ij@user/ij)
2024-07-12 02:07:05 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com)
2024-07-12 02:07:05 +0200adamCS(~adamCS@ec2-34-207-160-255.compute-1.amazonaws.com)
2024-07-12 02:07:05 +0200enikar(~enikar@user/enikar)
2024-07-12 02:07:05 +0200bryanv(~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10)
2024-07-12 02:07:05 +0200aws(~alews@user/aws)
2024-07-12 02:07:05 +0200sweater(~sweater@206.81.18.26)
2024-07-12 02:07:05 +0200ario(~ario@159.65.220.102)
2024-07-12 02:07:05 +0200meejah(~meejah@104.236.166.239)
2024-07-12 02:07:07 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection)
2024-07-12 02:07:48 +0200pavonia(~user@user/siracusa)
2024-07-12 02:07:50 +0200haskellbridge(~hackager@syn-024-093-192-219.res.spectrum.com)
2024-07-12 02:07:50 +0200ChanServ+v haskellbridge
2024-07-12 02:07:55 +0200Ekho(~Ekho@user/ekho) (Max SendQ exceeded)
2024-07-12 02:07:55 +0200m5zs7k(aquares@web10.mydevil.net) (Max SendQ exceeded)
2024-07-12 02:08:13 +0200m5zs7k(aquares@web10.mydevil.net)
2024-07-12 02:09:03 +0200phma(~phma@host-67-44-208-89.hnremote.net)
2024-07-12 02:09:49 +0200029ABLN24(~phma@host-67-44-208-89.hnremote.net)
2024-07-12 02:09:49 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
2024-07-12 02:09:49 +0200yahb2(~yahb2@user/tomsmeding/bot/yahb2)
2024-07-12 02:09:49 +0200bliminse(~bliminse@user/bliminse)
2024-07-12 02:09:49 +0200kritzefitz(~kritzefit@debian/kritzefitz)
2024-07-12 02:09:49 +0200mauke(~mauke@user/mauke)
2024-07-12 02:09:49 +0200Batzy(~quassel@user/batzy)
2024-07-12 02:09:49 +0200peutri(~peutri@bobo.desast.re)
2024-07-12 02:09:49 +0200myxos(~myxos@syn-065-028-251-121.res.spectrum.com)
2024-07-12 02:09:49 +0200krei-se(~krei-se@p5085d24b.dip0.t-ipconnect.de)
2024-07-12 02:09:49 +0200migas97(~migas@static.140.65.63.178.clients.your-server.de)
2024-07-12 02:09:49 +0200leah2(~leah@vuxu.org)
2024-07-12 02:09:49 +0200mrmr155334346(~mrmr@user/mrmr)
2024-07-12 02:09:49 +0200_xor(~xor@ip-208-102-243-175.dynamic.fuse.net)
2024-07-12 02:09:49 +0200lewisje(~lewisje@74.215.19.22)
2024-07-12 02:09:49 +0200xsarnik(xsarnik@lounge.fi.muni.cz)
2024-07-12 02:09:49 +0200raym(~ray@user/raym)
2024-07-12 02:09:49 +0200tolt(~weechat-h@li219-154.members.linode.com)
2024-07-12 02:09:49 +0200kimiamania(~65804703@user/kimiamania)
2024-07-12 02:09:49 +0200mzg(mzg@abusers.hu)
2024-07-12 02:09:49 +0200dunj3(~dunj3@kingdread.de)
2024-07-12 02:09:49 +0200gabriel_sevecek(~gabriel@188-167-229-200.dynamic.chello.sk)
2024-07-12 02:09:49 +0200gawen(~gawen@user/gawen)
2024-07-12 02:09:49 +0200it_(~quassel@v2202212189510211193.supersrv.de)
2024-07-12 02:09:49 +0200koz(~koz@121.99.240.58)
2024-07-12 02:09:49 +0200wagle(~wagle@quassel.wagle.io)
2024-07-12 02:09:49 +0200mjacob(~mjacob@adrastea.uberspace.de)
2024-07-12 02:09:49 +0200xelxebar(~xelxebar@wilsonb.com)
2024-07-12 02:09:49 +0200paotsaq(~paotsaq@127.209.37.188.rev.vodafone.pt)
2024-07-12 02:09:49 +0200stefan-_(~cri@42dots.de)
2024-07-12 02:09:49 +0200Raito_Bezarius(~Raito@wireguard/tunneler/raito-bezarius)
2024-07-12 02:09:49 +0200quintasan(~quassel@quintasan.pl)
2024-07-12 02:09:49 +0200tdammers_(~tdammers@41-138-178-143.ftth.glasoperator.nl)
2024-07-12 02:09:49 +0200lockna_(~lockna@static.139.16.130.94.clients.your-server.de)
2024-07-12 02:09:49 +0200joeyh_(~joeyh@kitenet.net)
2024-07-12 02:09:49 +0200Dykam(Dykam@dykam.nl)
2024-07-12 02:09:49 +0200vgtw(~vgtw@user/vgtw)
2024-07-12 02:09:49 +0200spider(spider@tilde.cafe)
2024-07-12 02:09:49 +0200iridium.libera.chat+v yahb2
2024-07-12 02:09:52 +0200eviltwin_b(~eviltwin_@xmonad/geekosaur)
2024-07-12 02:10:32 +0200eviltwin_b(~eviltwin_@xmonad/geekosaur) (Client Quit)
2024-07-12 02:11:11 +0200sa(sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 262 seconds)
2024-07-12 02:11:15 +0200 <geekosaur> (dunn if this survived the netsplit) rank-n types, possibly yes. MPTC/fundeps are pretty much unavoidable and have been for at least 20 years
2024-07-12 02:12:50 +0200sa(sid1055@id-1055.tinside.irccloud.com)
2024-07-12 02:15:35 +0200029ABLN24(~phma@host-67-44-208-89.hnremote.net) (Ping timeout: 250 seconds)
2024-07-12 02:18:59 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-07-12 02:20:45 +0200Ekho(~Ekho@user/ekho)
2024-07-12 02:23:21 +0200zhuberty(~zhuberty@user/zhuberty)
2024-07-12 02:27:01 +0200foul_owl(~kerry@185.219.141.162) (Ping timeout: 256 seconds)
2024-07-12 02:41:16 +0200foul_owl(~kerry@174-21-147-232.tukw.qwest.net)
2024-07-12 02:44:27 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-12 02:45:26 +0200 <davean> I like lambdacase but its DEFINATELY an extension, not fixing a problem.
2024-07-12 02:48:17 +0200poscat0x04(~poscat@user/poscat)
2024-07-12 02:48:22 +0200poscat(~poscat@user/poscat) (Ping timeout: 268 seconds)
2024-07-12 02:55:58 +0200ryanbooker(uid4340@id-4340.hampstead.irccloud.com)
2024-07-12 03:00:30 +0200xff0x(~xff0x@2405:6580:b080:900:9f96:9dea:14c6:fcb5) (Ping timeout: 256 seconds)
2024-07-12 03:06:46 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2024-07-12 03:07:07 +0200xff0x(~xff0x@2405:6580:b080:900:cb48:b50f:16dd:ff64)
2024-07-12 03:15:49 +0200Pozyomka(~pyon@user/pyon) (Quit: brb)
2024-07-12 03:23:57 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2024-07-12 03:32:28 +0200jpyamamoto(~jpyamamot@user/jpyamamoto)
2024-07-12 03:43:58 +0200Inst(~Inst@user/Inst) (Remote host closed the connection)
2024-07-12 03:44:23 +0200Inst(~Inst@user/Inst)
2024-07-12 03:50:06 +0200aforemny(~aforemny@2001:9e8:6ce2:b100:2ae8:9df1:3efc:f7d5)
2024-07-12 03:51:37 +0200aforemny_(~aforemny@i59F516D8.versanet.de) (Ping timeout: 272 seconds)
2024-07-12 03:55:16 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2024-07-12 04:10:55 +0200 <monochrom> I don't have my idea of "modern haskell", but I have my idea of "not-annoying haskell", and it includes LambdaCase, BlockArguments, ScopedTypeVariables. :)
2024-07-12 04:11:25 +0200 <bsima> +1
2024-07-12 04:14:05 +0200xff0x(~xff0x@2405:6580:b080:900:cb48:b50f:16dd:ff64) (Ping timeout: 240 seconds)
2024-07-12 04:16:08 +0200Pozyomka(~pyon@user/pyon)
2024-07-12 04:22:36 +0200jpyamamoto(~jpyamamot@user/jpyamamoto) (Remote host closed the connection)
2024-07-12 04:29:53 +0200td_(~td@i5387092C.versanet.de) (Ping timeout: 252 seconds)
2024-07-12 04:31:28 +0200td_(~td@i53870910.versanet.de)
2024-07-12 04:31:58 +0200 <yin> fyi TupleSections and ScopedTypeVariables are part of GHC2021+ and LambdaCase is part of GHC2024
2024-07-12 04:32:13 +0200 <yin> https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/control.html#extension-GHC2024
2024-07-12 04:48:59 +0200troydm(~troydm@user/troydm)
2024-07-12 04:54:59 +0200 <davean> ScopedTypeVariables is part of non-broken Haskell.
2024-07-12 04:55:22 +0200 <davean> I'd argue TupleSections is too, because it removes the one special case. That said, I'm less sure of that one.
2024-07-12 05:01:04 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-07-12 05:19:56 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds)
2024-07-12 05:21:39 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-07-12 05:26:51 +0200aforemny_(~aforemny@2001:9e8:6ceb:9800:f0b2:9010:cc:b689)
2024-07-12 05:28:07 +0200aforemny(~aforemny@2001:9e8:6ce2:b100:2ae8:9df1:3efc:f7d5) (Ping timeout: 260 seconds)
2024-07-12 05:33:20 +0200dfg(~dfg@user/dfg) (Server closed connection)
2024-07-12 05:33:35 +0200dfg(~dfg@user/dfg)
2024-07-12 05:33:55 +0200 <mauke> :t (, "f", ,)
2024-07-12 05:33:56 +0200 <lambdabot> t1 -> t2 -> t3 -> (t1, [Char], t2, t3)
2024-07-12 05:36:58 +0200yingasps
2024-07-12 05:38:09 +0200segfaultfizzbuzz(~segfaultf@23-93-79-84.fiber.dynamic.sonic.net) (Remote host closed the connection)
2024-07-12 05:40:43 +0200troydm(~troydm@user/troydm) (Ping timeout: 268 seconds)
2024-07-12 05:41:41 +0200 <jle`> i have been rethinking tuple sections a bit lately. a lot of modern languages allow trailing commas in these sort of things, but tuplesections make this impossible
2024-07-12 05:42:05 +0200 <jle`> after programming in different languages for a while it seems like trailing commas is sort of a modern given
2024-07-12 05:42:39 +0200 <mauke> :t [, "f", ,]
2024-07-12 05:42:40 +0200 <lambdabot> error: parse error on input ‘,’
2024-07-12 05:44:04 +0200 <dibblego> @type \p -> over p . cons
2024-07-12 05:44:05 +0200 <lambdabot> Cons b b a a => ASetter s t b b -> a -> s -> t
2024-07-12 05:44:51 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-07-12 05:49:35 +0200 <dolio> It sounds very modern to cache in a nice feature to instead have a mediocre solution to non-problems created by bad tools. :þ
2024-07-12 05:49:45 +0200 <dolio> Cash in, I guess.
2024-07-12 05:50:56 +0200ryanbooker(uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2024-07-12 05:53:19 +0200poscat0x04(~poscat@user/poscat) (Ping timeout: 260 seconds)
2024-07-12 05:55:39 +0200poscat(~poscat@user/poscat)
2024-07-12 05:57:25 +0200 <monochrom> I am more extreme. I want both leading commas and trailing commas! [, 1, 2, 3,]. But I get your point, my desire is only driven by bad tools.
2024-07-12 05:58:45 +0200 <yin> i want no commas
2024-07-12 05:58:49 +0200 <yin> lisp <3
2024-07-12 05:59:33 +0200 <monochrom> :(
2024-07-12 05:59:35 +0200 <monochrom> :D
2024-07-12 06:06:41 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds)
2024-07-12 06:07:30 +0200 <haskellbridge> <maerwald> Get out
2024-07-12 06:08:59 +0200Fijxu(~Fijxu@user/fijxu) (Server closed connection)
2024-07-12 06:09:38 +0200Fijxu(~Fijxu@user/fijxu)
2024-07-12 06:10:11 +0200 <probie> monochrom: Clojure has leading and trailing commas and commas wherever else you want them because they're just treated as whitespace characters. It's also the same for GraphQL (albeit it's not a programming language)
2024-07-12 06:13:11 +0200 <haskellbridge> <maerwald> Clojure is trash
2024-07-12 06:14:36 +0200rosco(~rosco@175.136.155.137)
2024-07-12 06:17:58 +0200 <probie> I'm not exactly going to go out of my way to write Clojure, but it's certainly not at the bottom of my hierarchy of tolerable languages. All other things being equal, I'd take it over JavaScript (although probably not TypeScript)
2024-07-12 06:27:34 +0200YoungFrog(~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in)
2024-07-12 06:27:55 +0200YoungFrog(~youngfrog@2a02:a03f:c9db:fc00:e986:8b08:7baa:1e2a)
2024-07-12 06:30:52 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out)
2024-07-12 06:31:46 +0200yin(~yin@user/zero) (Ping timeout: 246 seconds)
2024-07-12 06:33:38 +0200meritamen(~user@user/meritamen)
2024-07-12 06:34:20 +0200meritamen(~user@user/meritamen) (Remote host closed the connection)