IRCBrowse

2023/10/04

2023-10-04 00:03:57 +0200wroathe(~wroathe@user/wroathe)
2023-10-04 00:04:25 +0200wroathe(~wroathe@user/wroathe) (Client Quit)
2023-10-04 00:04:34 +0200wroathe(~wroathe@user/wroathe)
2023-10-04 00:14:03 +0200migas5(~migas@astra4961.startdedicated.net)
2023-10-04 00:14:54 +0200migas(~migas@astra4961.startdedicated.net) (Read error: Connection reset by peer)
2023-10-04 00:14:54 +0200migas5migas
2023-10-04 00:16:46 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds)
2023-10-04 00:17:06 +0200puke(~puke@user/puke) (Quit: puke)
2023-10-04 00:20:07 +0200puke(~puke@user/puke)
2023-10-04 00:22:17 +0200stites(~stites@2607:fb91:dca:1fe3:e61a:30b8:bd10:dac3) (Read error: Connection reset by peer)
2023-10-04 00:22:41 +0200stites(~stites@130.44.147.204)
2023-10-04 00:25:24 +0200hugo(znc@verdigris.lysator.liu.se)
2023-10-04 00:28:03 +0200cpressey(~cpressey@host-89-240-119-146.as13285.net) (Ping timeout: 245 seconds)
2023-10-04 00:38:21 +0200jackhillKM4MBG
2023-10-04 00:39:32 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-10-04 00:40:28 +0200Pickchea(~private@user/pickchea) (Quit: Leaving)
2023-10-04 00:42:39 +0200hyiltiz(~hyiltiz@2620:149:13d1::4) (Ping timeout: 240 seconds)
2023-10-04 00:46:39 +0200jabuxas(~jabuxas@user/jabuxas)
2023-10-04 00:46:43 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-10-04 00:55:40 +0200hiredman(~hiredman@frontier1.downey.family) (Ping timeout: 255 seconds)
2023-10-04 00:56:55 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds)
2023-10-04 00:59:40 +0200euleritian(~euleritia@p200300d40f0c650004a69dafb9cda176.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2023-10-04 01:02:35 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 255 seconds)
2023-10-04 01:08:11 +0200xff0x(~xff0x@ai101218.d.east.v6connect.net)
2023-10-04 01:08:37 +0200hyiltiz(~hyiltiz@2620:149:13d1::4)
2023-10-04 01:13:09 +0200Square3(~Square4@user/square)
2023-10-04 01:16:06 +0200Square2(~Square4@user/square) (Ping timeout: 272 seconds)
2023-10-04 01:18:52 +0200Square3Square
2023-10-04 01:20:39 +0200Sgeo(~Sgeo@user/sgeo)
2023-10-04 01:21:14 +0200Square2(~Square@user/square)
2023-10-04 01:21:50 +0200alphacentauri(alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.0.5)
2023-10-04 01:23:48 +0200Square(~Square4@user/square) (Ping timeout: 258 seconds)
2023-10-04 01:24:12 +0200alphacentauri(alphacenta@gateway/vpn/protonvpn/alphacentauri)
2023-10-04 01:29:06 +0200hyiltiz(~hyiltiz@2620:149:13d1::4) (Ping timeout: 260 seconds)
2023-10-04 01:35:20 +0200stites(~stites@130.44.147.204) (Ping timeout: 255 seconds)
2023-10-04 01:35:45 +0200stites(~stites@2607:fb91:dca:1fe3:e61a:30b8:bd10:dac3)
2023-10-04 01:37:20 +0200hiredman(~hiredman@frontier1.downey.family)
2023-10-04 01:41:35 +0200thegeekinside(~thegeekin@189.217.90.224)
2023-10-04 01:44:30 +0200prite(~pritam@user/pritambaral) (Ping timeout: 258 seconds)
2023-10-04 01:44:35 +0200jinsun_(~jinsun@user/jinsun)
2023-10-04 01:44:35 +0200jinsunGuest2176
2023-10-04 01:44:35 +0200Guest2176(~jinsun@user/jinsun) (Killed (lead.libera.chat (Nickname regained by services)))
2023-10-04 01:44:35 +0200jinsun_jinsun
2023-10-04 01:46:37 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2023-10-04 01:46:56 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2023-10-04 01:58:22 +0200stites(~stites@2607:fb91:dca:1fe3:e61a:30b8:bd10:dac3) (Read error: Connection reset by peer)
2023-10-04 01:58:42 +0200stites(~stites@130.44.147.204)
2023-10-04 02:01:07 +0200califax(~califax@user/califx) (Remote host closed the connection)
2023-10-04 02:01:32 +0200califax(~califax@user/califx)
2023-10-04 02:01:42 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2023-10-04 02:02:07 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2023-10-04 02:03:41 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.)
2023-10-04 02:03:43 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2023-10-04 02:03:56 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2023-10-04 02:04:37 +0200migas(~migas@astra4961.startdedicated.net) (Quit: Ping timeout (120 seconds))
2023-10-04 02:04:53 +0200migas(~migas@astra4961.startdedicated.net)
2023-10-04 02:06:10 +0200masterbuilder(~masterbui@user/masterbuilder) (Ping timeout: 255 seconds)
2023-10-04 02:08:57 +0200jabuxas(~jabuxas@user/jabuxas) (Remote host closed the connection)
2023-10-04 02:09:07 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2023-10-04 02:10:31 +0200gmg(~user@user/gehmehgeh)
2023-10-04 02:13:10 +0200mvk(~mvk@2607:fea8:5c9a:a600::a27d)
2023-10-04 02:13:43 +0200mvk(~mvk@2607:fea8:5c9a:a600::a27d) (Client Quit)
2023-10-04 02:14:42 +0200Maxdamantus(~Maxdamant@user/maxdamantus) (Ping timeout: 260 seconds)
2023-10-04 02:15:25 +0200Maxdamantus(~Maxdamant@user/maxdamantus)
2023-10-04 02:19:10 +0200meinside(uid24933@id-24933.helmsley.irccloud.com)
2023-10-04 02:29:43 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-10-04 02:29:43 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-10-04 02:29:43 +0200wroathe(~wroathe@user/wroathe)
2023-10-04 02:31:55 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2023-10-04 02:42:10 +0200Square2(~Square@user/square) (Ping timeout: 255 seconds)
2023-10-04 02:42:14 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 272 seconds)
2023-10-04 02:42:45 +0200arahael(~arahael@1.145.13.97)
2023-10-04 02:47:03 +0200dsrt^(~cd@76.145.193.217)
2023-10-04 02:47:16 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2023-10-04 02:48:29 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2023-10-04 02:48:30 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-10-04 02:49:34 +0200masterbuilder(~masterbui@user/masterbuilder)
2023-10-04 02:51:00 +0200arahael(~arahael@1.145.13.97) (Ping timeout: 240 seconds)
2023-10-04 02:53:38 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2023-10-04 03:08:17 +0200hugo(znc@verdigris.lysator.liu.se)
2023-10-04 03:13:04 +0200jargon(~jargon@174-22-202-54.phnx.qwest.net)
2023-10-04 03:17:10 +0200jargon(~jargon@174-22-202-54.phnx.qwest.net) (Remote host closed the connection)
2023-10-04 03:19:15 +0200Guest|35(~Guest|35@155.94.198.189)
2023-10-04 03:19:27 +0200 <Guest|35> Hello
2023-10-04 03:19:37 +0200 <Guest|35> When I install Haskell under Win10
2023-10-04 03:20:10 +0200 <Guest|35> Error occurred in MinGW X64:
2023-10-04 03:20:19 +0200 <Guest|35> [\\ Error ] [GHCup-05841] Download failed: Process "wget" with arguments ["-q", "-S", "-O",
2023-10-04 03:20:20 +0200 <Guest|35> [ ... ] "C:/ghcup\\cache\\ghcup-0.0.7.yaml.tmp",
2023-10-04 03:20:20 +0200 <Guest|35> [ ... ] "https://raw.githubusercontent.com/haskell
2023-10-04 03:21:21 +0200KM4MBGjackhill
2023-10-04 03:22:34 +0200tdammers(~tdammers@219-131-178-143.ftth.glasoperator.nl) (Ping timeout: 245 seconds)
2023-10-04 03:26:00 +0200Guest|35(~Guest|35@155.94.198.189) (Quit: Connection closed)
2023-10-04 03:31:01 +0200otto_s(~user@p5b0441b5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2023-10-04 03:32:45 +0200otto_s(~user@p4ff27346.dip0.t-ipconnect.de)
2023-10-04 03:35:39 +0200tdammers(~tdammers@219-131-178-143.ftth.glasoperator.nl)
2023-10-04 03:40:51 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2023-10-04 03:45:37 +0200ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 255 seconds)
2023-10-04 03:47:30 +0200ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net)
2023-10-04 03:47:52 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com)
2023-10-04 03:50:02 +0200a_uatLOL`(~a_ueb-_@45.224.213.149)
2023-10-04 03:50:49 +0200 <a_uatLOL`> https://www.youtube.com/watch?v=sqSA-SY5Hro
2023-10-04 03:50:50 +0200 <a_uatLOL`> God, if you’re 5 foot 3 and you’re 300 pounds
2023-10-04 03:50:51 +0200 <a_uatLOL`> Taxes ought not to pay for your bags of fudge rounds
2023-10-04 03:50:52 +0200 <a_uatLOL`> Young men are puttin’ themselves six feet in the ground
2023-10-04 03:50:53 +0200 <a_uatLOL`> ‘Cause all this damn country does is keep on kickin’ them down
2023-10-04 03:50:54 +0200 <a_uatLOL`> irc.supernets.org #superbowl
2023-10-04 03:50:55 +0200 <a_uatLOL`> a_uatLOL` hyiltiz ddellacosta tdammers otto_s hugo masterbuilder Lord_of_Life dsrt^ wroathe meinside Maxdamantus migas chexum ChaiTRex califax stites geekosaur jinsun thegeekinside hiredman alphacentauri Sgeo xff0x bitdex puke machinedgod pavonia Feuermagier eggplantade ulysses4ever elkcl johnw Franciman notzmv Unicorn_Princess kimiamania4 ubert shapr chiselfuse Flow NinjaTrappeur rgw hpc tromp
2023-10-04 03:50:56 +0200 <a_uatLOL`> Heffalump nullie tzh sabino phma smalltalkman Katarushisu1 son0p L29Ah _xor Nixkernal drewjose myxos jespada YuutaW benjaminl p3n Vajb poscat aforemny_ td_ brettgilio jle` FinnElija AlexNoo drdo hippoid zer0bitz EvanR infinity0 doyougnu Pozyomka hrberg Alex_test AlexZenon jjhoo _d0t albet70 ystael czy stiell lg188 m1dnight tcard_ shryke yahb2 marinelli raym lockywolf krei-se cptaffe CAT_S
2023-10-04 03:50:57 +0200 <a_uatLOL`> actioninja srk hsw dolio bgamari_ gabriel_sevecek yaroot Sciencentistguy haritz dextaa dyniec sefidel xnbya TimWolla rembo10_ Fischmiep Nikopol mrmr15 gooba finsternis Sanguine dibblego fryguybob lottaquestions_ statusbot ghoulpine dtman34 oo_miguel elevenkb Shelob tomboy64 mikko cyphase Pixi micro whodevil Athas bionade24 jrm solution haasn` gawen bliminse Typedfern Teacup rune_ df iteratee
2023-10-04 03:50:58 +0200 <a_uatLOL`> remexre justache dostoyevsky2 erisco ft myme Hooloovoo cheater fr33domlover pounce driib monochrom paddymahoney hgolden robobub sudden landonf earthy ggVGc jackhill jbalint_ nshepperd2 Me-me g bjs tomku ThePenguin TheCoffeMaker aku codedmart leah2 robertm haskellbridge Adran lilata yushyin kmein s4msung drlkf andjjj23 ringo___ hughjfchen meejah tureba stilgart cjay Hecate Vq natto probie Ram-Z
2023-10-04 03:50:59 +0200 <a_uatLOL`> MonsoonSecrecy telser adium gabiruh jludwig kraftwerk28 cpli KBar V madnight urdh dispater hexology andreas303 berberman quintasan meooow byorgey jakzale mhatta Everything Rembane Igloo [exa] evanrelf sm2n Dykam flukiluke noctux ridcully_ Benzi-Junior opqdonut lambdabot mjs2600 Xe caubert joel135 winny totbwf zups Pent user2 hamishmack fluffyballoon NemesisD sgarcia neptun arkeet Adeon
2023-10-04 03:51:00 +0200 <a_uatLOL`> tomjaguarpaw ggb marienz pieguy128_ evertedsphere buhman pepeiborra taktoa[c] haasn terrorjack powderedhorn ghoulguy kronicma1 [Leary] foul_owl_ vgtw apache2 ec systemfault _0xa AWizzArd cln_ akspecs theesm henrytill jmcantrell whereiseveryone rselim jleightcap fvr Ankhers arcadewise samhh_ b0o chaitlatte0 fn_lumi ymherklotz shreyasminocha JoelMcCracken jkoshy sus samhh aniketd filwisher bsima1
2023-10-04 03:51:01 +0200 <a_uatLOL`> fgaz_ raghavgururajan lukec hook54321 jakesyl_____ tired- gaze____ carter Hobbyboy bw__ dy_ agander_m malte SoF matijja noctuks int-e xerox adamCS cods acarrico troydm1 TheCatCollective stefan-__ ircbrowse_tom tomsmeding Goodbye_Vincent dminuoso ario forell mjrosenb dagit Ranhir seeg123456 img tom_ Natch ByronJohnson orcus Batzy remedan deriamis kaskal Friendship shane hololeap echoreply davean
2023-10-04 03:51:02 +0200 <a_uatLOL`> Aleksejs hueso bsima ell Raito_Bezarius manwithluck dunj3 Luj caasih stefan-_ gmc danso yvan-sraka hongminhee tnks astra lambdap2371 acertain_ dfg PotatoGim SethTisue cayley5 Guest3051 iphy snek cbarrett conjunctive integral idnar haskl sclv T_S____ jonrh bradparker glowcoil geekosaur[c] qhong GoldsteinQ sand-witch Nosrep tolt cayley5_ mira alanz raoul Angelz leeb DigitalKiwi krjt sphynx
2023-10-04 03:51:03 +0200 <a_uatLOL`> whatsupdoc Jon fiddlerwoaroof dfordvm minigrim0 Buggys tinwood defanor nisstyre Cale welterde vjoki PHO` MironZ Deide mrvdb kitzman dove eL_Bart0 superbil pierrot maxfan8 lieven pie_ mniip bastelfreak incertia titibandit Patternmaster bwe h2t Philonous nitrix acidsys lisq mcfrdy mht-wtf kawzeg_ dumptruckman it_ nek0 ncf [_________] NiKaN SrPx dmj` Boarders___ lally SanchayanMaity delyan_ shawwwn
2023-10-04 03:51:04 +0200 <a_uatLOL`> mustafa yandere dsal chessai Fangs lightandlight lexi-lambda ysh____ b20n edm AndreasK edmundnoble_ aristid JSharp rubin55 diagprov jackdk degraafk alinab ProofTechnique_ nrr______ davetapley tritlo_ sa1 hovsater wallymathieu ggranberry g00gler S11001001 amir pjlsergeant__ edwardk jmct mankyKitty aspen megaTherion MelanieMalik disconnect3d Putonlalla anpad wagle sshine c_wraith absence juri_
2023-10-04 03:51:05 +0200 <a_uatLOL`> nshepper1 m5zs7k davl dragestil jocke-l dexter1 nurupo mmaruseacph2 Axman6 Logio kosmikus mrmonday hays beaky abrar noteness exarkun nicole Yumemi immae biberu auri ames dontdieych_ jathan APic piele_ simpleauthority markasoftware carbolymer cross energizer polux bah ouroboros swistak ent siers Buliarous mauke _________ mzg bcmiller koz Arsen mjacob lyxia remmie darkling sajith nonzen wz1000
2023-10-04 03:51:06 +0200a_uatLOL`(~a_ueb-_@45.224.213.149) (Glined: User has been banned from the network.)
2023-10-04 03:51:12 +0200 <brettgilio> Hi everybody
2023-10-04 03:51:16 +0200 <brettgilio> Glad you all could join us
2023-10-04 03:51:41 +0200 <neptun> lol
2023-10-04 03:51:49 +0200 <brettgilio> So glad @a_uatLOL` could call this meeting to order
2023-10-04 03:52:07 +0200 <brettgilio> First item on the agenda. Chocolate: is it or is it not a primary food group
2023-10-04 03:52:09 +0200 <yandere> who the fuck what
2023-10-04 03:52:09 +0200 <nurupo> so, let's commerce the impromptu #haskell meeting :D
2023-10-04 03:52:12 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 248 seconds)
2023-10-04 03:52:14 +0200 <EvanR> submitted for the approval of the midnight society
2023-10-04 03:52:18 +0200 <winny> hope you all are having a lovely day :)
2023-10-04 03:52:27 +0200geekosaur*eyeroll*
2023-10-04 03:52:30 +0200 <yandere> Alright, first order of business: tickling SPJ and making him giggle
2023-10-04 03:52:46 +0200 <brettgilio> No tickling until we solve the chocolate issue
2023-10-04 03:52:54 +0200 <rgw> it's the only food group
2023-10-04 03:52:55 +0200 <ames> i wonder what order those names are listed in
2023-10-04 03:52:57 +0200johnw(~johnw@69.62.242.138) (Quit: ZNC - http://znc.in)
2023-10-04 03:53:15 +0200 <geekosaur> (also, haven't seen supernets spam since the Late Unpleasantness)
2023-10-04 03:53:25 +0200 <nurupo> aspen: likely the order the irc server returned them in
2023-10-04 03:53:26 +0200 <neptun> i argue that chocolate IS a primary food group. i consume so much of it that it must be so.
2023-10-04 03:53:28 +0200 <yandere> chocolate is a sugary fermented mash crystallized and hardened with fat
2023-10-04 03:53:33 +0200 <yandere> *fruit mash
2023-10-04 03:53:47 +0200 <yandere> it cannot be a primary food group
2023-10-04 03:53:57 +0200 <EvanR> lol at the users consisting of just a lot of underscores
2023-10-04 03:54:02 +0200 <rgw> could it be a semigroup?
2023-10-04 03:54:07 +0200 <yandere> possible
2023-10-04 03:54:12 +0200 <nurupo> does a chocolate mutate?
2023-10-04 03:54:15 +0200 <yandere> the associativity of chocolate bars is well known
2023-10-04 03:54:22 +0200 <yandere> bar1 <> bar2 is a new bar
2023-10-04 03:54:24 +0200 <brettgilio> Crystalline sugars and fats is my middle name
2023-10-04 03:54:34 +0200 <geekosaur> it discolors if you leave it sitting around…
2023-10-04 03:54:36 +0200 <neptun> yandere: are you a yandere? i have a thing for yanderes.
2023-10-04 03:54:42 +0200 <yandere> i am yandere
2023-10-04 03:54:45 +0200 <ames> nurupo: well, yeah. it looks like solanum keeps users in a doubly-linked list, so I'm gonna guess join order, and leave it at that
2023-10-04 03:54:46 +0200 <brettgilio> geekosaur: just like my grandma
2023-10-04 03:54:51 +0200 <yandere> at least, that's what edwardk says
2023-10-04 03:54:59 +0200 <yandere> talk to him for more info
2023-10-04 03:55:09 +0200 <neptun> yandere: you should check out yandere-community.com it's a small community. you might like it.
2023-10-04 03:55:18 +0200 <nurupo> aspen: i see, so it's immutable but perishable over time. we need a new type system for that
2023-10-04 03:55:35 +0200 <yandere> >hikikomori nsfw hentai chat
2023-10-04 03:55:37 +0200 <yandere> thanks neptun
2023-10-04 03:55:43 +0200 <neptun> np
2023-10-04 03:56:24 +0200 <aspen> nurupo: hmmm?
2023-10-04 03:56:44 +0200 <nurupo> oh, sorry aspen, meant ames
2023-10-04 03:56:57 +0200 <brettgilio> Item #2 on the agenda: can you eat homotopy type theory
2023-10-04 03:57:10 +0200 <yandere> no, they barely eat their own dogfood
2023-10-04 03:57:27 +0200 <geekosaur> you can do pretty much anything to it. might be hard to digest though, I hear 😛
2023-10-04 03:57:30 +0200 <yandere> it's too HoTT :^)
2023-10-04 03:57:34 +0200 <yandere> ba dum tss
2023-10-04 03:58:24 +0200 <yandere> nurupo: hey kid, you wanna learn a monad?
2023-10-04 03:58:37 +0200 <geekosaur> (lol matrix is rate-limiting haskellbridge because of all the activity in here)
2023-10-04 03:58:38 +0200 <fn_lumi> reporting for the meeting. haskell is very good
2023-10-04 03:58:54 +0200 <yandere> good fuck haskellbridge it makes nick id terrible
2023-10-04 03:59:16 +0200 <brettgilio> Why would you fuck a bridge????
2023-10-04 03:59:21 +0200 <geekosaur> I can't run a homeserver on my laptop. things might change if I get a vps provisioned
2023-10-04 03:59:25 +0200 <brettgilio> I mean... you do do.
2023-10-04 04:00:11 +0200 <geekosaur> although I'll also need to get exempted from some rate limits by both libera and matrix in that case
2023-10-04 04:00:52 +0200 <geekosaur> I'm not real fond of it either but it does keep things connected
2023-10-04 04:01:10 +0200 <yandere> get a $5 droplet and set up znc
2023-10-04 04:01:16 +0200 <nurupo> yandere: no thanks. got any grapes?
2023-10-04 04:01:25 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com)
2023-10-04 04:01:26 +0200 <yandere> nurupo: no but i do have groups
2023-10-04 04:01:36 +0200 <brettgilio> Then he waddled away
2023-10-04 04:01:43 +0200 <nurupo> waddle waddle waddle
2023-10-04 04:02:27 +0200 <brettgilio> geekosaur: if you are looking for a bouncer. sourcehut.org has a chat.sr.ht instance with soju running on it
2023-10-04 04:02:32 +0200 <brettgilio> That's how I use IRC
2023-10-04 04:02:34 +0200 <brettgilio> $2/mo
2023-10-04 04:03:03 +0200 <fn_lumi> same
2023-10-04 04:03:35 +0200 <brettgilio> It is a steal of a price. Tbqh
2023-10-04 04:03:55 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 264 seconds)
2023-10-04 04:04:01 +0200 <brettgilio> The git service is great. Has great CI builds. Plus an IRC bouncer? Like. Fuck.
2023-10-04 04:04:31 +0200 <brettgilio> Then I just connect to it on my phone through RevolutionIRC.
2023-10-04 04:05:34 +0200 <yandere> but then you have to deal with the social isolation of having to admit to your friends that you use sourcehut
2023-10-04 04:05:49 +0200 <yandere> Which takes a heavy toll
2023-10-04 04:06:35 +0200 <brettgilio> What friends.
2023-10-04 04:07:07 +0200 <brettgilio> I have a wife, a kid, and a pet snake. I don't have friends
2023-10-04 04:09:14 +0200 <geekosaur[c]> I'm not looking for a bouncer, I'm running a Matrix - IRC bridge
2023-10-04 04:09:44 +0200 <geekosaur[c]> I have this session for a bouncer
2023-10-04 04:09:49 +0200 <brettgilio> Is libera still blocking matrix connections?
2023-10-04 04:10:06 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 260 seconds)
2023-10-04 04:10:17 +0200 <geekosaur[c]> Not blocked, the gateway is down
2023-10-04 04:11:02 +0200 <geekosaur[c]> Nobody knows what plans EMS has for fixing it
2023-10-04 04:11:18 +0200 <brettgilio> That is super promising
2023-10-04 04:11:43 +0200 <geekosaur[c]> (Element Matrix Services that is)
2023-10-04 04:12:02 +0200 <brettgilio> Like when Slack dropped support for IRC lol
2023-10-04 04:12:44 +0200 <geekosaur[c]> Their IRC support people are unpaid volunteers
2023-10-04 04:13:11 +0200 <geekosaur[c]> And of course the gateway is closed source
2023-10-04 04:13:21 +0200 <brettgilio> It is?
2023-10-04 04:13:28 +0200 <brettgilio> Oof
2023-10-04 04:14:11 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2023-10-04 04:14:27 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2023-10-04 04:14:37 +0200 <geekosaur[c]> Matrix itself is open source, just the gateway appservice isn't
2023-10-04 04:14:54 +0200 <brettgilio> But.. like. Why not
2023-10-04 04:15:20 +0200 <geekosaur[c]> Who knows?
2023-10-04 04:15:36 +0200 <brettgilio> Probably Joe Biden
2023-10-04 04:16:04 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2023-10-04 04:16:04 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2023-10-04 04:16:04 +0200finn_elijaFinnElija
2023-10-04 04:16:34 +0200 <brettgilio> Gn all
2023-10-04 04:16:42 +0200brettgilio-> zzz
2023-10-04 04:17:36 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com)
2023-10-04 04:18:44 +0200hugo(znc@verdigris.lysator.liu.se)
2023-10-04 04:19:27 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) (Remote host closed the connection)
2023-10-04 04:19:41 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4)
2023-10-04 04:21:46 +0200cuiltb^(~cd@76.145.193.217)
2023-10-04 04:25:48 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 240 seconds)
2023-10-04 04:29:48 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-10-04 04:32:10 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-10-04 04:32:55 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com)
2023-10-04 04:37:46 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 258 seconds)
2023-10-04 04:38:50 +0200puke(~puke@user/puke) (Remote host closed the connection)
2023-10-04 04:42:01 +0200ystael(~ystael@user/ystael) (Ping timeout: 255 seconds)
2023-10-04 04:44:09 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com)
2023-10-04 04:45:12 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
2023-10-04 04:48:54 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 272 seconds)
2023-10-04 04:50:13 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-10-04 04:54:55 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
2023-10-04 04:55:22 +0200johnw(~johnw@69.62.242.138)
2023-10-04 04:56:19 +0200hugo(znc@verdigris.lysator.liu.se)
2023-10-04 04:59:30 +0200sm(~sm@plaintextaccounting/sm)
2023-10-04 05:00:39 +0200td_(~td@i53870920.versanet.de) (Ping timeout: 240 seconds)
2023-10-04 05:00:45 +0200init(21945@user/init)
2023-10-04 05:02:44 +0200td_(~td@i53870914.versanet.de)
2023-10-04 05:04:13 +0200sm(~sm@plaintextaccounting/sm) (Ping timeout: 258 seconds)
2023-10-04 05:05:30 +0200tom_(~tom@host86-132-186-152.range86-132.btcentralplus.com) (Remote host closed the connection)
2023-10-04 05:10:52 +0200cptaffe(~cptaffe@user/cptaffe) (Remote host closed the connection)
2023-10-04 05:11:39 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com)
2023-10-04 05:12:04 +0200puke(~puke@user/puke)
2023-10-04 05:16:15 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2023-10-04 05:16:36 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 260 seconds)
2023-10-04 05:17:08 +0200cptaffe(~cptaffe@user/cptaffe)
2023-10-04 05:22:06 +0200sabino(~sabino@user/sabino) (Quit: Lambda _ -> x)
2023-10-04 05:25:58 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com)
2023-10-04 05:27:19 +0200cptaffe(~cptaffe@user/cptaffe) (Remote host closed the connection)
2023-10-04 05:28:23 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-10-04 05:29:51 +0200Sgeo(~Sgeo@user/sgeo)
2023-10-04 05:30:20 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 248 seconds)
2023-10-04 05:36:33 +0200euleritian(~euleritia@p5b12497f.dip0.t-ipconnect.de)
2023-10-04 05:41:00 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 240 seconds)
2023-10-04 05:43:45 +0200cptaffe(~cptaffe@user/cptaffe)
2023-10-04 05:46:35 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-10-04 05:51:59 +0200aforemny(~aforemny@2001:9e8:6cf6:dc00:a7db:20ab:626:b138)
2023-10-04 05:52:11 +0200aforemny_(~aforemny@i59F516DB.versanet.de) (Ping timeout: 260 seconds)
2023-10-04 05:52:57 +0200 <dibblego> @type local . pure
2023-10-04 05:52:58 +0200 <lambdabot> MonadReader r m => r -> m a -> m a
2023-10-04 06:01:32 +0200 <jackdk> @type local . const
2023-10-04 06:01:33 +0200 <lambdabot> MonadReader r m => r -> m a -> m a
2023-10-04 06:01:44 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 255 seconds)
2023-10-04 06:04:23 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com)
2023-10-04 06:04:38 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-10-04 06:04:57 +0200califax(~califax@user/califx) (Remote host closed the connection)
2023-10-04 06:04:57 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2023-10-04 06:04:57 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2023-10-04 06:04:57 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2023-10-04 06:04:57 +0200chiselfuse(~chiselfus@user/chiselfuse) (Read error: Connection reset by peer)
2023-10-04 06:05:14 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2023-10-04 06:05:17 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-10-04 06:05:23 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2023-10-04 06:05:24 +0200califax(~califax@user/califx)
2023-10-04 06:05:31 +0200chiselfuse(~chiselfus@user/chiselfuse)
2023-10-04 06:08:36 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 240 seconds)
2023-10-04 06:11:44 +0200myxos(~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Ping timeout: 255 seconds)
2023-10-04 06:18:53 +0200vglfr(~vglfr@88.155.143.2)
2023-10-04 06:20:25 +0200myxos(~myxos@cpe-65-28-251-121.cinci.res.rr.com)
2023-10-04 06:27:50 +0200thegeekinside(~thegeekin@189.217.90.224) (Read error: Connection reset by peer)
2023-10-04 06:29:38 +0200sm(~sm@plaintextaccounting/sm)
2023-10-04 06:30:55 +0200gooba(~gooba@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection)
2023-10-04 06:31:12 +0200gooba(~gooba@90-231-13-185-no3430.tbcn.telia.com)
2023-10-04 06:34:16 +0200sm(~sm@plaintextaccounting/sm) (Ping timeout: 260 seconds)
2023-10-04 06:36:00 +0200cptaffe(~cptaffe@user/cptaffe) (Remote host closed the connection)
2023-10-04 06:39:58 +0200thegeekinside(~thegeekin@189.217.90.224)
2023-10-04 06:40:38 +0200cptaffe(~cptaffe@user/cptaffe)
2023-10-04 06:40:44 +0200cptaffe(~cptaffe@user/cptaffe) (Remote host closed the connection)
2023-10-04 06:40:52 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com)
2023-10-04 06:46:04 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 272 seconds)
2023-10-04 06:47:01 +0200aforemny(~aforemny@2001:9e8:6cf6:dc00:a7db:20ab:626:b138) (Ping timeout: 260 seconds)
2023-10-04 06:47:37 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-10-04 06:47:51 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com)
2023-10-04 06:49:31 +0200 <haskellbridge> <s​m> morning all
2023-10-04 06:51:55 +0200 <haskellbridge> <s​m> geekosaur, am I right in thinking this room is temporarily weird ? I see what looks like 10m of spam with some interaction from just you and maybe brettgilio last night. And strangely only me and appservice are listed as Mods, and no Admins
2023-10-04 06:53:02 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 272 seconds)
2023-10-04 07:00:37 +0200sm(~sm@plaintextaccounting/sm)
2023-10-04 07:04:58 +0200sm(~sm@plaintextaccounting/sm) (Ping timeout: 258 seconds)
2023-10-04 07:10:47 +0200michalz(~michalz@185.246.204.109)
2023-10-04 07:13:55 +0200cptaffe(~cptaffe@user/cptaffe)
2023-10-04 07:14:31 +0200cptaffe(~cptaffe@user/cptaffe) (Remote host closed the connection)
2023-10-04 07:18:28 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2023-10-04 07:21:05 +0200acidjnk(~acidjnk@p200300d6e7072f80c83efacb636187f1.dip0.t-ipconnect.de)
2023-10-04 07:27:26 +0200thegeekinside(~thegeekin@189.217.90.224) (Read error: Connection reset by peer)
2023-10-04 07:30:06 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com)
2023-10-04 07:31:41 +0200Guest67(~Guest87@2603-8000-8f00-9f67-f8a5-5b79-e808-31ad.res6.spectrum.com)
2023-10-04 07:31:41 +0200Guest67(~Guest87@2603-8000-8f00-9f67-f8a5-5b79-e808-31ad.res6.spectrum.com) (Client Quit)
2023-10-04 07:33:26 +0200Guest35(~Guest87@2603-8000-8f00-9f67-f8a5-5b79-e808-31ad.res6.spectrum.com)
2023-10-04 07:33:37 +0200Guest35(~Guest87@2603-8000-8f00-9f67-f8a5-5b79-e808-31ad.res6.spectrum.com) ()
2023-10-04 07:34:35 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 240 seconds)
2023-10-04 07:34:53 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-10-04 07:40:20 +0200sm(~sm@plaintextaccounting/sm)
2023-10-04 07:40:30 +0200CiaoSen(~Jura@2a05:5800:2a5:9f00:664b:f0ff:fe37:9ef)
2023-10-04 07:41:47 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com)
2023-10-04 07:46:09 +0200vglfr(~vglfr@88.155.143.2) (Remote host closed the connection)
2023-10-04 07:46:46 +0200vglfr(~vglfr@88.155.143.2)
2023-10-04 07:47:38 +0200cptaffe(~cptaffe@user/cptaffe)
2023-10-04 07:49:48 +0200vglfr(~vglfr@88.155.143.2) (Remote host closed the connection)
2023-10-04 07:50:08 +0200cptaffe(~cptaffe@user/cptaffe) (Remote host closed the connection)
2023-10-04 07:50:30 +0200vglfr(~vglfr@88.155.143.2)
2023-10-04 07:51:47 +0200notzmv(~zmv@user/notzmv)
2023-10-04 07:53:36 +0200nek0(~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat)
2023-10-04 07:53:40 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:dc43:d109:46ef:3532)
2023-10-04 07:56:51 +0200 <ghoulguy> Hi, sm
2023-10-04 07:59:07 +0200Sciencentistguy(~sciencent@hacksoc/ordinary-member) (Ping timeout: 255 seconds)
2023-10-04 08:00:15 +0200vglfr(~vglfr@88.155.143.2) (Remote host closed the connection)
2023-10-04 08:00:52 +0200vglfr(~vglfr@88.155.143.2)
2023-10-04 08:01:07 +0200cptaffe(~cptaffe@user/cptaffe)
2023-10-04 08:01:35 +0200cptaffe(~cptaffe@user/cptaffe) (Remote host closed the connection)
2023-10-04 08:02:20 +0200vglfr(~vglfr@88.155.143.2) (Remote host closed the connection)
2023-10-04 08:02:46 +0200vglfr(~vglfr@88.155.143.2)
2023-10-04 08:03:09 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection)
2023-10-04 08:03:20 +0200cptaffe(~cptaffe@user/cptaffe)
2023-10-04 08:03:37 +0200hugo(znc@verdigris.lysator.liu.se)
2023-10-04 08:04:43 +0200vglfr(~vglfr@88.155.143.2) (Remote host closed the connection)
2023-10-04 08:05:21 +0200vglfr(~vglfr@88.155.143.2)
2023-10-04 08:05:25 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216)
2023-10-04 08:05:28 +0200rgw(~R@2605:a601:a0df:5600:5fc:3a3a:86f0:f33a) (Read error: Connection reset by peer)
2023-10-04 08:06:08 +0200vglfr(~vglfr@88.155.143.2) (Remote host closed the connection)
2023-10-04 08:06:36 +0200Sciencentistguy(~sciencent@hacksoc/ordinary-member)
2023-10-04 08:06:44 +0200vglfr(~vglfr@88.155.143.2)
2023-10-04 08:06:52 +0200vglfr(~vglfr@88.155.143.2) (Remote host closed the connection)
2023-10-04 08:08:14 +0200vglfr(~vglfr@88.155.143.2)
2023-10-04 08:08:43 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 264 seconds)
2023-10-04 08:09:19 +0200nek0(~nek0@2a01:4f8:222:2b41::12)
2023-10-04 08:13:27 +0200vglfr(~vglfr@88.155.143.2) (Read error: Connection reset by peer)
2023-10-04 08:13:46 +0200vglfr(vglfr@gateway/vpn/protonvpn/vglfr)
2023-10-04 08:20:35 +0200sm(~sm@plaintextaccounting/sm) (Ping timeout: 240 seconds)
2023-10-04 08:21:59 +0200hugo(znc@verdigris.lysator.liu.se)
2023-10-04 08:29:32 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 248 seconds)
2023-10-04 08:31:35 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds)
2023-10-04 08:33:47 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2023-10-04 08:40:45 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds)
2023-10-04 08:41:05 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com)
2023-10-04 08:43:04 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2023-10-04 08:45:27 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 240 seconds)
2023-10-04 08:47:33 +0200simendsjo(~user@84.211.91.241)
2023-10-04 08:48:53 +0200hugo(znc@verdigris.lysator.liu.se)
2023-10-04 08:51:18 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-10-04 08:52:28 +0200vglfr(vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 248 seconds)
2023-10-04 08:56:36 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2023-10-04 08:57:16 +0200ft(~ft@p3e9bc680.dip0.t-ipconnect.de) (Quit: leaving)
2023-10-04 08:59:35 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds)
2023-10-04 09:00:40 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com)
2023-10-04 09:05:20 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 258 seconds)
2023-10-04 09:07:56 +0200vglfr(~vglfr@88.155.143.2)
2023-10-04 09:10:55 +0200danza_(~francesco@151.57.104.251)
2023-10-04 09:11:31 +0200vglfr(~vglfr@88.155.143.2) (Read error: Connection reset by peer)
2023-10-04 09:11:41 +0200danse-nr3__(~francesco@151.57.104.251)
2023-10-04 09:11:51 +0200vglfr(vglfr@gateway/vpn/protonvpn/vglfr)
2023-10-04 09:18:12 +0200Nixkernal(~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2023-10-04 09:21:30 +0200 <tomsmeding> sm: https://ircbrowse.tomsmeding.com/day/lchaskell/2023/10/04?id=1097957#trid1097957
2023-10-04 09:24:00 +0200Jackneill(~Jackneill@20014C4E1E1DF20045616002BB8F1538.dsl.pool.telekom.hu)
2023-10-04 09:25:27 +0200vglfr(vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 240 seconds)
2023-10-04 09:28:14 +0200vglfr(vglfr@gateway/vpn/protonvpn/vglfr)
2023-10-04 09:29:00 +0200hugo(znc@verdigris.lysator.liu.se)
2023-10-04 09:30:19 +0200Nixkernal(~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch)
2023-10-04 09:30:43 +0200 <haskellbridge> <s​m> hi tomsmeding, why are you pointing me to that ?
2023-10-04 09:31:09 +0200 <tomsmeding> because you were asking about the weird interaction between two people this night
2023-10-04 09:31:17 +0200 <tomsmeding> while in my log there's quite a lot of people involved
2023-10-04 09:31:24 +0200 <tomsmeding> but maybe I misunderstood you :)
2023-10-04 09:31:27 +0200Nixkernal(~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Client Quit)
2023-10-04 09:31:50 +0200Nixkernal(~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch)
2023-10-04 09:32:09 +0200 <haskellbridge> <s​m> I see 10m of spammy "dialogue" and I don't really want to watch their video to learn more :)
2023-10-04 09:32:18 +0200 <tomsmeding> definitely do not
2023-10-04 09:32:25 +0200tomsmedingskipped the whole thing
2023-10-04 09:32:28 +0200vglfr(vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 248 seconds)
2023-10-04 09:32:37 +0200coot(~coot@89-69-206-216.dynamic.chello.pl)
2023-10-04 09:32:43 +0200 <dminuoso> tomsmeding: Im not entirely convinced about "false positives". Anything that has possible branching action, can simply be marked as reaching both sides.
2023-10-04 09:32:56 +0200 <tomsmeding> dminuoso: is this a reply to me?
2023-10-04 09:33:07 +0200 <dminuoso> Yes, regarding the "sum type surjectivity" check a few days ago.
2023-10-04 09:33:18 +0200 <tomsmeding> _oh_
2023-10-04 09:33:34 +0200 <dminuoso> At first glance it feels like a variant of dead code detection to me.
2023-10-04 09:34:23 +0200 <tomsmeding> my point about false positives was that there are a lot of cases when a function is _not_ surjective, and that is not a problem
2023-10-04 09:34:24 +0200 <haskellbridge> <s​m> I seem to be the only mod on the matrix side here, so I can remove the spams. But it's not totally clear what ham is mixed in. I'll give it a go later if y'all agree
2023-10-04 09:34:28 +0200danse-nr3__(~francesco@151.57.104.251) (Ping timeout: 258 seconds)
2023-10-04 09:34:54 +0200 <tomsmeding> if you're using These to report fatal and non-fatal errors, it's not a problem for a function to never report a fatal error
2023-10-04 09:35:09 +0200 <dminuoso> I just care about obvious things like `case x of "Foo" -> Foo; "Bar" -> Bar; "Quux" -> Quux`
2023-10-04 09:35:13 +0200 <tomsmeding> if you're writing a data transformation that eliminates certain constructors, that's not a problem, that's a feature
2023-10-04 09:35:14 +0200 <tomsmeding> I know
2023-10-04 09:35:28 +0200 <tomsmeding> but a blanket {-# LANGUAGE Surjectivity #-} or such would apply to _everything_
2023-10-04 09:35:33 +0200 <tomsmeding> hence my point about false positives
2023-10-04 09:35:36 +0200 <dminuoso> Oh I see.
2023-10-04 09:35:46 +0200 <tomsmeding> you want this to apply to individual functions and individual data types, not to everything
2023-10-04 09:35:47 +0200 <dminuoso> Yes, Id be fine with this being a per-function pragma. :)
2023-10-04 09:35:52 +0200 <tomsmeding> so this would be a pragma, not an extension
2023-10-04 09:36:06 +0200 <dminuoso> Is there any sort of workaround for this?
2023-10-04 09:36:07 +0200 <tomsmeding> the original asker (was that you?) said "extension", hence my comment :p
2023-10-04 09:36:14 +0200 <dminuoso> Beyond tapping into TH
2023-10-04 09:36:27 +0200 <tomsmeding> I know of nothing in GHC that checks this for you
2023-10-04 09:36:47 +0200 <tomsmeding> it's also super hard in general, only in specific cases can it be done completely
2023-10-04 09:36:57 +0200 <tomsmeding> which probably includes your "obvious" cases
2023-10-04 09:37:19 +0200 <tomsmeding> problem of doing this with TH is that you'd need to wrap the entire function definition in a quote
2023-10-04 09:38:06 +0200 <dminuoso> Perhaps all I really need is just a kind of serialize/deserialize test, that via TH or Generics ensures every constructor is tried.
2023-10-04 09:38:21 +0200 <dminuoso> It just felt like this would be cool if the compiler could do this.
2023-10-04 09:38:49 +0200gmg(~user@user/gehmehgeh)
2023-10-04 09:38:58 +0200 <dminuoso> All this to avoid a Read instance because Im allergic to it.
2023-10-04 09:40:00 +0200 <tomsmeding> what's wrong with Read if you don't use 'read'?
2023-10-04 09:40:04 +0200 <tomsmeding> readMaybe is okay
2023-10-04 09:40:06 +0200 <tomsmeding> perhaps not super fast
2023-10-04 09:40:35 +0200danza_(~francesco@151.57.104.251) (Ping timeout: 240 seconds)
2023-10-04 09:42:27 +0200 <dminuoso> For starters there is this personal annoyance that I have a Text to begin with.
2023-10-04 09:43:55 +0200 <int-e> . o O ( It's called Text but it can't be read. )
2023-10-04 09:44:59 +0200tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz)
2023-10-04 09:50:06 +0200 <haskellbridge> <t​ewuzij> Who is Joe Biden?
2023-10-04 09:51:50 +0200 <mauke> https://en.wikipedia.org/wiki/Joseph_Biden
2023-10-04 09:57:22 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-10-04 09:58:16 +0200Feuermagier(~Feuermagi@user/feuermagier) (Remote host closed the connection)
2023-10-04 09:58:29 +0200Feuermagier(~Feuermagi@user/feuermagier)
2023-10-04 10:02:43 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com)
2023-10-04 10:03:01 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5)
2023-10-04 10:05:38 +0200danse-nr3__(~francesco@151.57.104.251)
2023-10-04 10:06:46 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2023-10-04 10:07:27 +0200troydm1(~troydm@host-176-37-53-238.b025.la.net.ua) (Ping timeout: 240 seconds)
2023-10-04 10:14:07 +0200foul_owl_(~kerry@157.97.134.165) (Ping timeout: 255 seconds)
2023-10-04 10:14:29 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) (Remote host closed the connection)
2023-10-04 10:14:54 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 246 seconds)
2023-10-04 10:16:38 +0200Nixkernal(~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 258 seconds)
2023-10-04 10:16:48 +0200Nixkernal_(~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch)
2023-10-04 10:24:44 +0200mmhat(~mmh@2003:f1:c74e:6fea:ee08:6bff:fe09:5315)
2023-10-04 10:25:09 +0200mmhat(~mmh@2003:f1:c74e:6fea:ee08:6bff:fe09:5315) (Client Quit)
2023-10-04 10:26:38 +0200foul_owl_(~kerry@185.216.231.181)
2023-10-04 10:27:24 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com)
2023-10-04 10:32:12 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 248 seconds)
2023-10-04 10:37:24 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2023-10-04 10:42:42 +0200cfricke(~cfricke@user/cfricke)
2023-10-04 10:43:23 +0200cpressey(~cpressey@host-89-240-119-146.as13285.net)
2023-10-04 10:44:03 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-10-04 10:46:37 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148)
2023-10-04 10:49:05 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds)
2023-10-04 10:51:26 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) (Ping timeout: 260 seconds)
2023-10-04 10:52:00 +0200ubert(~Thunderbi@178.115.77.244.wireless.dyn.drei.com) (Quit: ubert)
2023-10-04 10:53:59 +0200vglfr(~vglfr@88.154.45.56)
2023-10-04 11:00:39 +0200phma(~phma@2001:5b0:2143:dc48:abeb:f726:fe91:c1bd) (Read error: Connection reset by peer)
2023-10-04 11:01:33 +0200phma(~phma@host-67-44-208-201.hnremote.net)
2023-10-04 11:05:11 +0200tv(~tv@user/tv)
2023-10-04 11:05:16 +0200Nixkernal_(~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 248 seconds)
2023-10-04 11:05:54 +0200Nixkernal(~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch)
2023-10-04 11:16:39 +0200euleritian(~euleritia@p5b12497f.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2023-10-04 11:17:00 +0200euleritian(~euleritia@p200300d40f0c6500cf0527ee20256176.dip0.t-ipconnect.de)
2023-10-04 11:18:52 +0200sm(~sm@plaintextaccounting/sm)
2023-10-04 11:22:57 +0200CiaoSen(~Jura@2a05:5800:2a5:9f00:664b:f0ff:fe37:9ef) (Ping timeout: 258 seconds)
2023-10-04 11:23:10 +0200privacy(~privacy@user/privacy)
2023-10-04 11:25:23 +0200cpressey30(~cpressey@host-89-240-119-146.as13285.net)
2023-10-04 11:28:28 +0200cpressey(~cpressey@host-89-240-119-146.as13285.net) (Ping timeout: 245 seconds)
2023-10-04 11:37:05 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds)
2023-10-04 11:39:06 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148)
2023-10-04 11:41:23 +0200targetdisk(~daemonchi@45-33-4-162.ip.linodeusercontent.com)
2023-10-04 11:42:19 +0200sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-10-04 11:43:30 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2023-10-04 11:47:06 +0200_xor(~xor@ip-50-5-233-250.dynamic.fuse.net) (Quit: Ping timeout (120 seconds))
2023-10-04 11:47:39 +0200_xor(~xor@ip-50-5-233-250.dynamic.fuse.net)
2023-10-04 11:47:46 +0200cpressey30cpressey
2023-10-04 11:49:24 +0200sm(~sm@plaintextaccounting/sm)
2023-10-04 11:55:03 +0200hugo(znc@verdigris.lysator.liu.se)
2023-10-04 11:55:17 +0200__monty__(~toonn@user/toonn)
2023-10-04 12:02:48 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com)
2023-10-04 12:07:05 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 240 seconds)
2023-10-04 12:08:55 +0200cpressey89(~cpressey@host-89-240-119-146.as13285.net)
2023-10-04 12:09:18 +0200cpressey(~cpressey@host-89-240-119-146.as13285.net) (Ping timeout: 245 seconds)
2023-10-04 12:09:43 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds)
2023-10-04 12:12:34 +0200cpressey89cpressey
2023-10-04 12:21:53 +0200hugo(znc@verdigris.lysator.liu.se)
2023-10-04 12:25:15 +0200elbear(~lucian@109.101.137.234)
2023-10-04 12:33:12 +0200vglfr(~vglfr@88.154.45.56) (Read error: Connection reset by peer)
2023-10-04 12:33:34 +0200vglfr(vglfr@gateway/vpn/protonvpn/vglfr)
2023-10-04 12:37:07 +0200coot(~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 260 seconds)
2023-10-04 12:43:23 +0200 <haskellbridge> <I​nst> #off-topic
2023-10-04 12:47:30 +0200 <int-e> very timely
2023-10-04 12:52:15 +0200euleritian(~euleritia@p200300d40f0c6500cf0527ee20256176.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-10-04 12:52:26 +0200 <haskellbridge> <s​m> geekosaur: oh I see, you are probably disconnected from matrix and hopefully your admin user will reappear when you return
2023-10-04 12:52:57 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-10-04 12:57:20 +0200sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-10-04 12:57:55 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
2023-10-04 12:59:51 +0200acidjnk(~acidjnk@p200300d6e7072f80c83efacb636187f1.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-10-04 13:03:43 +0200euleritian(~euleritia@p200300d40f0c6500fb849d09d875a9dc.dip0.t-ipconnect.de)
2023-10-04 13:08:58 +0200vglfr(vglfr@gateway/vpn/protonvpn/vglfr) (Remote host closed the connection)
2023-10-04 13:09:46 +0200vglfr(vglfr@gateway/vpn/protonvpn/vglfr)
2023-10-04 13:10:35 +0200vglfr(vglfr@gateway/vpn/protonvpn/vglfr) (Remote host closed the connection)
2023-10-04 13:11:10 +0200vglfr(vglfr@gateway/vpn/protonvpn/vglfr)
2023-10-04 13:12:00 +0200danse-nr3_(~francesco@151.47.100.65)
2023-10-04 13:12:35 +0200danse-nr3__(~francesco@151.57.104.251) (Read error: Connection reset by peer)
2023-10-04 13:14:07 +0200danse-nr3_(~francesco@151.47.100.65) (Remote host closed the connection)
2023-10-04 13:15:05 +0200vglfr(vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 240 seconds)
2023-10-04 13:16:01 +0200vglfr(~vglfr@88.154.45.56)
2023-10-04 13:16:13 +0200stites(~stites@130.44.147.204) (Ping timeout: 255 seconds)
2023-10-04 13:16:24 +0200stites(~stites@2607:fb91:dcf:5280:3352:40b4:9f34:deb7)
2023-10-04 13:17:15 +0200acidjnk(~acidjnk@p200300d6e7072f80997250692b5f9da8.dip0.t-ipconnect.de)
2023-10-04 13:23:55 +0200Pozyomka(~pyon@user/pyon) (Quit: Pozyomka, my beloved: https://i.imgur.com/BMmVfTq.png)
2023-10-04 13:25:44 +0200pjlsergeant__(sid143467@hampstead.irccloud.com) ()
2023-10-04 13:30:56 +0200Functionalley(~al@82-69-116-36.dsl.in-addr.zen.co.uk)
2023-10-04 13:37:19 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com)
2023-10-04 13:39:17 +0200CiaoSen(~Jura@5.83.178.44)
2023-10-04 13:39:32 +0200Square(~Square4@user/square)
2023-10-04 13:42:06 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 258 seconds)
2023-10-04 13:42:53 +0200privacy(~privacy@user/privacy) (Quit: Leaving)
2023-10-04 13:48:30 +0200elbear(~lucian@109.101.137.234) (Ping timeout: 272 seconds)
2023-10-04 13:56:26 +0200acidjnk(~acidjnk@p200300d6e7072f80997250692b5f9da8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2023-10-04 13:57:01 +0200Functionalley(~al@82-69-116-36.dsl.in-addr.zen.co.uk) (Quit: Konversation terminated!)
2023-10-04 13:57:31 +0200Functionalley(~al@82-69-116-36.dsl.in-addr.zen.co.uk)
2023-10-04 14:01:33 +0200elbear(~lucian@109.101.137.234)
2023-10-04 14:07:23 +0200elbear(~lucian@109.101.137.234) (Ping timeout: 255 seconds)
2023-10-04 14:10:48 +0200Functionalley(~al@82-69-116-36.dsl.in-addr.zen.co.uk) (Quit: Konversation terminated!)
2023-10-04 14:13:52 +0200acidjnk(~acidjnk@p200300d6e7072f80bd9c9dafa0816e07.dip0.t-ipconnect.de)
2023-10-04 14:14:07 +0200masterbuilder(~masterbui@user/masterbuilder) (Remote host closed the connection)
2023-10-04 14:15:31 +0200masterbuilder(~masterbui@user/masterbuilder)
2023-10-04 14:20:09 +0200elbear(~lucian@109.101.137.234)
2023-10-04 14:25:01 +0200elbear(~lucian@109.101.137.234) (Ping timeout: 260 seconds)
2023-10-04 14:26:32 +0200elbear(~lucian@109.101.137.234)
2023-10-04 14:32:48 +0200artem(~artem@73.145.242.9)
2023-10-04 14:34:06 +0200todi(~todi@p5dca5e79.dip0.t-ipconnect.de)
2023-10-04 14:36:28 +0200ulysses4ever(~artem@c-73-103-90-145.hsd1.in.comcast.net) (Ping timeout: 248 seconds)
2023-10-04 14:40:12 +0200artem(~artem@73.145.242.9) (Read error: Connection reset by peer)
2023-10-04 14:40:13 +0200ulysses4ever(~artem@2601:408:c408:37e2:8cb8:b1ce:18cd:1b77)
2023-10-04 14:45:24 +0200juri_(~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 240 seconds)
2023-10-04 14:47:29 +0200juri_(~juri@84-19-175-187.pool.ovpn.com)
2023-10-04 14:48:42 +0200artem(~artem@c-73-103-90-145.hsd1.in.comcast.net)
2023-10-04 14:50:44 +0200ulysses4ever(~artem@2601:408:c408:37e2:8cb8:b1ce:18cd:1b77) (Read error: Connection reset by peer)
2023-10-04 14:54:24 +0200stites(~stites@2607:fb91:dcf:5280:3352:40b4:9f34:deb7) (Read error: Connection reset by peer)
2023-10-04 14:54:44 +0200stites(~stites@130.44.147.204)
2023-10-04 14:57:11 +0200Clonik(~Biledrame@174.92.47.132)
2023-10-04 15:00:30 +0200Clonik(~Biledrame@174.92.47.132) (Killed (ozone (No Spam)))
2023-10-04 15:02:17 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com)
2023-10-04 15:04:31 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds)
2023-10-04 15:06:36 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 240 seconds)
2023-10-04 15:10:16 +0200cheater(~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com))
2023-10-04 15:19:32 +0200hugo(znc@verdigris.lysator.liu.se)
2023-10-04 15:22:16 +0200danza(~francesco@151.47.100.65)
2023-10-04 15:23:38 +0200danza(~francesco@151.47.100.65) (Remote host closed the connection)
2023-10-04 15:24:01 +0200danza(~francesco@151.47.100.65)
2023-10-04 15:26:09 +0200prite(~pritam@user/pritambaral)
2023-10-04 15:28:59 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-10-04 15:28:59 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-10-04 15:28:59 +0200wroathe(~wroathe@user/wroathe)
2023-10-04 15:31:10 +0200mc47(~mc47@xmonad/TheMC47)
2023-10-04 15:40:56 +0200mysl(~mysl@user/mysl)
2023-10-04 15:45:07 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2023-10-04 15:45:35 +0200ystael(~ystael@user/ystael)
2023-10-04 15:48:12 +0200vglfr(~vglfr@88.154.45.56) (Ping timeout: 272 seconds)
2023-10-04 15:49:31 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com)
2023-10-04 15:49:41 +0200gatekempt(~gatekempt@user/gatekempt)
2023-10-04 15:56:52 +0200elbear(~lucian@109.101.137.234) (Ping timeout: 255 seconds)
2023-10-04 15:57:00 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 248 seconds)
2023-10-04 15:57:11 +0200vglfr(vglfr@gateway/vpn/protonvpn/vglfr)
2023-10-04 15:57:51 +0200Square(~Square4@user/square) (Remote host closed the connection)
2023-10-04 15:58:31 +0200Square(~Square4@user/square)
2023-10-04 16:00:25 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com)
2023-10-04 16:01:38 +0200stites(~stites@130.44.147.204) (Ping timeout: 258 seconds)
2023-10-04 16:02:23 +0200stites(~stites@2607:fb90:ad62:a06c:7a16:280f:353f:7e4f)
2023-10-04 16:02:43 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 264 seconds)
2023-10-04 16:04:39 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 240 seconds)
2023-10-04 16:05:57 +0200 <geekosaur> sm, I was asleep. IRC-side got spammed in a way that pinged everyone, leading to a lot of chatter afterward
2023-10-04 16:08:10 +0200Biledramer(~Biledrame@bras-base-otwaon230qw-grc-20-174-88-125-120.dsl.bell.ca)
2023-10-04 16:08:11 +0200 <Biledramer> Justin Bieber and Mariah Carey f u c k in their minecraft world! Sample and link: Meanwhile, Justin was smoking his bong, watching the two women and getting more aroused by the minute. As Justin Bieber got high on weed, his eyes couldn't help but fixate on Mariah's nether regions. The smoke had given him the munchies, and he craved a snack. Without any shame, he dove his face into Mariah's vagina,
2023-10-04 16:08:12 +0200 <Biledramer> devouring the feces that lay within. https://justpaste.it/MariahCareyMinecraftALHotPocket
2023-10-04 16:08:19 +0200 <mauke> how appropriate
2023-10-04 16:08:36 +0200 <EvanR> suspicious
2023-10-04 16:10:52 +0200ChanServ+o geekosaur
2023-10-04 16:10:59 +0200geekosaur+b *!*@bras-base-otwaon230qw-grc-20-174-88-125-120.dsl.bell.ca
2023-10-04 16:10:59 +0200Biledramergeekosaur (Biledramer)
2023-10-04 16:11:08 +0200geekosaur-o geekosaur
2023-10-04 16:12:02 +0200jbalint(~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7)
2023-10-04 16:12:06 +0200 <geekosaur> time to reinstate that ping on justpaste.it again I guess
2023-10-04 16:12:22 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2023-10-04 16:12:56 +0200remexre(~remexre@user/remexre) (Ping timeout: 255 seconds)
2023-10-04 16:12:56 +0200jbalint_(~jbalint@071-090-119-177.res.spectrum.com) (Ping timeout: 255 seconds)
2023-10-04 16:14:20 +0200simendsjo(~user@84.211.91.241) (Ping timeout: 246 seconds)
2023-10-04 16:14:41 +0200remexre(~remexre@user/remexre)
2023-10-04 16:19:03 +0200mysl(~mysl@user/mysl) (Ping timeout: 255 seconds)
2023-10-04 16:19:22 +0200vglfr(vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 255 seconds)
2023-10-04 16:20:46 +0200mysl(~mysl@user/mysl)
2023-10-04 16:21:29 +0200ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 255 seconds)
2023-10-04 16:28:32 +0200ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net)
2023-10-04 16:32:37 +0200fendor(~fendor@2a02:8388:1640:be00:aab:1226:f274:5021)
2023-10-04 16:32:54 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2023-10-04 16:33:43 +0200cheater(~Username@user/cheater)
2023-10-04 16:34:37 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c)
2023-10-04 16:36:17 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com)
2023-10-04 16:38:43 +0200tzh(~tzh@c-71-193-181-0.hsd1.or.comcast.net)
2023-10-04 16:40:35 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 240 seconds)
2023-10-04 16:41:17 +0200ChanServ+o litharge
2023-10-04 16:41:18 +0200litharge-bo *!*@bras-base-otwaon230qw-grc-20-174-88-125-120.dsl.bell.ca litharge
2023-10-04 16:41:48 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds)
2023-10-04 16:42:00 +0200sus0(zero@user/zeromomentum)
2023-10-04 16:47:24 +0200hugo(znc@verdigris.lysator.liu.se)
2023-10-04 16:48:44 +0200CiaoSen(~Jura@5.83.178.44) (Ping timeout: 248 seconds)
2023-10-04 16:49:42 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:dc43:d109:46ef:3532) (Quit: WeeChat 2.8)
2023-10-04 16:52:07 +0200mysl_(~mysl@user/mysl)
2023-10-04 16:53:22 +0200mysl(~mysl@user/mysl) (Ping timeout: 252 seconds)
2023-10-04 16:54:42 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-10-04 16:55:08 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds)
2023-10-04 16:59:34 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
2023-10-04 17:02:40 +0200Square2(~Square4@user/square)
2023-10-04 17:03:52 +0200hugo(znc@verdigris.lysator.liu.se)
2023-10-04 17:04:45 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com)
2023-10-04 17:04:59 +0200stites(~stites@2607:fb90:ad62:a06c:7a16:280f:353f:7e4f) (Read error: Connection reset by peer)
2023-10-04 17:05:19 +0200stites(~stites@130.44.147.204)
2023-10-04 17:05:28 +0200Square(~Square4@user/square) (Ping timeout: 272 seconds)
2023-10-04 17:06:20 +0200mysl(~mysl@user/mysl)
2023-10-04 17:07:25 +0200mysl_(~mysl@user/mysl) (Ping timeout: 248 seconds)
2023-10-04 17:09:16 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 272 seconds)
2023-10-04 17:10:53 +0200gatekempt(~gatekempt@user/gatekempt) (Quit: Textual IRC Client: www.textualapp.com)
2023-10-04 17:12:25 +0200danza(~francesco@151.47.100.65) (Read error: Connection reset by peer)
2023-10-04 17:14:08 +0200chomwitt(~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1)
2023-10-04 17:18:17 +0200crook1389(uid581388@id-581388.ilkley.irccloud.com)
2023-10-04 17:18:27 +0200 <crook1389> hi
2023-10-04 17:18:33 +0200 <geekosaur> hello
2023-10-04 17:19:57 +0200 <crook1389> i am trying to write a program to help me understand lambda calculus, but im struggling a bit with the data type for it.
2023-10-04 17:19:57 +0200 <crook1389> so far i have data Lambda = Var Char | Abs Char Lambda | App Lambda Lambda
2023-10-04 17:20:01 +0200danza(~francesco@151.37.116.129)
2023-10-04 17:20:33 +0200 <crook1389> but is there a way i can make it so that both times there is a var?
2023-10-04 17:20:54 +0200 <crook1389> what I mean is, I can't just write Abs Var Lambda for one of the terms
2023-10-04 17:23:44 +0200 <geekosaur> correct. you could use a separate data type, but for this I don't think you need more than a Map in State
2023-10-04 17:24:54 +0200 <Athas> crook1389: I would define a 'type Name = Char' and then use 'Var Name' and 'Abs Name Lambda'. But there is nothing wrong with your definition; it is the standard way.
2023-10-04 17:25:42 +0200 <geekosaur> right
2023-10-04 17:25:55 +0200 <crook1389> thank you guys
2023-10-04 17:26:10 +0200 <geekosaur> I was jumping a bit ahead
2023-10-04 17:28:06 +0200sabino(~sabino@user/sabino)
2023-10-04 17:28:43 +0200 <geekosaur> mm, wouldn't even be State, it'd be Reader
2023-10-04 17:28:49 +0200billchenchina(~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a)
2023-10-04 17:31:45 +0200elbear(~lucian@109.101.137.234)
2023-10-04 17:32:42 +0200mysl(~mysl@user/mysl) (Ping timeout: 272 seconds)
2023-10-04 17:34:09 +0200mysl(~mysl@user/mysl)
2023-10-04 17:36:11 +0200elbear(~lucian@109.101.137.234) (Ping timeout: 255 seconds)
2023-10-04 17:37:17 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) (Read error: Connection reset by peer)
2023-10-04 17:37:32 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148)
2023-10-04 17:40:58 +0200cpressey(~cpressey@host-89-240-119-146.as13285.net) (Quit: Client closed)
2023-10-04 17:41:15 +0200cpressey(~cpressey@host-89-240-119-146.as13285.net)
2023-10-04 17:53:22 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) (Remote host closed the connection)
2023-10-04 17:55:03 +0200hugo(znc@verdigris.lysator.liu.se)
2023-10-04 17:55:56 +0200 <shapr> crook1389: hey, are you in Göteborg?
2023-10-04 17:56:28 +0200 <crook1389> shapr, no, how come?
2023-10-04 17:58:41 +0200mysl(~mysl@user/mysl) (Ping timeout: 255 seconds)
2023-10-04 18:00:26 +0200mysl(~mysl@user/mysl)
2023-10-04 18:01:48 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds)
2023-10-04 18:02:42 +0200hiredman(~hiredman@frontier1.downey.family) (Quit: Reconnecting)
2023-10-04 18:02:52 +0200hiredman(~hiredman@frontier1.downey.family)
2023-10-04 18:11:08 +0200 <shapr> crook1389: oh, I thought you might be Robert Crook
2023-10-04 18:11:45 +0200 <crook1389> sorry to disappoint ;)
2023-10-04 18:12:06 +0200 <crook1389> (although i have been there, ages ago. nice place)
2023-10-04 18:12:07 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl)
2023-10-04 18:13:42 +0200kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1))
2023-10-04 18:15:27 +0200euleritian(~euleritia@p200300d40f0c6500fb849d09d875a9dc.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2023-10-04 18:15:40 +0200statusbot12(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com)
2023-10-04 18:15:41 +0200 <ncf> how was the weather
2023-10-04 18:15:48 +0200erisco_(~erisco@d24-141-66-165.home.cgocable.net)
2023-10-04 18:16:14 +0200iteratee_(~kyle@162.218.222.207)
2023-10-04 18:16:18 +0200statusbot(~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Read error: Connection reset by peer)
2023-10-04 18:16:22 +0200iteratee(~kyle@162.218.222.207) (Read error: Connection reset by peer)
2023-10-04 18:17:45 +0200 <crook1389> cool
2023-10-04 18:17:48 +0200 <crook1389> and a bit rainy too
2023-10-04 18:19:04 +0200erisco(~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 255 seconds)
2023-10-04 18:19:04 +0200erisco_erisco
2023-10-04 18:19:08 +0200 <danza> for some reason there is a significant haskell community in Goeteborg... at least i thought so from stuff i found online
2023-10-04 18:20:27 +0200 <crook1389> oh interesting
2023-10-04 18:21:10 +0200 <crook1389> although from my extremely limited online browsing, i get the impression that haskell is quite popular in europe
2023-10-04 18:21:27 +0200 <danza> in comparison with... ?
2023-10-04 18:22:07 +0200ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se) (Quit: ThePenguin)
2023-10-04 18:22:24 +0200 <crook1389> i just mean that, most of the time whenever i check out a blog post or github gist or whatever of someone who explains some haskell thing, it turns out that person has a website and they are based in europe
2023-10-04 18:23:01 +0200ThePenguin(~ThePengui@cust-95-80-24-166.csbnet.se)
2023-10-04 18:23:45 +0200hugo(znc@verdigris.lysator.liu.se)
2023-10-04 18:24:10 +0200 <danza> oh, i see, thought haskell was bigger in the US. The truth is probably that it is marginal everywhere :D
2023-10-04 18:26:11 +0200 <crook1389> i can agree with that haha
2023-10-04 18:30:38 +0200mysl(~mysl@user/mysl) (Ping timeout: 255 seconds)
2023-10-04 18:31:55 +0200mysl(~mysl@user/mysl)
2023-10-04 18:31:57 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148)
2023-10-04 18:31:59 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2023-10-04 18:35:56 +0200hyiltiz(~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 255 seconds)
2023-10-04 18:36:03 +0200simendsjo(~user@84.211.91.241)
2023-10-04 18:41:32 +0200econo_(uid147250@id-147250.tinside.irccloud.com)
2023-10-04 18:41:33 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) (Remote host closed the connection)
2023-10-04 18:41:47 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148)
2023-10-04 18:45:05 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds)
2023-10-04 18:45:15 +0200thegeekinside(~thegeekin@189.217.90.224)
2023-10-04 18:48:37 +0200simendsjo(~user@84.211.91.241) (Remote host closed the connection)
2023-10-04 18:49:59 +0200thegeekinside(~thegeekin@189.217.90.224) (Ping timeout: 255 seconds)
2023-10-04 18:50:37 +0200thegeekinside(~thegeekin@189.217.90.224)
2023-10-04 18:55:45 +0200hyiltiz(~hyiltiz@2620:149:13d1:100::1db)
2023-10-04 18:55:47 +0200thegeekinside(~thegeekin@189.217.90.224) (Remote host closed the connection)
2023-10-04 18:59:09 +0200ulysses4ever(~artem@2601:408:c408:4d95:8cb8:b1ce:18cd:1b77)
2023-10-04 19:00:35 +0200artem(~artem@c-73-103-90-145.hsd1.in.comcast.net) (Ping timeout: 240 seconds)
2023-10-04 19:02:07 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2023-10-04 19:04:40 +0200thegeekinside(~thegeekin@189.217.90.224)
2023-10-04 19:05:31 +0200artem(~artem@192.31.0.5)
2023-10-04 19:05:47 +0200hugo(znc@verdigris.lysator.liu.se)
2023-10-04 19:07:51 +0200ulysses4ever(~artem@2601:408:c408:4d95:8cb8:b1ce:18cd:1b77) (Ping timeout: 260 seconds)
2023-10-04 19:08:32 +0200ulysses4ever(~artem@73.145.242.38)
2023-10-04 19:08:47 +0200rgw(~R@2605:a601:a0df:5600:c13b:d5ca:4d4e:95f5)
2023-10-04 19:10:01 +0200shawwwnshawwwwn
2023-10-04 19:11:51 +0200shawwwwnshawwwn
2023-10-04 19:11:58 +0200artem(~artem@192.31.0.5) (Ping timeout: 252 seconds)
2023-10-04 19:13:01 +0200artem(~artem@73.145.242.38)
2023-10-04 19:13:02 +0200ulysses4ever(~artem@73.145.242.38) (Read error: Connection reset by peer)
2023-10-04 19:13:12 +0200artem(~artem@73.145.242.38) (Client Quit)
2023-10-04 19:15:56 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds)
2023-10-04 19:18:17 +0200hyiltiz(~hyiltiz@2620:149:13d1:100::1db) (Ping timeout: 258 seconds)
2023-10-04 19:19:49 +0200danza(~francesco@151.37.116.129) (Ping timeout: 258 seconds)
2023-10-04 19:25:18 +0200sm(~sm@plaintextaccounting/sm)
2023-10-04 19:26:43 +0200 <haskellbridge> <s​m> geekosaur: I was wondering why there's no Admin user in this matrix room.. didn't you create the Haskell IRC room ?
2023-10-04 19:27:03 +0200 <geekosaur> hm, I should still be in there
2023-10-04 19:29:02 +0200 <haskellbridge> <g​eekosaur> also I thought I'd granted yopu admin; I don't like being a SPOF
2023-10-04 19:29:33 +0200elbear(~lucian@109.101.137.234)
2023-10-04 19:30:45 +0200 <haskellbridge> <g​eekosaur> you should be an admin now, I think
2023-10-04 19:30:46 +0200 <haskellbridge> <g​eekosaur> hm, client doesn't show it
2023-10-04 19:30:57 +0200dfg(~dfg@user/dfg) (Quit: I hate quit messages.)
2023-10-04 19:30:58 +0200 <haskellbridge> <g​eekosaur> hold on
2023-10-04 19:31:09 +0200 <haskellbridge> <s​m> I'd prefer others be admin honestly, I have my hands full and bridging is just too mucjh
2023-10-04 19:31:15 +0200 <haskellbridge> <s​m> I'd prefer others be admin honestly, I have my hands full and bridging is just too much
2023-10-04 19:31:22 +0200 <geekosaur> any suggestions?
2023-10-04 19:32:24 +0200Square2(~Square4@user/square) (Ping timeout: 272 seconds)
2023-10-04 19:32:25 +0200haskellbridge<s​m> peers at the room.. don't like the look of these characters..
2023-10-04 19:33:04 +0200dfg(~dfg@dfg.rocks)
2023-10-04 19:33:04 +0200dfg(~dfg@dfg.rocks) (Changing host)
2023-10-04 19:33:04 +0200dfg(~dfg@user/dfg)
2023-10-04 19:33:17 +0200 <haskellbridge> <s​m> fine I'll be a backup until trustworthy suck^H^H^H^Hvolunteers show up. Indeed it shouldn't be given lightly because you can't take it back
2023-10-04 19:33:27 +0200 <geekosaur> oh interesting, my changes via nheko took after all. or half-took; I wonder if it's waiting for you to approve it
2023-10-04 19:34:00 +0200elbear(~lucian@109.101.137.234) (Ping timeout: 258 seconds)
2023-10-04 19:35:31 +0200 <geekosaur> there's several I think I would trust with it (for example alanz is a ghc contributor)
2023-10-04 19:36:02 +0200hugo(znc@verdigris.lysator.liu.se)
2023-10-04 19:38:13 +0200 <haskellbridge> <s​m> +1 ! Or maybe @hgolden, @hpc, @maralorn might be willing
2023-10-04 19:39:02 +0200 <haskellbridge> <s​m> I do appear to be an Admin on my end
2023-10-04 19:39:30 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) (Remote host closed the connection)
2023-10-04 19:41:15 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2023-10-04 19:42:04 +0200ft(~ft@p3e9bc680.dip0.t-ipconnect.de)
2023-10-04 19:43:59 +0200mysl(~mysl@user/mysl) (Ping timeout: 255 seconds)
2023-10-04 19:49:31 +0200qqq(~qqq@92.43.167.61)
2023-10-04 19:49:57 +0200sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-10-04 19:50:13 +0200mysl(~mysl@user/mysl)
2023-10-04 19:50:51 +0200sm(~sm@plaintextaccounting/sm)
2023-10-04 19:52:20 +0200danza(~francesco@151.37.116.129)
2023-10-04 19:52:55 +0200 <haskellbridge> <g​eekosaur> element showed you as admin but grayed out, and I don't see the channel notifications from when I increased your power level
2023-10-04 19:54:03 +0200 <haskellbridge> <g​eekosaur> oh, it backfilled finally
2023-10-04 19:54:26 +0200 <haskellbridge> <g​eekosaur> but yes, we need another admin and some mods
2023-10-04 19:54:37 +0200 <haskellbridge> <g​eekosaur> (you were a mod before)
2023-10-04 19:57:06 +0200euleritian(~euleritia@p200300d40f0c6500beb043b21448d196.dip0.t-ipconnect.de)
2023-10-04 19:57:30 +0200 <haskellbridge> <g​eekosaur> perhaps this discussion should move to meta or admin
2023-10-04 19:58:28 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-10-04 20:00:01 +0200sm(~sm@plaintextaccounting/sm) (Quit: sm)
2023-10-04 20:02:52 +0200hyiltiz(~hyiltiz@2620:149:13d1:100::1db)
2023-10-04 20:03:01 +0200sm(~sm@plaintextaccounting/sm)
2023-10-04 20:06:50 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148)
2023-10-04 20:07:15 +0200sm(~sm@plaintextaccounting/sm) (Client Quit)
2023-10-04 20:08:30 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 272 seconds)
2023-10-04 20:16:22 +0200nckx_(~nckx@libera/staff/owl/nckx)
2023-10-04 20:17:58 +0200nckx_nckx
2023-10-04 20:17:59 +0200nckxnckhexen
2023-10-04 20:20:34 +0200danza(~francesco@151.37.116.129) (Ping timeout: 255 seconds)
2023-10-04 20:23:24 +0200qqq(~qqq@92.43.167.61) (Read error: Connection reset by peer)
2023-10-04 20:24:33 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) (Remote host closed the connection)
2023-10-04 20:27:03 +0200qqq(~qqq@92.43.167.61)
2023-10-04 20:28:25 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 252 seconds)
2023-10-04 20:28:47 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Ping timeout: 252 seconds)
2023-10-04 20:29:04 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148)
2023-10-04 20:30:36 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2023-10-04 20:30:42 +0200gmg(~user@user/gehmehgeh)
2023-10-04 20:32:08 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 4.0.4)
2023-10-04 20:32:29 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2023-10-04 20:32:29 +0200wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2023-10-04 20:32:29 +0200wroathe(~wroathe@user/wroathe)
2023-10-04 20:37:50 +0200eggplantade(~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) (Remote host closed the connection)
2023-10-04 20:43:33 +0200elbear(~lucian@109.101.137.234)
2023-10-04 20:45:19 +0200Tuplanolla(~Tuplanoll@91-159-68-236.elisa-laajakaista.fi)
2023-10-04 20:45:55 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 264 seconds)
2023-10-04 20:47:40 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7)
2023-10-04 20:47:41 +0200elbear(~lucian@109.101.137.234) (Ping timeout: 246 seconds)
2023-10-04 20:56:16 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-10-04 20:58:49 +0200todi(~todi@p5dca5e79.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2023-10-04 21:00:15 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2023-10-04 21:01:13 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds)
2023-10-04 21:07:49 +0200prite(~pritam@user/pritambaral) (Quit: Konversation terminated!)
2023-10-04 21:16:25 +0200Pickchea(~private@user/pickchea)
2023-10-04 21:17:01 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2023-10-04 21:19:05 +0200waleee(~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds)
2023-10-04 21:20:18 +0200cptaffe(~cptaffe@user/cptaffe) (Remote host closed the connection)
2023-10-04 21:21:00 +0200waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
2023-10-04 21:24:28 +0200troydm(~troydm@user/troydm)
2023-10-04 21:26:01 +0200oSdKiIeLdToOgN(~oSdKiIeLd@bras-base-otwaon230qw-grc-09-174-89-133-98.dsl.bell.ca)
2023-10-04 21:26:02 +0200 <oSdKiIeLdToOgN> Nermal Gets Raped by Garfield and Speedy Gonzalez https://justpaste.it/ck15n Read it today at Just Paste It! Excerpt: But the depravity didn't end there. Garfield and Speedy continued to violate Nermal in every way possible. They took turns sodomizing him with a broomstick, forcing him to eat their shit, and even brought in a live chicken to sexually assault while Nermal watched in horror.
2023-10-04 21:26:13 +0200ChanServ+o geekosaur
2023-10-04 21:26:17 +0200geekosaur+b *!*@bras-base-otwaon230qw-grc-09-174-89-133-98.dsl.bell.ca
2023-10-04 21:26:18 +0200oSdKiIeLdToOgNgeekosaur (oSdKiIeLdToOgN)
2023-10-04 21:26:34 +0200geekosaur-o geekosaur
2023-10-04 21:28:26 +0200cptaffe(~cptaffe@user/cptaffe)
2023-10-04 21:32:42 +0200cptaffe(~cptaffe@user/cptaffe) (Remote host closed the connection)
2023-10-04 21:33:21 +0200fendor(~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection)
2023-10-04 21:36:35 +0200cptaffe(~cptaffe@user/cptaffe)
2023-10-04 21:36:40 +0200cptaffe(~cptaffe@user/cptaffe) (Remote host closed the connection)
2023-10-04 21:44:07 +0200cpressey(~cpressey@host-89-240-119-146.as13285.net) (Quit: Ping timeout (120 seconds))
2023-10-04 21:44:31 +0200 <haskellbridge> <m​aralorn> Oh, wow … Yeah, I‘d volunteer being a moderator here. Although I admittedly don’t look in here systematically.
2023-10-04 21:44:35 +0200idgaen(~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5)
2023-10-04 21:45:05 +0200 <haskellbridge> <m​aralorn> The nixos.org has a moderation team with a well working moderation bot for all channels in the nixos space.
2023-10-04 21:45:22 +0200 <haskellbridge> <m​aralorn> Maybe we could establish something like that for the haskell Space?
2023-10-04 21:45:45 +0200 <EvanR> I for one welcome our new robot moderator overlords
2023-10-04 21:45:47 +0200 <haskellbridge> <m​aralorn> Alltough the Haskell community feels a lot more decentral than the nixos community.
2023-10-04 21:46:09 +0200 <haskellbridge> <m​aralorn> I don‘t think the bot does not do any automated decisions.
2023-10-04 21:46:29 +0200 <EvanR> there's no chat-gpt for that?
2023-10-04 21:46:59 +0200 <haskellbridge> <m​aralorn> It’s primarily responsible for spreading bans to all rooms and to facilitate removing spam messages in batch.
2023-10-04 21:48:14 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2023-10-04 21:48:45 +0200 <EvanR> imagine being able to remove spam messages
2023-10-04 21:49:08 +0200 <haskellbridge> <m​aralorn> geekosaur: There is stil spam left to be removed here.^
2023-10-04 21:49:20 +0200 <rgw> why does someone even spam a programming channel with bad fanfic porn?
2023-10-04 21:50:47 +0200 <monochrom> It is actually less human labour to auto-spam all channels than manually select/unselect channels to spam.
2023-10-04 21:50:59 +0200cptaffe(~cptaffe@user/cptaffe)
2023-10-04 21:51:00 +0200 <geekosaur> we have a spam bot in the main Matrix Haskell room
2023-10-04 21:51:21 +0200 <monochrom> Or in "simple English", "why should they care?"
2023-10-04 21:51:24 +0200 <geekosaur> I don't knoiw what it'd take to invite it to the bridged room
2023-10-04 21:51:49 +0200 <rgw> i would vaguely understand if it was some product spam, but garfield porn?
2023-10-04 21:52:05 +0200 <mauke> the interesting thing is that they registered an account
2023-10-04 21:52:18 +0200 <monochrom> Perhaps it is a product in some sense.
2023-10-04 21:52:41 +0200 <rgw> how?
2023-10-04 21:52:58 +0200 <monochrom> Perhaps the page is full of malware. "garfield" is just a cover.
2023-10-04 21:53:18 +0200 <haskellbridge> <g​eekosaur> yeh, my guess is it tries to load JS malware
2023-10-04 21:53:33 +0200 <monochrom> Or perhaps it just wants you to help DDoS a legit website.
2023-10-04 21:53:45 +0200 <rgw> i mean that makes sense, but... wouldn't you pick something more enticing than garfield porn?
2023-10-04 21:55:59 +0200 <monochrom> My theory is that it is enticing for people who actually don't (or don't know how to) protect themselves from malware.
2023-10-04 21:56:27 +0200ChanServ+o litharge
2023-10-04 21:56:28 +0200litharge-bo *!*@bras-base-otwaon230qw-grc-09-174-89-133-98.dsl.bell.ca litharge
2023-10-04 21:56:45 +0200 <geekosaur> you might also consider that there are clients including web-based ones that load previews, and those previews might have the malware attached
2023-10-04 21:56:51 +0200 <rgw> weird to target irc for that then
2023-10-04 21:57:01 +0200crook1389(uid581388@id-581388.ilkley.irccloud.com) (Quit: Connection closed for inactivity)
2023-10-04 21:57:44 +0200 <rgw> oh i hadn't thought of the preview loading
2023-10-04 21:58:14 +0200 <geekosaur> (and that paste site might "conveniently" not strip JS)
2023-10-04 21:58:26 +0200 <geekosaur> or escape it
2023-10-04 21:59:31 +0200 <rgw> i still find the subject matter weird
2023-10-04 21:59:50 +0200 <rgw> the weird clarinet orgy from yesterday
2023-10-04 22:00:16 +0200 <dolio> Some people also just like the idea that they are offending people.
2023-10-04 22:00:40 +0200 <monochrom> My theory breaks down at some point. Eventually the salient principles are going to be: 1. Why should they care? 2. Is there intelligence on Earth?
2023-10-04 22:00:43 +0200 <rgw> well i thought of that, but the excerpts are more edgy funny than full offensive
2023-10-04 22:01:22 +0200 <rgw> compared to just linking people to goatse
2023-10-04 22:03:47 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2023-10-04 22:04:16 +0200pavonia(~user@user/siracusa)
2023-10-04 22:10:13 +0200_ht(~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht)
2023-10-04 22:11:51 +0200accord(uid568320@id-568320.hampstead.irccloud.com)
2023-10-04 22:13:06 +0200cpressey(~cpressey@host-89-240-119-146.as13285.net)
2023-10-04 22:14:39 +0200cpressey(~cpressey@host-89-240-119-146.as13285.net) (Client Quit)
2023-10-04 22:15:08 +0200Jackneill(~Jackneill@20014C4E1E1DF20045616002BB8F1538.dsl.pool.telekom.hu) (Ping timeout: 248 seconds)
2023-10-04 22:19:30 +0200 <EvanR> what is the wisdom on continuing to unban their reverse IP
2023-10-04 22:19:51 +0200 <geekosaur> they're unlikely to reuse it
2023-10-04 22:20:07 +0200 <geekosaur> hit and run, and a real user might show up later
2023-10-04 22:23:16 +0200 <[exa]> rgw: the bait is click, there's no other reason for it
2023-10-04 22:23:35 +0200ddellacosta(~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 240 seconds)
2023-10-04 22:24:26 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2023-10-04 22:25:00 +0200cpressey(~cpressey@host-89-240-119-146.as13285.net)
2023-10-04 22:28:25 +0200cpressey(~cpressey@host-89-240-119-146.as13285.net) (Client Quit)
2023-10-04 22:29:02 +0200michalz(~michalz@185.246.204.109) (Remote host closed the connection)
2023-10-04 22:29:07 +0200 <rgw> i just think the bait choice is weird
2023-10-04 22:29:12 +0200hugo(znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds)
2023-10-04 22:29:36 +0200 <EvanR> see no evil, hear no evil, click no evil
2023-10-04 22:29:55 +0200 <rgw> maybe that's why they do it, to make idiots like me overthink on it
2023-10-04 22:31:25 +0200 <[exa]> rgw: did you click and trigger the ad view? :D
2023-10-04 22:31:32 +0200 <rgw> no
2023-10-04 22:31:43 +0200 <[exa]> [palpatine voice:] good, goooood.
2023-10-04 22:31:54 +0200 <rgw> i don't want to read about garfield and speedy gonzalez doing things to nermal
2023-10-04 22:32:07 +0200chomwitt(~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds)
2023-10-04 22:32:19 +0200 <dolio> Maybe you should go discuss this in some other channel.
2023-10-04 22:33:01 +0200 <[exa]> also true.
2023-10-04 22:36:04 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 272 seconds)
2023-10-04 22:42:18 +0200hugo(znc@verdigris.lysator.liu.se)
2023-10-04 22:48:30 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2023-10-04 22:50:18 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2023-10-04 22:58:09 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net)
2023-10-04 23:02:36 +0200nate2(~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 248 seconds)
2023-10-04 23:05:21 +0200acidjnk(~acidjnk@p200300d6e7072f80bd9c9dafa0816e07.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2023-10-04 23:09:40 +0200dostoyevsky2(~sck@user/dostoyevsky2) (Quit: leaving)
2023-10-04 23:10:02 +0200dostoyevsky2(~sck@user/dostoyevsky2)
2023-10-04 23:15:30 +0200son0p(~ff@181.136.122.143) (Quit: Bye)
2023-10-04 23:22:31 +0200Sgeo(~Sgeo@user/sgeo)
2023-10-04 23:24:36 +0200 <juri_> i'm just wondering if there is an alegory for how monads work somewhere in there.
2023-10-04 23:25:37 +0200 <monochrom> Every instance of monad is such an allegory. :)
2023-10-04 23:26:04 +0200 <monochrom> List and Reader are particularly good at it.
2023-10-04 23:26:34 +0200 <monochrom> I think most of us also find parser monads helpful.
2023-10-04 23:35:08 +0200son0p(~ff@181.136.122.143)
2023-10-04 23:36:12 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds)
2023-10-04 23:38:21 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2023-10-04 23:38:59 +0200Me-me(~me-me@user/me-me) (Remote host closed the connection)
2023-10-04 23:39:14 +0200gmg(~user@user/gehmehgeh)
2023-10-04 23:41:38 +0200Me-me(~me-me@2602:ff16:3:0:1:dc:beef:d00d)
2023-10-04 23:42:57 +0200billchenchina(~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Remote host closed the connection)
2023-10-04 23:43:13 +0200billchenchina(~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a)
2023-10-04 23:44:29 +0200arkeet`(arkeet@moriya.ca)
2023-10-04 23:45:05 +0200arkeet(arkeet@moriya.ca) (Ping timeout: 258 seconds)
2023-10-04 23:45:06 +0200arkeet`arkeet
2023-10-04 23:46:03 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)