Logs on 2023-10-04 (liberachat/#haskell)
| 00:01:07 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:01:32 | → | califax joins (~califax@user/califx) |
| 00:01:42 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 00:02:07 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 00:03:41 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:03:43 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 00:03:56 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 00:04:37 | × | migas quits (~migas@astra4961.startdedicated.net) (Quit: Ping timeout (120 seconds)) |
| 00:04:53 | → | migas joins (~migas@astra4961.startdedicated.net) |
| 00:06:10 | × | masterbuilder quits (~masterbui@user/masterbuilder) (Ping timeout: 255 seconds) |
| 00:08:57 | × | jabuxas quits (~jabuxas@user/jabuxas) (Remote host closed the connection) |
| 00:09:07 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 00:10:31 | → | gmg joins (~user@user/gehmehgeh) |
| 00:13:10 | → | mvk joins (~mvk@2607:fea8:5c9a:a600::a27d) |
| 00:13:43 | × | mvk quits (~mvk@2607:fea8:5c9a:a600::a27d) (Client Quit) |
| 00:14:42 | × | Maxdamantus quits (~Maxdamant@user/maxdamantus) (Ping timeout: 260 seconds) |
| 00:15:25 | → | Maxdamantus joins (~Maxdamant@user/maxdamantus) |
| 00:19:10 | → | meinside joins (uid24933@id-24933.helmsley.irccloud.com) |
| 00:29:43 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 00:29:43 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 00:29:43 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:31:55 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 00:42:10 | × | Square2 quits (~Square@user/square) (Ping timeout: 255 seconds) |
| 00:42:14 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 272 seconds) |
| 00:42:45 | → | arahael joins (~arahael@1.145.13.97) |
| 00:47:03 | → | dsrt^ joins (~cd@76.145.193.217) |
| 00:47:16 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 00:48:29 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 00:48:30 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 00:49:34 | → | masterbuilder joins (~masterbui@user/masterbuilder) |
| 00:51:00 | × | arahael quits (~arahael@1.145.13.97) (Ping timeout: 240 seconds) |
| 00:53:38 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 01:08:17 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 01:13:04 | → | jargon joins (~jargon@174-22-202-54.phnx.qwest.net) |
| 01:17:10 | × | jargon quits (~jargon@174-22-202-54.phnx.qwest.net) (Remote host closed the connection) |
| 01:19:15 | → | Guest|35 joins (~Guest|35@155.94.198.189) |
| 01:19:27 | <Guest|35> | Hello |
| 01:19:37 | <Guest|35> | When I install Haskell under Win10 |
| 01:20:10 | <Guest|35> | Error occurred in MinGW X64: |
| 01:20:19 | <Guest|35> | [\\ Error ] [GHCup-05841] Download failed: Process "wget" with arguments ["-q", "-S", "-O", |
| 01:20:20 | <Guest|35> | [ ... ] "C:/ghcup\\cache\\ghcup-0.0.7.yaml.tmp", |
| 01:20:20 | <Guest|35> | [ ... ] "https://raw.githubusercontent.com/haskell |
| 01:21:21 | KM4MBG | is now known as jackhill |
| 01:22:34 | × | tdammers quits (~tdammers@219-131-178-143.ftth.glasoperator.nl) (Ping timeout: 245 seconds) |
| 01:26:00 | × | Guest|35 quits (~Guest|35@155.94.198.189) (Quit: Connection closed) |
| 01:31:01 | × | otto_s quits (~user@p5b0441b5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 01:32:45 | → | otto_s joins (~user@p4ff27346.dip0.t-ipconnect.de) |
| 01:35:39 | → | tdammers joins (~tdammers@219-131-178-143.ftth.glasoperator.nl) |
| 01:40:51 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 01:45:37 | × | ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 01:47:30 | → | ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 01:47:52 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) |
| 01:50:02 | → | a_uatLOL` joins (~a_ueb-_@45.224.213.149) |
| 01:50:49 | <a_uatLOL`> | https://www.youtube.com/watch?v=sqSA-SY5Hro |
| 01:50:50 | <a_uatLOL`> | God, if you’re 5 foot 3 and you’re 300 pounds |
| 01:50:51 | <a_uatLOL`> | Taxes ought not to pay for your bags of fudge rounds |
| 01:50:52 | <a_uatLOL`> | Young men are puttin’ themselves six feet in the ground |
| 01:50:53 | <a_uatLOL`> | ‘Cause all this damn country does is keep on kickin’ them down |
| 01:50:54 | <a_uatLOL`> | irc.supernets.org #superbowl |
| 01:50:55 | <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 |
| 01:50:56 | <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 |
| 01:50:57 | <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 |
| 01:50:58 | <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 |
| 01:50:59 | <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 |
| 01:51:00 | <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 |
| 01:51:01 | <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 |
| 01:51:02 | <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 |
| 01:51:03 | <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 |
| 01:51:04 | <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_ |
| 01:51:05 | <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 |
| 01:51:06 | ← | a_uatLOL` parts (~a_ueb-_@45.224.213.149) (Glined: User has been banned from the network.) |
| 01:51:12 | <brettgilio> | Hi everybody |
| 01:51:16 | <brettgilio> | Glad you all could join us |
| 01:51:41 | <neptun> | lol |
| 01:51:49 | <brettgilio> | So glad @a_uatLOL` could call this meeting to order |
| 01:52:07 | <brettgilio> | First item on the agenda. Chocolate: is it or is it not a primary food group |
| 01:52:09 | <yandere> | who the fuck what |
| 01:52:09 | <nurupo> | so, let's commerce the impromptu #haskell meeting :D |
| 01:52:12 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 01:52:14 | <EvanR> | submitted for the approval of the midnight society |
| 01:52:18 | <winny> | hope you all are having a lovely day :) |
| 01:52:27 | geekosaur | *eyeroll* |
| 01:52:30 | <yandere> | Alright, first order of business: tickling SPJ and making him giggle |
| 01:52:46 | <brettgilio> | No tickling until we solve the chocolate issue |
| 01:52:54 | <rgw> | it's the only food group |
| 01:52:55 | <ames> | i wonder what order those names are listed in |
| 01:52:57 | × | johnw quits (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 01:53:15 | <geekosaur> | (also, haven't seen supernets spam since the Late Unpleasantness) |
| 01:53:25 | <nurupo> | aspen: likely the order the irc server returned them in |
| 01:53:26 | <neptun> | i argue that chocolate IS a primary food group. i consume so much of it that it must be so. |
| 01:53:28 | <yandere> | chocolate is a sugary fermented mash crystallized and hardened with fat |
| 01:53:33 | <yandere> | *fruit mash |
| 01:53:47 | <yandere> | it cannot be a primary food group |
| 01:53:57 | <EvanR> | lol at the users consisting of just a lot of underscores |
| 01:54:02 | <rgw> | could it be a semigroup? |
| 01:54:07 | <yandere> | possible |
| 01:54:12 | <nurupo> | does a chocolate mutate? |
| 01:54:15 | <yandere> | the associativity of chocolate bars is well known |
| 01:54:22 | <yandere> | bar1 <> bar2 is a new bar |
| 01:54:24 | <brettgilio> | Crystalline sugars and fats is my middle name |
| 01:54:34 | <geekosaur> | it discolors if you leave it sitting around… |
| 01:54:36 | <neptun> | yandere: are you a yandere? i have a thing for yanderes. |
| 01:54:42 | <yandere> | i am yandere |
| 01:54:45 | <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 |
| 01:54:46 | <brettgilio> | geekosaur: just like my grandma |
| 01:54:51 | <yandere> | at least, that's what edwardk says |
| 01:54:59 | <yandere> | talk to him for more info |
| 01:55:09 | <neptun> | yandere: you should check out yandere-community.com it's a small community. you might like it. |
| 01:55:18 | <nurupo> | aspen: i see, so it's immutable but perishable over time. we need a new type system for that |
| 01:55:35 | <yandere> | >hikikomori nsfw hentai chat |
| 01:55:37 | <yandere> | thanks neptun |
| 01:55:43 | <neptun> | np |
| 01:56:24 | <aspen> | nurupo: hmmm? |
| 01:56:44 | <nurupo> | oh, sorry aspen, meant ames |
| 01:56:57 | <brettgilio> | Item #2 on the agenda: can you eat homotopy type theory |
| 01:57:10 | <yandere> | no, they barely eat their own dogfood |
| 01:57:27 | <geekosaur> | you can do pretty much anything to it. might be hard to digest though, I hear 😛 |
| 01:57:30 | <yandere> | it's too HoTT :^) |
| 01:57:34 | <yandere> | ba dum tss |
| 01:58:24 | <yandere> | nurupo: hey kid, you wanna learn a monad? |
| 01:58:37 | <geekosaur> | (lol matrix is rate-limiting haskellbridge because of all the activity in here) |
| 01:58:38 | <fn_lumi> | reporting for the meeting. haskell is very good |
| 01:58:54 | <yandere> | good fuck haskellbridge it makes nick id terrible |
| 01:59:16 | <brettgilio> | Why would you fuck a bridge???? |
| 01:59:21 | <geekosaur> | I can't run a homeserver on my laptop. things might change if I get a vps provisioned |
| 01:59:25 | <brettgilio> | I mean... you do do. |
| 02:00:11 | <geekosaur> | although I'll also need to get exempted from some rate limits by both libera and matrix in that case |
| 02:00:52 | <geekosaur> | I'm not real fond of it either but it does keep things connected |
| 02:01:10 | <yandere> | get a $5 droplet and set up znc |
| 02:01:16 | <nurupo> | yandere: no thanks. got any grapes? |
| 02:01:25 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) |
| 02:01:26 | <yandere> | nurupo: no but i do have groups |
| 02:01:36 | <brettgilio> | Then he waddled away |
| 02:01:43 | <nurupo> | waddle waddle waddle |
| 02:02:27 | <brettgilio> | geekosaur: if you are looking for a bouncer. sourcehut.org has a chat.sr.ht instance with soju running on it |
| 02:02:32 | <brettgilio> | That's how I use IRC |
| 02:02:34 | <brettgilio> | $2/mo |
| 02:03:03 | <fn_lumi> | same |
| 02:03:35 | <brettgilio> | It is a steal of a price. Tbqh |
| 02:03:55 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 264 seconds) |
| 02:04:01 | <brettgilio> | The git service is great. Has great CI builds. Plus an IRC bouncer? Like. Fuck. |
| 02:04:31 | <brettgilio> | Then I just connect to it on my phone through RevolutionIRC. |
| 02:05:34 | <yandere> | but then you have to deal with the social isolation of having to admit to your friends that you use sourcehut |
| 02:05:49 | <yandere> | Which takes a heavy toll |
| 02:06:35 | <brettgilio> | What friends. |
| 02:07:07 | <brettgilio> | I have a wife, a kid, and a pet snake. I don't have friends |
| 02:09:14 | <geekosaur[c]> | I'm not looking for a bouncer, I'm running a Matrix - IRC bridge |
| 02:09:44 | <geekosaur[c]> | I have this session for a bouncer |
| 02:09:49 | <brettgilio> | Is libera still blocking matrix connections? |
| 02:10:06 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 02:10:17 | <geekosaur[c]> | Not blocked, the gateway is down |
| 02:11:02 | <geekosaur[c]> | Nobody knows what plans EMS has for fixing it |
| 02:11:18 | <brettgilio> | That is super promising |
| 02:11:43 | <geekosaur[c]> | (Element Matrix Services that is) |
| 02:12:02 | <brettgilio> | Like when Slack dropped support for IRC lol |
| 02:12:44 | <geekosaur[c]> | Their IRC support people are unpaid volunteers |
| 02:13:11 | <geekosaur[c]> | And of course the gateway is closed source |
| 02:13:21 | <brettgilio> | It is? |
| 02:13:28 | <brettgilio> | Oof |
| 02:14:11 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 02:14:27 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 02:14:37 | <geekosaur[c]> | Matrix itself is open source, just the gateway appservice isn't |
| 02:14:54 | <brettgilio> | But.. like. Why not |
| 02:15:20 | <geekosaur[c]> | Who knows? |
| 02:15:36 | <brettgilio> | Probably Joe Biden |
| 02:16:04 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 02:16:04 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:16:04 | finn_elija | is now known as FinnElija |
| 02:16:34 | <brettgilio> | Gn all |
| 02:16:42 | brettgilio | -> zzz |
| 02:17:36 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) |
| 02:18:44 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 02:19:27 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) (Remote host closed the connection) |
| 02:19:41 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) |
| 02:21:46 | → | cuiltb^ joins (~cd@76.145.193.217) |
| 02:25:48 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 02:29:48 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 02:32:10 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 02:32:55 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) |
| 02:37:46 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 02:38:50 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 02:42:01 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 255 seconds) |
| 02:44:09 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) |
| 02:45:12 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 02:48:54 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 02:50:13 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 02:54:55 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 02:55:22 | → | johnw joins (~johnw@69.62.242.138) |
| 02:56:19 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 02:59:30 | → | sm joins (~sm@plaintextaccounting/sm) |
| 03:00:39 | × | td_ quits (~td@i53870920.versanet.de) (Ping timeout: 240 seconds) |
| 03:00:45 | → | init joins (21945@user/init) |
| 03:02:44 | → | td_ joins (~td@i53870914.versanet.de) |
| 03:04:13 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 258 seconds) |
| 03:05:30 | × | tom_ quits (~tom@host86-132-186-152.range86-132.btcentralplus.com) (Remote host closed the connection) |
| 03:10:52 | × | cptaffe quits (~cptaffe@user/cptaffe) (Remote host closed the connection) |
| 03:11:39 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) |
| 03:12:04 | → | puke joins (~puke@user/puke) |
| 03:16:15 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 03:16:36 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 03:17:08 | → | cptaffe joins (~cptaffe@user/cptaffe) |
| 03:22:06 | × | sabino quits (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 03:25:58 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) |
| 03:27:19 | × | cptaffe quits (~cptaffe@user/cptaffe) (Remote host closed the connection) |
| 03:28:23 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 03:29:51 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 03:30:20 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 03:36:33 | → | euleritian joins (~euleritia@p5b12497f.dip0.t-ipconnect.de) |
| 03:41:00 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 03:43:45 | → | cptaffe joins (~cptaffe@user/cptaffe) |
| 03:46:35 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 03:51:59 | → | aforemny joins (~aforemny@2001:9e8:6cf6:dc00:a7db:20ab:626:b138) |
| 03:52:11 | × | aforemny_ quits (~aforemny@i59F516DB.versanet.de) (Ping timeout: 260 seconds) |
| 03:52:57 | <dibblego> | @type local . pure |
| 03:52:58 | <lambdabot> | MonadReader r m => r -> m a -> m a |
| 04:01:32 | <jackdk> | @type local . const |
| 04:01:33 | <lambdabot> | MonadReader r m => r -> m a -> m a |
| 04:01:44 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 255 seconds) |
| 04:04:23 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) |
| 04:04:38 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 04:04:57 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 04:04:57 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 04:04:57 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 04:04:57 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 04:04:57 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Read error: Connection reset by peer) |
| 04:05:14 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 04:05:17 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 04:05:23 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 04:05:24 | → | califax joins (~califax@user/califx) |
| 04:05:31 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 04:08:36 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 04:11:44 | × | myxos quits (~myxos@cpe-65-28-251-121.cinci.res.rr.com) (Ping timeout: 255 seconds) |
| 04:18:53 | → | vglfr joins (~vglfr@88.155.143.2) |
| 04:20:25 | → | myxos joins (~myxos@cpe-65-28-251-121.cinci.res.rr.com) |
| 04:27:50 | × | thegeekinside quits (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 04:29:38 | → | sm joins (~sm@plaintextaccounting/sm) |
| 04:30:55 | × | gooba quits (~gooba@90-231-13-185-no3430.tbcn.telia.com) (Remote host closed the connection) |
| 04:31:12 | → | gooba joins (~gooba@90-231-13-185-no3430.tbcn.telia.com) |
| 04:34:16 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 260 seconds) |
| 04:36:00 | × | cptaffe quits (~cptaffe@user/cptaffe) (Remote host closed the connection) |
| 04:39:58 | → | thegeekinside joins (~thegeekin@189.217.90.224) |
| 04:40:38 | → | cptaffe joins (~cptaffe@user/cptaffe) |
| 04:40:44 | × | cptaffe quits (~cptaffe@user/cptaffe) (Remote host closed the connection) |
| 04:40:52 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) |
| 04:46:04 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 04:47:01 | × | aforemny quits (~aforemny@2001:9e8:6cf6:dc00:a7db:20ab:626:b138) (Ping timeout: 260 seconds) |
| 04:47:37 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 04:47:51 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) |
| 04:49:31 | <haskellbridge> | <sm> morning all |
| 04:51:55 | <haskellbridge> | <sm> 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 |
| 04:53:02 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 272 seconds) |
| 05:00:37 | → | sm joins (~sm@plaintextaccounting/sm) |
| 05:04:58 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 258 seconds) |
| 05:10:47 | → | michalz joins (~michalz@185.246.204.109) |
| 05:13:55 | → | cptaffe joins (~cptaffe@user/cptaffe) |
| 05:14:31 | × | cptaffe quits (~cptaffe@user/cptaffe) (Remote host closed the connection) |
| 05:18:28 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 05:21:05 | → | acidjnk joins (~acidjnk@p200300d6e7072f80c83efacb636187f1.dip0.t-ipconnect.de) |
| 05:27:26 | × | thegeekinside quits (~thegeekin@189.217.90.224) (Read error: Connection reset by peer) |
| 05:30:06 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) |
| 05:31:41 | → | Guest67 joins (~Guest87@2603-8000-8f00-9f67-f8a5-5b79-e808-31ad.res6.spectrum.com) |
| 05:31:41 | × | Guest67 quits (~Guest87@2603-8000-8f00-9f67-f8a5-5b79-e808-31ad.res6.spectrum.com) (Client Quit) |
| 05:33:26 | → | Guest35 joins (~Guest87@2603-8000-8f00-9f67-f8a5-5b79-e808-31ad.res6.spectrum.com) |
| 05:33:37 | ← | Guest35 parts (~Guest87@2603-8000-8f00-9f67-f8a5-5b79-e808-31ad.res6.spectrum.com) () |
| 05:34:35 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 05:34:53 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 05:40:20 | → | sm joins (~sm@plaintextaccounting/sm) |
| 05:40:30 | → | CiaoSen joins (~Jura@2a05:5800:2a5:9f00:664b:f0ff:fe37:9ef) |
| 05:41:47 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) |
| 05:46:09 | × | vglfr quits (~vglfr@88.155.143.2) (Remote host closed the connection) |
| 05:46:46 | → | vglfr joins (~vglfr@88.155.143.2) |
| 05:47:38 | → | cptaffe joins (~cptaffe@user/cptaffe) |
| 05:49:48 | × | vglfr quits (~vglfr@88.155.143.2) (Remote host closed the connection) |
| 05:50:08 | × | cptaffe quits (~cptaffe@user/cptaffe) (Remote host closed the connection) |
| 05:50:30 | → | vglfr joins (~vglfr@88.155.143.2) |
| 05:51:47 | → | notzmv joins (~zmv@user/notzmv) |
| 05:53:36 | × | nek0 quits (~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat) |
| 05:53:40 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:dc43:d109:46ef:3532) |
| 05:56:51 | <ghoulguy> | Hi, sm |
| 05:59:07 | × | Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 255 seconds) |
| 06:00:15 | × | vglfr quits (~vglfr@88.155.143.2) (Remote host closed the connection) |
| 06:00:52 | → | vglfr joins (~vglfr@88.155.143.2) |
| 06:01:07 | → | cptaffe joins (~cptaffe@user/cptaffe) |
| 06:01:35 | × | cptaffe quits (~cptaffe@user/cptaffe) (Remote host closed the connection) |
| 06:02:20 | × | vglfr quits (~vglfr@88.155.143.2) (Remote host closed the connection) |
| 06:02:46 | → | vglfr joins (~vglfr@88.155.143.2) |
| 06:03:09 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 06:03:20 | → | cptaffe joins (~cptaffe@user/cptaffe) |
| 06:03:37 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 06:04:43 | × | vglfr quits (~vglfr@88.155.143.2) (Remote host closed the connection) |
| 06:05:21 | → | vglfr joins (~vglfr@88.155.143.2) |
| 06:05:25 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 06:05:28 | × | rgw quits (~R@2605:a601:a0df:5600:5fc:3a3a:86f0:f33a) (Read error: Connection reset by peer) |
| 06:06:08 | × | vglfr quits (~vglfr@88.155.143.2) (Remote host closed the connection) |
| 06:06:36 | → | Sciencentistguy joins (~sciencent@hacksoc/ordinary-member) |
| 06:06:44 | → | vglfr joins (~vglfr@88.155.143.2) |
| 06:06:52 | × | vglfr quits (~vglfr@88.155.143.2) (Remote host closed the connection) |
| 06:08:14 | → | vglfr joins (~vglfr@88.155.143.2) |
| 06:08:43 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 264 seconds) |
| 06:09:19 | → | nek0 joins (~nek0@2a01:4f8:222:2b41::12) |
| 06:13:27 | × | vglfr quits (~vglfr@88.155.143.2) (Read error: Connection reset by peer) |
| 06:13:46 | → | vglfr joins (vglfr@gateway/vpn/protonvpn/vglfr) |
| 06:20:35 | × | sm quits (~sm@plaintextaccounting/sm) (Ping timeout: 240 seconds) |
| 06:21:59 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 06:29:32 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 06:31:35 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 06:33:47 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:40:45 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 06:41:05 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) |
| 06:43:04 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 06:45:27 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 06:47:33 | → | simendsjo joins (~user@84.211.91.241) |
| 06:48:53 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 06:51:18 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 06:52:28 | × | vglfr quits (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 248 seconds) |
| 06:56:36 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 06:57:16 | × | ft quits (~ft@p3e9bc680.dip0.t-ipconnect.de) (Quit: leaving) |
| 06:59:35 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 07:00:40 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) |
| 07:05:20 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 07:07:56 | → | vglfr joins (~vglfr@88.155.143.2) |
| 07:10:55 | → | danza_ joins (~francesco@151.57.104.251) |
| 07:11:31 | × | vglfr quits (~vglfr@88.155.143.2) (Read error: Connection reset by peer) |
| 07:11:41 | → | danse-nr3__ joins (~francesco@151.57.104.251) |
| 07:11:51 | → | vglfr joins (vglfr@gateway/vpn/protonvpn/vglfr) |
| 07:18:12 | × | Nixkernal quits (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 07:21:30 | <tomsmeding> | sm: https://ircbrowse.tomsmeding.com/day/lchaskell/2023/10/04?id=1097957#trid1097957 |
| 07:24:00 | → | Jackneill joins (~Jackneill@20014C4E1E1DF20045616002BB8F1538.dsl.pool.telekom.hu) |
| 07:25:27 | × | vglfr quits (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 240 seconds) |
| 07:28:14 | → | vglfr joins (vglfr@gateway/vpn/protonvpn/vglfr) |
| 07:29:00 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 07:30:19 | → | Nixkernal joins (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) |
| 07:30:43 | <haskellbridge> | <sm> hi tomsmeding, why are you pointing me to that ? |
| 07:31:09 | <tomsmeding> | because you were asking about the weird interaction between two people this night |
| 07:31:17 | <tomsmeding> | while in my log there's quite a lot of people involved |
| 07:31:24 | <tomsmeding> | but maybe I misunderstood you :) |
| 07:31:27 | × | Nixkernal quits (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Client Quit) |
| 07:31:50 | → | Nixkernal joins (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) |
| 07:32:09 | <haskellbridge> | <sm> I see 10m of spammy "dialogue" and I don't really want to watch their video to learn more :) |
| 07:32:18 | <tomsmeding> | definitely do not |
| 07:32:25 | tomsmeding | skipped the whole thing |
| 07:32:28 | × | vglfr quits (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 248 seconds) |
| 07:32:37 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 07:32:43 | <dminuoso> | tomsmeding: Im not entirely convinced about "false positives". Anything that has possible branching action, can simply be marked as reaching both sides. |
| 07:32:56 | <tomsmeding> | dminuoso: is this a reply to me? |
| 07:33:07 | <dminuoso> | Yes, regarding the "sum type surjectivity" check a few days ago. |
| 07:33:18 | <tomsmeding> | _oh_ |
| 07:33:34 | <dminuoso> | At first glance it feels like a variant of dead code detection to me. |
| 07:34:23 | <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 |
| 07:34:24 | <haskellbridge> | <sm> 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 |
| 07:34:28 | × | danse-nr3__ quits (~francesco@151.57.104.251) (Ping timeout: 258 seconds) |
| 07:34:54 | <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 |
| 07:35:09 | <dminuoso> | I just care about obvious things like `case x of "Foo" -> Foo; "Bar" -> Bar; "Quux" -> Quux` |
| 07:35:13 | <tomsmeding> | if you're writing a data transformation that eliminates certain constructors, that's not a problem, that's a feature |
| 07:35:14 | <tomsmeding> | I know |
| 07:35:28 | <tomsmeding> | but a blanket {-# LANGUAGE Surjectivity #-} or such would apply to _everything_ |
| 07:35:33 | <tomsmeding> | hence my point about false positives |
| 07:35:36 | <dminuoso> | Oh I see. |
| 07:35:46 | <tomsmeding> | you want this to apply to individual functions and individual data types, not to everything |
| 07:35:47 | <dminuoso> | Yes, Id be fine with this being a per-function pragma. :) |
| 07:35:52 | <tomsmeding> | so this would be a pragma, not an extension |
| 07:36:06 | <dminuoso> | Is there any sort of workaround for this? |
| 07:36:07 | <tomsmeding> | the original asker (was that you?) said "extension", hence my comment :p |
| 07:36:14 | <dminuoso> | Beyond tapping into TH |
| 07:36:27 | <tomsmeding> | I know of nothing in GHC that checks this for you |
| 07:36:47 | <tomsmeding> | it's also super hard in general, only in specific cases can it be done completely |
| 07:36:57 | <tomsmeding> | which probably includes your "obvious" cases |
| 07:37:19 | <tomsmeding> | problem of doing this with TH is that you'd need to wrap the entire function definition in a quote |
| 07:38:06 | <dminuoso> | Perhaps all I really need is just a kind of serialize/deserialize test, that via TH or Generics ensures every constructor is tried. |
| 07:38:21 | <dminuoso> | It just felt like this would be cool if the compiler could do this. |
| 07:38:49 | → | gmg joins (~user@user/gehmehgeh) |
| 07:38:58 | <dminuoso> | All this to avoid a Read instance because Im allergic to it. |
| 07:40:00 | <tomsmeding> | what's wrong with Read if you don't use 'read'? |
| 07:40:04 | <tomsmeding> | readMaybe is okay |
| 07:40:06 | <tomsmeding> | perhaps not super fast |
| 07:40:35 | × | danza_ quits (~francesco@151.57.104.251) (Ping timeout: 240 seconds) |
| 07:42:27 | <dminuoso> | For starters there is this personal annoyance that I have a Text to begin with. |
| 07:43:55 | <int-e> | . o O ( It's called Text but it can't be read. ) |
| 07:44:59 | × | tzh quits (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 07:50:06 | <haskellbridge> | <tewuzij> Who is Joe Biden? |
| 07:51:50 | <mauke> | https://en.wikipedia.org/wiki/Joseph_Biden |
| 07:57:22 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 07:58:16 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 07:58:29 | → | Feuermagier joins (~Feuermagi@user/feuermagier) |
| 08:02:43 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) |
| 08:03:01 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5) |
| 08:05:38 | → | danse-nr3__ joins (~francesco@151.57.104.251) |
| 08:06:46 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:07:27 | × | troydm1 quits (~troydm@host-176-37-53-238.b025.la.net.ua) (Ping timeout: 240 seconds) |
| 08:14:07 | × | foul_owl_ quits (~kerry@157.97.134.165) (Ping timeout: 255 seconds) |
| 08:14:29 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:8497:de9a:41ca:3ba4) (Remote host closed the connection) |
| 08:14:54 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 246 seconds) |
| 08:16:38 | × | Nixkernal quits (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 258 seconds) |
| 08:16:48 | → | Nixkernal_ joins (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) |
| 08:24:44 | → | mmhat joins (~mmh@2003:f1:c74e:6fea:ee08:6bff:fe09:5315) |
| 08:25:09 | × | mmhat quits (~mmh@2003:f1:c74e:6fea:ee08:6bff:fe09:5315) (Client Quit) |
| 08:26:38 | → | foul_owl_ joins (~kerry@185.216.231.181) |
| 08:27:24 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) |
| 08:32:12 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 08:37:24 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 08:42:42 | → | cfricke joins (~cfricke@user/cfricke) |
| 08:43:23 | → | cpressey joins (~cpressey@host-89-240-119-146.as13285.net) |
| 08:44:03 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 08:46:37 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) |
| 08:49:05 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 08:51:26 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) (Ping timeout: 260 seconds) |
| 08:52:00 | × | ubert quits (~Thunderbi@178.115.77.244.wireless.dyn.drei.com) (Quit: ubert) |
| 08:53:59 | → | vglfr joins (~vglfr@88.154.45.56) |
| 09:00:39 | × | phma quits (~phma@2001:5b0:2143:dc48:abeb:f726:fe91:c1bd) (Read error: Connection reset by peer) |
| 09:01:33 | → | phma joins (~phma@host-67-44-208-201.hnremote.net) |
| 09:05:11 | → | tv joins (~tv@user/tv) |
| 09:05:16 | × | Nixkernal_ quits (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 248 seconds) |
| 09:05:54 | → | Nixkernal joins (~Nixkernal@119.4.193.178.dynamic.wline.res.cust.swisscom.ch) |
| 09:16:39 | × | euleritian quits (~euleritia@p5b12497f.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 09:17:00 | → | euleritian joins (~euleritia@p200300d40f0c6500cf0527ee20256176.dip0.t-ipconnect.de) |
| 09:18:52 | → | sm joins (~sm@plaintextaccounting/sm) |
| 09:22:57 | × | CiaoSen quits (~Jura@2a05:5800:2a5:9f00:664b:f0ff:fe37:9ef) (Ping timeout: 258 seconds) |
| 09:23:10 | → | privacy joins (~privacy@user/privacy) |
| 09:25:23 | → | cpressey30 joins (~cpressey@host-89-240-119-146.as13285.net) |
| 09:28:28 | × | cpressey quits (~cpressey@host-89-240-119-146.as13285.net) (Ping timeout: 245 seconds) |
| 09:37:05 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 09:39:06 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) |
| 09:41:23 | → | targetdisk joins (~daemonchi@45-33-4-162.ip.linodeusercontent.com) |
| 09:42:19 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 09:43:30 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 09:47:06 | × | _xor quits (~xor@ip-50-5-233-250.dynamic.fuse.net) (Quit: Ping timeout (120 seconds)) |
| 09:47:39 | → | _xor joins (~xor@ip-50-5-233-250.dynamic.fuse.net) |
| 09:47:46 | cpressey30 | is now known as cpressey |
| 09:49:24 | → | sm joins (~sm@plaintextaccounting/sm) |
| 09:55:03 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 09:55:17 | → | __monty__ joins (~toonn@user/toonn) |
| 10:02:48 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) |
| 10:07:05 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 10:08:55 | → | cpressey89 joins (~cpressey@host-89-240-119-146.as13285.net) |
| 10:09:18 | × | cpressey quits (~cpressey@host-89-240-119-146.as13285.net) (Ping timeout: 245 seconds) |
| 10:09:43 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 10:12:34 | cpressey89 | is now known as cpressey |
| 10:21:53 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 10:25:15 | → | elbear joins (~lucian@109.101.137.234) |
| 10:33:12 | × | vglfr quits (~vglfr@88.154.45.56) (Read error: Connection reset by peer) |
| 10:33:34 | → | vglfr joins (vglfr@gateway/vpn/protonvpn/vglfr) |
| 10:37:07 | × | coot quits (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 260 seconds) |
| 10:43:23 | <haskellbridge> | <Inst> #off-topic |
| 10:47:30 | <int-e> | very timely |
| 10:52:15 | × | euleritian quits (~euleritia@p200300d40f0c6500cf0527ee20256176.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 10:52:26 | <haskellbridge> | <sm> geekosaur: oh I see, you are probably disconnected from matrix and hopefully your admin user will reappear when you return |
| 10:52:57 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 10:57:20 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 10:57:55 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 10:59:51 | × | acidjnk quits (~acidjnk@p200300d6e7072f80c83efacb636187f1.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 11:03:43 | → | euleritian joins (~euleritia@p200300d40f0c6500fb849d09d875a9dc.dip0.t-ipconnect.de) |
| 11:08:58 | × | vglfr quits (vglfr@gateway/vpn/protonvpn/vglfr) (Remote host closed the connection) |
| 11:09:46 | → | vglfr joins (vglfr@gateway/vpn/protonvpn/vglfr) |
| 11:10:35 | × | vglfr quits (vglfr@gateway/vpn/protonvpn/vglfr) (Remote host closed the connection) |
| 11:11:10 | → | vglfr joins (vglfr@gateway/vpn/protonvpn/vglfr) |
| 11:12:00 | → | danse-nr3_ joins (~francesco@151.47.100.65) |
| 11:12:35 | × | danse-nr3__ quits (~francesco@151.57.104.251) (Read error: Connection reset by peer) |
| 11:14:07 | × | danse-nr3_ quits (~francesco@151.47.100.65) (Remote host closed the connection) |
| 11:15:05 | × | vglfr quits (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 240 seconds) |
| 11:16:01 | → | vglfr joins (~vglfr@88.154.45.56) |
| 11:16:13 | × | stites quits (~stites@130.44.147.204) (Ping timeout: 255 seconds) |
| 11:16:24 | → | stites joins (~stites@2607:fb91:dcf:5280:3352:40b4:9f34:deb7) |
| 11:17:15 | → | acidjnk joins (~acidjnk@p200300d6e7072f80997250692b5f9da8.dip0.t-ipconnect.de) |
| 11:23:55 | × | Pozyomka quits (~pyon@user/pyon) (Quit: Pozyomka, my beloved: https://i.imgur.com/BMmVfTq.png) |
| 11:25:44 | × | pjlsergeant__ quits (sid143467@hampstead.irccloud.com) () |
| 11:30:56 | → | Functionalley joins (~al@82-69-116-36.dsl.in-addr.zen.co.uk) |
| 11:37:19 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) |
| 11:39:17 | → | CiaoSen joins (~Jura@5.83.178.44) |
| 11:39:32 | → | Square joins (~Square4@user/square) |
| 11:42:06 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 11:42:53 | × | privacy quits (~privacy@user/privacy) (Quit: Leaving) |
| 11:48:30 | × | elbear quits (~lucian@109.101.137.234) (Ping timeout: 272 seconds) |
| 11:56:26 | × | acidjnk quits (~acidjnk@p200300d6e7072f80997250692b5f9da8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 11:57:01 | × | Functionalley quits (~al@82-69-116-36.dsl.in-addr.zen.co.uk) (Quit: Konversation terminated!) |
| 11:57:31 | → | Functionalley joins (~al@82-69-116-36.dsl.in-addr.zen.co.uk) |
| 12:01:33 | → | elbear joins (~lucian@109.101.137.234) |
| 12:07:23 | × | elbear quits (~lucian@109.101.137.234) (Ping timeout: 255 seconds) |
| 12:10:48 | × | Functionalley quits (~al@82-69-116-36.dsl.in-addr.zen.co.uk) (Quit: Konversation terminated!) |
| 12:13:52 | → | acidjnk joins (~acidjnk@p200300d6e7072f80bd9c9dafa0816e07.dip0.t-ipconnect.de) |
| 12:14:07 | × | masterbuilder quits (~masterbui@user/masterbuilder) (Remote host closed the connection) |
| 12:15:31 | → | masterbuilder joins (~masterbui@user/masterbuilder) |
| 12:20:09 | → | elbear joins (~lucian@109.101.137.234) |
| 12:25:01 | × | elbear quits (~lucian@109.101.137.234) (Ping timeout: 260 seconds) |
| 12:26:32 | → | elbear joins (~lucian@109.101.137.234) |
| 12:32:48 | → | artem joins (~artem@73.145.242.9) |
| 12:34:06 | → | todi joins (~todi@p5dca5e79.dip0.t-ipconnect.de) |
| 12:36:28 | × | ulysses4ever quits (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Ping timeout: 248 seconds) |
| 12:40:12 | × | artem quits (~artem@73.145.242.9) (Read error: Connection reset by peer) |
| 12:40:13 | → | ulysses4ever joins (~artem@2601:408:c408:37e2:8cb8:b1ce:18cd:1b77) |
| 12:45:24 | × | juri_ quits (~juri@84-19-175-187.pool.ovpn.com) (Ping timeout: 240 seconds) |
| 12:47:29 | → | juri_ joins (~juri@84-19-175-187.pool.ovpn.com) |
| 12:48:42 | → | artem joins (~artem@c-73-103-90-145.hsd1.in.comcast.net) |
| 12:50:44 | × | ulysses4ever quits (~artem@2601:408:c408:37e2:8cb8:b1ce:18cd:1b77) (Read error: Connection reset by peer) |
| 12:54:24 | × | stites quits (~stites@2607:fb91:dcf:5280:3352:40b4:9f34:deb7) (Read error: Connection reset by peer) |
| 12:54:44 | → | stites joins (~stites@130.44.147.204) |
| 12:57:11 | → | Clonik joins (~Biledrame@174.92.47.132) |
| 13:00:30 | × | Clonik quits (~Biledrame@174.92.47.132) (Killed (ozone (No Spam))) |
| 13:02:17 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) |
| 13:04:31 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 13:06:36 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 13:10:16 | × | cheater quits (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 13:19:32 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 13:22:16 | → | danza joins (~francesco@151.47.100.65) |
| 13:23:38 | × | danza quits (~francesco@151.47.100.65) (Remote host closed the connection) |
| 13:24:01 | → | danza joins (~francesco@151.47.100.65) |
| 13:26:09 | → | prite joins (~pritam@user/pritambaral) |
| 13:28:59 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 13:28:59 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 13:28:59 | → | wroathe joins (~wroathe@user/wroathe) |
| 13:31:10 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 13:40:56 | → | mysl joins (~mysl@user/mysl) |
| 13:45:07 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 13:45:35 | → | ystael joins (~ystael@user/ystael) |
| 13:48:12 | × | vglfr quits (~vglfr@88.154.45.56) (Ping timeout: 272 seconds) |
| 13:49:31 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) |
| 13:49:41 | → | gatekempt joins (~gatekempt@user/gatekempt) |
| 13:56:52 | × | elbear quits (~lucian@109.101.137.234) (Ping timeout: 255 seconds) |
| 13:57:00 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 13:57:11 | → | vglfr joins (vglfr@gateway/vpn/protonvpn/vglfr) |
| 13:57:51 | × | Square quits (~Square4@user/square) (Remote host closed the connection) |
| 13:58:31 | → | Square joins (~Square4@user/square) |
| 14:00:25 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) |
| 14:01:38 | × | stites quits (~stites@130.44.147.204) (Ping timeout: 258 seconds) |
| 14:02:23 | → | stites joins (~stites@2607:fb90:ad62:a06c:7a16:280f:353f:7e4f) |
| 14:02:43 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 264 seconds) |
| 14:04:39 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 14:05:57 | <geekosaur> | sm, I was asleep. IRC-side got spammed in a way that pinged everyone, leading to a lot of chatter afterward |
| 14:08:10 | → | Biledramer joins (~Biledrame@bras-base-otwaon230qw-grc-20-174-88-125-120.dsl.bell.ca) |
| 14:08:11 | <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, |
| 14:08:12 | <Biledramer> | devouring the feces that lay within. https://justpaste.it/MariahCareyMinecraftALHotPocket |
| 14:08:19 | <mauke> | how appropriate |
| 14:08:36 | <EvanR> | suspicious |
| 14:10:52 | ChanServ | sets mode +o geekosaur |
| 14:10:59 | geekosaur | sets mode +b *!*@bras-base-otwaon230qw-grc-20-174-88-125-120.dsl.bell.ca |
| 14:10:59 | Biledramer | is kicked by geekosaur (Biledramer) |
| 14:11:08 | geekosaur | sets mode -o geekosaur |
| 14:12:02 | → | jbalint joins (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) |
| 14:12:06 | <geekosaur> | time to reinstate that ping on justpaste.it again I guess |
| 14:12:22 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 14:12:56 | × | remexre quits (~remexre@user/remexre) (Ping timeout: 255 seconds) |
| 14:12:56 | × | jbalint_ quits (~jbalint@071-090-119-177.res.spectrum.com) (Ping timeout: 255 seconds) |
| 14:14:20 | × | simendsjo quits (~user@84.211.91.241) (Ping timeout: 246 seconds) |
| 14:14:41 | → | remexre joins (~remexre@user/remexre) |
| 14:19:03 | × | mysl quits (~mysl@user/mysl) (Ping timeout: 255 seconds) |
| 14:19:22 | × | vglfr quits (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 255 seconds) |
| 14:20:46 | → | mysl joins (~mysl@user/mysl) |
| 14:21:29 | × | ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 14:28:32 | → | ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 14:32:37 | → | fendor joins (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 14:32:54 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 14:33:43 | → | cheater joins (~Username@user/cheater) |
| 14:34:37 | → | idgaen joins (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 14:36:17 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) |
| 14:38:43 | → | tzh joins (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 14:40:35 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 14:41:17 | ChanServ | sets mode +o litharge |
| 14:41:18 | litharge | sets mode -bo *!*@bras-base-otwaon230qw-grc-20-174-88-125-120.dsl.bell.ca litharge |
| 14:41:48 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 14:42:00 | → | sus0 joins (zero@user/zeromomentum) |
| 14:47:24 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 14:48:44 | × | CiaoSen quits (~Jura@5.83.178.44) (Ping timeout: 248 seconds) |
| 14:49:42 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:dc43:d109:46ef:3532) (Quit: WeeChat 2.8) |
| 14:52:07 | → | mysl_ joins (~mysl@user/mysl) |
| 14:53:22 | × | mysl quits (~mysl@user/mysl) (Ping timeout: 252 seconds) |
| 14:54:42 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 14:55:08 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 14:59:34 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 15:02:40 | → | Square2 joins (~Square4@user/square) |
| 15:03:52 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 15:04:45 | → | hyiltiz joins (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) |
| 15:04:59 | × | stites quits (~stites@2607:fb90:ad62:a06c:7a16:280f:353f:7e4f) (Read error: Connection reset by peer) |
| 15:05:19 | → | stites joins (~stites@130.44.147.204) |
| 15:05:28 | × | Square quits (~Square4@user/square) (Ping timeout: 272 seconds) |
| 15:06:20 | → | mysl joins (~mysl@user/mysl) |
| 15:07:25 | × | mysl_ quits (~mysl@user/mysl) (Ping timeout: 248 seconds) |
| 15:09:16 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 272 seconds) |
| 15:10:53 | × | gatekempt quits (~gatekempt@user/gatekempt) (Quit: Textual IRC Client: www.textualapp.com) |
| 15:12:25 | × | danza quits (~francesco@151.47.100.65) (Read error: Connection reset by peer) |
| 15:14:08 | → | chomwitt joins (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) |
| 15:18:17 | → | crook1389 joins (uid581388@id-581388.ilkley.irccloud.com) |
| 15:18:27 | <crook1389> | hi |
| 15:18:33 | <geekosaur> | hello |
| 15:19:57 | <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. |
| 15:19:57 | <crook1389> | so far i have data Lambda = Var Char | Abs Char Lambda | App Lambda Lambda |
| 15:20:01 | → | danza joins (~francesco@151.37.116.129) |
| 15:20:33 | <crook1389> | but is there a way i can make it so that both times there is a var? |
| 15:20:54 | <crook1389> | what I mean is, I can't just write Abs Var Lambda for one of the terms |
| 15:23:44 | <geekosaur> | correct. you could use a separate data type, but for this I don't think you need more than a Map in State |
| 15:24:54 | <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. |
| 15:25:42 | <geekosaur> | right |
| 15:25:55 | <crook1389> | thank you guys |
| 15:26:10 | <geekosaur> | I was jumping a bit ahead |
| 15:28:06 | → | sabino joins (~sabino@user/sabino) |
| 15:28:43 | <geekosaur> | mm, wouldn't even be State, it'd be Reader |
| 15:28:49 | → | billchenchina joins (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 15:31:45 | → | elbear joins (~lucian@109.101.137.234) |
| 15:32:42 | × | mysl quits (~mysl@user/mysl) (Ping timeout: 272 seconds) |
| 15:34:09 | → | mysl joins (~mysl@user/mysl) |
| 15:36:11 | × | elbear quits (~lucian@109.101.137.234) (Ping timeout: 255 seconds) |
| 15:37:17 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) (Read error: Connection reset by peer) |
| 15:37:32 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) |
| 15:40:58 | × | cpressey quits (~cpressey@host-89-240-119-146.as13285.net) (Quit: Client closed) |
| 15:41:15 | → | cpressey joins (~cpressey@host-89-240-119-146.as13285.net) |
| 15:53:22 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) (Remote host closed the connection) |
| 15:55:03 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 15:55:56 | <shapr> | crook1389: hey, are you in Göteborg? |
| 15:56:28 | <crook1389> | shapr, no, how come? |
| 15:58:41 | × | mysl quits (~mysl@user/mysl) (Ping timeout: 255 seconds) |
| 16:00:26 | → | mysl joins (~mysl@user/mysl) |
| 16:01:48 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 16:02:42 | × | hiredman quits (~hiredman@frontier1.downey.family) (Quit: Reconnecting) |
| 16:02:52 | → | hiredman joins (~hiredman@frontier1.downey.family) |
| 16:11:08 | <shapr> | crook1389: oh, I thought you might be Robert Crook |
| 16:11:45 | <crook1389> | sorry to disappoint ;) |
| 16:12:06 | <crook1389> | (although i have been there, ages ago. nice place) |
| 16:12:07 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 16:13:42 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 16:15:27 | × | euleritian quits (~euleritia@p200300d40f0c6500fb849d09d875a9dc.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 16:15:40 | → | statusbot12 joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 16:15:41 | <ncf> | how was the weather |
| 16:15:48 | → | erisco_ joins (~erisco@d24-141-66-165.home.cgocable.net) |
| 16:16:14 | → | iteratee_ joins (~kyle@162.218.222.207) |
| 16:16:18 | × | statusbot quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Read error: Connection reset by peer) |
| 16:16:22 | × | iteratee quits (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 16:17:45 | <crook1389> | cool |
| 16:17:48 | <crook1389> | and a bit rainy too |
| 16:19:04 | × | erisco quits (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 255 seconds) |
| 16:19:04 | erisco_ | is now known as erisco |
| 16:19:08 | <danza> | for some reason there is a significant haskell community in Goeteborg... at least i thought so from stuff i found online |
| 16:20:27 | <crook1389> | oh interesting |
| 16:21:10 | <crook1389> | although from my extremely limited online browsing, i get the impression that haskell is quite popular in europe |
| 16:21:27 | <danza> | in comparison with... ? |
| 16:22:07 | × | ThePenguin quits (~ThePengui@cust-95-80-24-166.csbnet.se) (Quit: ThePenguin) |
| 16:22:24 | <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 |
| 16:23:01 | → | ThePenguin joins (~ThePengui@cust-95-80-24-166.csbnet.se) |
| 16:23:45 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 16:24:10 | <danza> | oh, i see, thought haskell was bigger in the US. The truth is probably that it is marginal everywhere :D |
| 16:26:11 | <crook1389> | i can agree with that haha |
| 16:30:38 | × | mysl quits (~mysl@user/mysl) (Ping timeout: 255 seconds) |
| 16:31:55 | → | mysl joins (~mysl@user/mysl) |
| 16:31:57 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) |
| 16:31:59 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 16:35:56 | × | hyiltiz quits (~hyiltiz@2603-8080-1f00-082f-7947-84a6-2bd5-67a7.res6.spectrum.com) (Ping timeout: 255 seconds) |
| 16:36:03 | → | simendsjo joins (~user@84.211.91.241) |
| 16:41:32 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 16:41:33 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) (Remote host closed the connection) |
| 16:41:47 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) |
| 16:45:05 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 16:45:15 | → | thegeekinside joins (~thegeekin@189.217.90.224) |
| 16:48:37 | × | simendsjo quits (~user@84.211.91.241) (Remote host closed the connection) |
| 16:49:59 | × | thegeekinside quits (~thegeekin@189.217.90.224) (Ping timeout: 255 seconds) |
| 16:50:37 | → | thegeekinside joins (~thegeekin@189.217.90.224) |
| 16:55:45 | → | hyiltiz joins (~hyiltiz@2620:149:13d1:100::1db) |
| 16:55:47 | × | thegeekinside quits (~thegeekin@189.217.90.224) (Remote host closed the connection) |
| 16:59:09 | → | ulysses4ever joins (~artem@2601:408:c408:4d95:8cb8:b1ce:18cd:1b77) |
| 17:00:35 | × | artem quits (~artem@c-73-103-90-145.hsd1.in.comcast.net) (Ping timeout: 240 seconds) |
| 17:02:07 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 17:04:40 | → | thegeekinside joins (~thegeekin@189.217.90.224) |
| 17:05:31 | → | artem joins (~artem@192.31.0.5) |
| 17:05:47 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 17:07:51 | × | ulysses4ever quits (~artem@2601:408:c408:4d95:8cb8:b1ce:18cd:1b77) (Ping timeout: 260 seconds) |
| 17:08:32 | → | ulysses4ever joins (~artem@73.145.242.38) |
| 17:08:47 | → | rgw joins (~R@2605:a601:a0df:5600:c13b:d5ca:4d4e:95f5) |
| 17:10:01 | shawwwn | is now known as shawwwwn |
| 17:11:51 | shawwwwn | is now known as shawwwn |
| 17:11:58 | × | artem quits (~artem@192.31.0.5) (Ping timeout: 252 seconds) |
| 17:13:01 | → | artem joins (~artem@73.145.242.38) |
| 17:13:02 | × | ulysses4ever quits (~artem@73.145.242.38) (Read error: Connection reset by peer) |
| 17:13:12 | × | artem quits (~artem@73.145.242.38) (Client Quit) |
| 17:15:56 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 17:18:17 | × | hyiltiz quits (~hyiltiz@2620:149:13d1:100::1db) (Ping timeout: 258 seconds) |
| 17:19:49 | × | danza quits (~francesco@151.37.116.129) (Ping timeout: 258 seconds) |
| 17:25:18 | → | sm joins (~sm@plaintextaccounting/sm) |
| 17:26:43 | <haskellbridge> | <sm> geekosaur: I was wondering why there's no Admin user in this matrix room.. didn't you create the Haskell IRC room ? |
| 17:27:03 | <geekosaur> | hm, I should still be in there |
| 17:29:02 | <haskellbridge> | <geekosaur> also I thought I'd granted yopu admin; I don't like being a SPOF |
| 17:29:33 | → | elbear joins (~lucian@109.101.137.234) |
| 17:30:45 | <haskellbridge> | <geekosaur> you should be an admin now, I think |
| 17:30:46 | <haskellbridge> | <geekosaur> hm, client doesn't show it |
| 17:30:57 | × | dfg quits (~dfg@user/dfg) (Quit: I hate quit messages.) |
| 17:30:58 | <haskellbridge> | <geekosaur> hold on |
| 17:31:09 | <haskellbridge> | <sm> I'd prefer others be admin honestly, I have my hands full and bridging is just too mucjh |
| 17:31:15 | <haskellbridge> | <sm> I'd prefer others be admin honestly, I have my hands full and bridging is just too much |
| 17:31:22 | <geekosaur> | any suggestions? |
| 17:32:24 | × | Square2 quits (~Square4@user/square) (Ping timeout: 272 seconds) |
| 17:32:25 | haskellbridge | <sm> peers at the room.. don't like the look of these characters.. |
| 17:33:04 | → | dfg joins (~dfg@dfg.rocks) |
| 17:33:04 | × | dfg quits (~dfg@dfg.rocks) (Changing host) |
| 17:33:04 | → | dfg joins (~dfg@user/dfg) |
| 17:33:17 | <haskellbridge> | <sm> 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 |
| 17:33:27 | <geekosaur> | oh interesting, my changes via nheko took after all. or half-took; I wonder if it's waiting for you to approve it |
| 17:34:00 | × | elbear quits (~lucian@109.101.137.234) (Ping timeout: 258 seconds) |
| 17:35:31 | <geekosaur> | there's several I think I would trust with it (for example alanz is a ghc contributor) |
| 17:36:02 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 17:38:13 | <haskellbridge> | <sm> +1 ! Or maybe @hgolden, @hpc, @maralorn might be willing |
| 17:39:02 | <haskellbridge> | <sm> I do appear to be an Admin on my end |
| 17:39:30 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) (Remote host closed the connection) |
| 17:41:15 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 17:42:04 | → | ft joins (~ft@p3e9bc680.dip0.t-ipconnect.de) |
| 17:43:59 | × | mysl quits (~mysl@user/mysl) (Ping timeout: 255 seconds) |
| 17:49:31 | → | qqq joins (~qqq@92.43.167.61) |
| 17:49:57 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 17:50:13 | → | mysl joins (~mysl@user/mysl) |
| 17:50:51 | → | sm joins (~sm@plaintextaccounting/sm) |
| 17:52:20 | → | danza joins (~francesco@151.37.116.129) |
| 17:52:55 | <haskellbridge> | <geekosaur> element showed you as admin but grayed out, and I don't see the channel notifications from when I increased your power level |
| 17:54:03 | <haskellbridge> | <geekosaur> oh, it backfilled finally |
| 17:54:26 | <haskellbridge> | <geekosaur> but yes, we need another admin and some mods |
| 17:54:37 | <haskellbridge> | <geekosaur> (you were a mod before) |
| 17:57:06 | → | euleritian joins (~euleritia@p200300d40f0c6500beb043b21448d196.dip0.t-ipconnect.de) |
| 17:57:30 | <haskellbridge> | <geekosaur> perhaps this discussion should move to meta or admin |
| 17:58:28 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 18:00:01 | × | sm quits (~sm@plaintextaccounting/sm) (Quit: sm) |
| 18:02:52 | → | hyiltiz joins (~hyiltiz@2620:149:13d1:100::1db) |
| 18:03:01 | → | sm joins (~sm@plaintextaccounting/sm) |
| 18:06:50 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) |
| 18:07:15 | × | sm quits (~sm@plaintextaccounting/sm) (Client Quit) |
| 18:08:30 | × | machinedgod quits (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 18:16:22 | → | nckx_ joins (~nckx@libera/staff/owl/nckx) |
| 18:17:58 | nckx_ | is now known as nckx |
| 18:17:59 | nckx | is now known as nckhexen |
| 18:20:34 | × | danza quits (~francesco@151.37.116.129) (Ping timeout: 255 seconds) |
| 18:23:24 | × | qqq quits (~qqq@92.43.167.61) (Read error: Connection reset by peer) |
| 18:24:33 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) (Remote host closed the connection) |
| 18:27:03 | → | qqq joins (~qqq@92.43.167.61) |
| 18:28:25 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 18:28:47 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 252 seconds) |
| 18:29:04 | → | eggplantade joins (~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) |
| 18:30:36 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 18:30:42 | → | gmg joins (~user@user/gehmehgeh) |
| 18:32:08 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4) |
| 18:32:29 | → | wroathe joins (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 18:32:29 | × | wroathe quits (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 18:32:29 | → | wroathe joins (~wroathe@user/wroathe) |
| 18:37:50 | × | eggplantade quits (~Eggplanta@2600:1700:38c5:d800:9830:b35a:14d7:6148) (Remote host closed the connection) |
| 18:43:33 | → | elbear joins (~lucian@109.101.137.234) |
| 18:45:19 | → | Tuplanolla joins (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 18:45:55 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 264 seconds) |
| 18:47:40 | → | waleee joins (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 18:47:41 | × | elbear quits (~lucian@109.101.137.234) (Ping timeout: 246 seconds) |
| 18:56:16 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 18:58:49 | × | todi quits (~todi@p5dca5e79.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 19:00:15 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 19:01:13 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 19:07:49 | × | prite quits (~pritam@user/pritambaral) (Quit: Konversation terminated!) |
| 19:16:25 | → | Pickchea joins (~private@user/pickchea) |
| 19:17:01 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 19:19:05 | × | waleee quits (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 19:20:18 | × | cptaffe quits (~cptaffe@user/cptaffe) (Remote host closed the connection) |
| 19:21:00 | → | waleee joins (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 19:24:28 | → | troydm joins (~troydm@user/troydm) |
| 19:26:01 | → | oSdKiIeLdToOgN joins (~oSdKiIeLd@bras-base-otwaon230qw-grc-09-174-89-133-98.dsl.bell.ca) |
| 19:26:02 | <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. |
| 19:26:13 | ChanServ | sets mode +o geekosaur |
| 19:26:17 | geekosaur | sets mode +b *!*@bras-base-otwaon230qw-grc-09-174-89-133-98.dsl.bell.ca |
| 19:26:18 | oSdKiIeLdToOgN | is kicked by geekosaur (oSdKiIeLdToOgN) |
| 19:26:34 | geekosaur | sets mode -o geekosaur |
| 19:28:26 | → | cptaffe joins (~cptaffe@user/cptaffe) |
| 19:32:42 | × | cptaffe quits (~cptaffe@user/cptaffe) (Remote host closed the connection) |
| 19:33:21 | × | fendor quits (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection) |
| 19:36:35 | → | cptaffe joins (~cptaffe@user/cptaffe) |
| 19:36:40 | × | cptaffe quits (~cptaffe@user/cptaffe) (Remote host closed the connection) |
| 19:44:07 | × | cpressey quits (~cpressey@host-89-240-119-146.as13285.net) (Quit: Ping timeout (120 seconds)) |
| 19:44:31 | <haskellbridge> | <maralorn> Oh, wow … Yeah, I‘d volunteer being a moderator here. Although I admittedly don’t look in here systematically. |
| 19:44:35 | × | idgaen quits (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5) |
| 19:45:05 | <haskellbridge> | <maralorn> The nixos.org has a moderation team with a well working moderation bot for all channels in the nixos space. |
| 19:45:22 | <haskellbridge> | <maralorn> Maybe we could establish something like that for the haskell Space? |
| 19:45:45 | <EvanR> | I for one welcome our new robot moderator overlords |
| 19:45:47 | <haskellbridge> | <maralorn> Alltough the Haskell community feels a lot more decentral than the nixos community. |
| 19:46:09 | <haskellbridge> | <maralorn> I don‘t think the bot does not do any automated decisions. |
| 19:46:29 | <EvanR> | there's no chat-gpt for that? |
| 19:46:59 | <haskellbridge> | <maralorn> It’s primarily responsible for spreading bans to all rooms and to facilitate removing spam messages in batch. |
| 19:48:14 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 19:48:45 | <EvanR> | imagine being able to remove spam messages |
| 19:49:08 | <haskellbridge> | <maralorn> geekosaur: There is stil spam left to be removed here.^ |
| 19:49:20 | <rgw> | why does someone even spam a programming channel with bad fanfic porn? |
| 19:50:47 | <monochrom> | It is actually less human labour to auto-spam all channels than manually select/unselect channels to spam. |
| 19:50:59 | → | cptaffe joins (~cptaffe@user/cptaffe) |
| 19:51:00 | <geekosaur> | we have a spam bot in the main Matrix Haskell room |
| 19:51:21 | <monochrom> | Or in "simple English", "why should they care?" |
| 19:51:24 | <geekosaur> | I don't knoiw what it'd take to invite it to the bridged room |
| 19:51:49 | <rgw> | i would vaguely understand if it was some product spam, but garfield porn? |
| 19:52:05 | <mauke> | the interesting thing is that they registered an account |
| 19:52:18 | <monochrom> | Perhaps it is a product in some sense. |
| 19:52:41 | <rgw> | how? |
| 19:52:58 | <monochrom> | Perhaps the page is full of malware. "garfield" is just a cover. |
| 19:53:18 | <haskellbridge> | <geekosaur> yeh, my guess is it tries to load JS malware |
| 19:53:33 | <monochrom> | Or perhaps it just wants you to help DDoS a legit website. |
| 19:53:45 | <rgw> | i mean that makes sense, but... wouldn't you pick something more enticing than garfield porn? |
| 19:55:59 | <monochrom> | My theory is that it is enticing for people who actually don't (or don't know how to) protect themselves from malware. |
| 19:56:27 | ChanServ | sets mode +o litharge |
| 19:56:28 | litharge | sets mode -bo *!*@bras-base-otwaon230qw-grc-09-174-89-133-98.dsl.bell.ca litharge |
| 19:56:45 | <geekosaur> | you might also consider that there are clients including web-based ones that load previews, and those previews might have the malware attached |
| 19:56:51 | <rgw> | weird to target irc for that then |
| 19:57:01 | × | crook1389 quits (uid581388@id-581388.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
| 19:57:44 | <rgw> | oh i hadn't thought of the preview loading |
| 19:58:14 | <geekosaur> | (and that paste site might "conveniently" not strip JS) |
| 19:58:26 | <geekosaur> | or escape it |
| 19:59:31 | <rgw> | i still find the subject matter weird |
| 19:59:50 | <rgw> | the weird clarinet orgy from yesterday |
| 20:00:16 | <dolio> | Some people also just like the idea that they are offending people. |
| 20:00:40 | <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? |
| 20:00:43 | <rgw> | well i thought of that, but the excerpts are more edgy funny than full offensive |
| 20:01:22 | <rgw> | compared to just linking people to goatse |
| 20:03:47 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 20:04:16 | → | pavonia joins (~user@user/siracusa) |
| 20:10:13 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 20:11:51 | → | accord joins (uid568320@id-568320.hampstead.irccloud.com) |
| 20:13:06 | → | cpressey joins (~cpressey@host-89-240-119-146.as13285.net) |
| 20:14:39 | × | cpressey quits (~cpressey@host-89-240-119-146.as13285.net) (Client Quit) |
| 20:15:08 | × | Jackneill quits (~Jackneill@20014C4E1E1DF20045616002BB8F1538.dsl.pool.telekom.hu) (Ping timeout: 248 seconds) |
| 20:19:30 | <EvanR> | what is the wisdom on continuing to unban their reverse IP |
| 20:19:51 | <geekosaur> | they're unlikely to reuse it |
| 20:20:07 | <geekosaur> | hit and run, and a real user might show up later |
| 20:23:16 | <[exa]> | rgw: the bait is click, there's no other reason for it |
| 20:23:35 | × | ddellacosta quits (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 20:24:26 | → | machinedgod joins (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 20:25:00 | → | cpressey joins (~cpressey@host-89-240-119-146.as13285.net) |
| 20:28:25 | × | cpressey quits (~cpressey@host-89-240-119-146.as13285.net) (Client Quit) |
| 20:29:02 | × | michalz quits (~michalz@185.246.204.109) (Remote host closed the connection) |
| 20:29:07 | <rgw> | i just think the bait choice is weird |
| 20:29:12 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 20:29:36 | <EvanR> | see no evil, hear no evil, click no evil |
| 20:29:55 | <rgw> | maybe that's why they do it, to make idiots like me overthink on it |
| 20:31:25 | <[exa]> | rgw: did you click and trigger the ad view? :D |
| 20:31:32 | <rgw> | no |
| 20:31:43 | <[exa]> | [palpatine voice:] good, goooood. |
| 20:31:54 | <rgw> | i don't want to read about garfield and speedy gonzalez doing things to nermal |
| 20:32:07 | × | chomwitt quits (~chomwitt@2a02:587:7a24:b000:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds) |
| 20:32:19 | <dolio> | Maybe you should go discuss this in some other channel. |
| 20:33:01 | <[exa]> | also true. |
| 20:36:04 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
| 20:42:18 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 20:48:30 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 20:50:18 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 20:58:09 | → | nate2 joins (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 21:02:36 | × | nate2 quits (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 21:05:21 | × | acidjnk quits (~acidjnk@p200300d6e7072f80bd9c9dafa0816e07.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 21:09:40 | × | dostoyevsky2 quits (~sck@user/dostoyevsky2) (Quit: leaving) |
| 21:10:02 | → | dostoyevsky2 joins (~sck@user/dostoyevsky2) |
| 21:15:30 | × | son0p quits (~ff@181.136.122.143) (Quit: Bye) |
| 21:22:31 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 21:24:36 | <juri_> | i'm just wondering if there is an alegory for how monads work somewhere in there. |
| 21:25:37 | <monochrom> | Every instance of monad is such an allegory. :) |
| 21:26:04 | <monochrom> | List and Reader are particularly good at it. |
| 21:26:34 | <monochrom> | I think most of us also find parser monads helpful. |
| 21:35:08 | → | son0p joins (~ff@181.136.122.143) |
| 21:36:12 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 21:38:21 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 21:38:59 | × | Me-me quits (~me-me@user/me-me) (Remote host closed the connection) |
| 21:39:14 | → | gmg joins (~user@user/gehmehgeh) |
| 21:41:38 | → | Me-me joins (~me-me@2602:ff16:3:0:1:dc:beef:d00d) |
| 21:42:57 | × | billchenchina quits (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Remote host closed the connection) |
| 21:43:13 | → | billchenchina joins (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) |
| 21:44:29 | → | arkeet` joins (arkeet@moriya.ca) |
| 21:45:05 | × | arkeet quits (arkeet@moriya.ca) (Ping timeout: 258 seconds) |
| 21:45:06 | arkeet` | is now known as arkeet |
| 21:46:03 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:04:34 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 252 seconds) |
| 22:13:38 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 22:18:54 | → | elbear joins (~lucian@109.101.137.234) |
| 22:20:16 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 22:20:49 | → | Pickchea joins (~private@user/pickchea) |
| 22:21:12 | × | Pickchea quits (~private@user/pickchea) (Remote host closed the connection) |
| 22:23:15 | × | elbear quits (~lucian@109.101.137.234) (Ping timeout: 255 seconds) |
| 22:29:33 | × | hugo quits (znc@verdigris.lysator.liu.se) (Ping timeout: 258 seconds) |
| 22:34:04 | × | Tuplanolla quits (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 22:40:54 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:55:41 | <Axman6> | "A monad is like a Gerfield erotic fanfic..." |
| 23:00:21 | <Axman6> | Gerfield even |
| 23:00:34 | <Axman6> | Garfield! far out, should wake up |
| 23:01:14 | <geekosaur> | it'll be time for bed in a few hours here 🙂 |
| 23:01:39 | <Axman6> | I'm home sick with covid, I'm blaming that. |
| 23:01:41 | <geekosaur> | (and is past that for Europe) |
| 23:04:14 | <monochrom> | Certified monad |
| 23:05:01 | <geekosaur> | ❤ |
| 23:08:15 | → | mysl_ joins (~mysl@user/mysl) |
| 23:08:16 | × | mysl quits (~mysl@user/mysl) (Ping timeout: 255 seconds) |
| 23:11:03 | × | euleritian quits (~euleritia@p200300d40f0c6500beb043b21448d196.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 23:11:20 | → | hugo joins (znc@verdigris.lysator.liu.se) |
| 23:11:27 | → | euleritian joins (~euleritia@p200300d40f0c6500d18761ddb8466b4a.dip0.t-ipconnect.de) |
| 23:12:26 | → | migas9 joins (~migas@static.140.65.63.178.clients.your-server.de) |
| 23:14:47 | → | ddellacosta joins (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 23:19:23 | × | Alex_test quits (~al_test@94.233.241.182) (Ping timeout: 258 seconds) |
| 23:20:20 | × | AlexZenon quits (~alzenon@94.233.241.182) (Ping timeout: 246 seconds) |
| 23:23:31 | × | hyiltiz quits (~hyiltiz@2620:149:13d1:100::1db) (Ping timeout: 260 seconds) |
| 23:27:31 | → | Alex_test joins (~al_test@94.233.241.182) |
| 23:29:51 | → | AlexZenon joins (~alzenon@94.233.241.182) |
| 23:32:32 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 23:32:51 | → | califax joins (~califax@user/califx) |
| 23:34:05 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 23:34:23 | → | califax joins (~califax@user/califx) |
| 23:35:18 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 23:51:46 | × | euleritian quits (~euleritia@p200300d40f0c6500d18761ddb8466b4a.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 23:52:06 | → | euleritian joins (~euleritia@p200300d40f0c65006c0d6f4116cc9e16.dip0.t-ipconnect.de) |
All times are in UTC on 2023-10-04.