2026/02/20

2026-02-20 00:00:20 +0100res0nat0r0844909(~Fletch@falcon.whatbox.ca)
2026-02-20 00:00:26 +0100dispater(~dispater@user/brprice) (Server closed connection)
2026-02-20 00:00:45 +0100dispater(~dispater@user/brprice) brprice
2026-02-20 00:01:06 +0100srk(~sorki@user/srk) (Server closed connection)
2026-02-20 00:02:26 +0100srk(~sorki@user/srk) srk
2026-02-20 00:06:56 +0100Athas(athas@sigkill.dk) (Server closed connection)
2026-02-20 00:07:06 +0100yaroot(~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) (Server closed connection)
2026-02-20 00:07:08 +0100Athas(athas@2a01:7c8:aaac:1cf:dbda:ce6c:4026:1830)
2026-02-20 00:07:20 +0100yaroot(~yaroot@2400:4052:ac0:d901:1cf4:2aff:fe51:c04c) yaroot
2026-02-20 00:08:38 +0100sixfourtwelve(~ethanmorg@static.82.129.225.46.clients.your-server.de)
2026-02-20 00:12:49 +0100tromp(~textual@2001:1c00:3487:1b00:1062:f065:ea0:d4c6) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-20 00:21:30 +0100straybits(~straybits@user/straybits) (Read error: Connection reset by peer)
2026-02-20 00:34:12 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds)
2026-02-20 00:44:56 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2026-02-20 00:45:53 +0100rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-20-76-67-111-168.dsl.bell.ca) rekahsoft
2026-02-20 00:51:09 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 245 seconds)
2026-02-20 00:51:18 +0100haskellbridge(~hackager@96.28.224.214) (Remote host closed the connection)
2026-02-20 00:51:49 +0100haskellbridge(~hackager@96.28.224.214) hackager
2026-02-20 00:51:49 +0100ChanServ+v haskellbridge
2026-02-20 00:52:58 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2026-02-20 01:03:06 +0100sajith(~sajith@user/sajith) (Server closed connection)
2026-02-20 01:03:24 +0100sajith(~sajith@user/sajith) sajith
2026-02-20 01:07:13 +0100hakutaku(~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2026-02-20 01:08:16 +0100haskell-noob(~haskell-n@50.35.80.129)
2026-02-20 01:09:51 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-02-20 01:10:04 +0100weary-traveler(~user@user/user363627) (Quit: Konversation terminated!)
2026-02-20 01:10:22 +0100weary-traveler(~user@user/user363627) user363627
2026-02-20 01:11:02 +0100Typosit(b41a81e702@2001:bc8:1210:2cd8::494)
2026-02-20 01:14:04 +0100arandombit(~arandombi@user/arandombit) (Remote host closed the connection)
2026-02-20 01:14:34 +0100jayanth(~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) (Remote host closed the connection)
2026-02-20 01:14:53 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-02-20 01:16:36 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-02-20 01:17:06 +0100lortabac(~lortabac@mx1.fracta.dev) (Server closed connection)
2026-02-20 01:17:20 +0100lortabac(~lortabac@mx1.fracta.dev) lortabac
2026-02-20 01:21:20 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2026-02-20 01:22:28 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2026-02-20 01:23:02 +0100weary-traveler(~user@user/user363627) user363627
2026-02-20 01:27:02 +0100tremon(~tremon@83.80.159.219) (Quit: getting boxed in)
2026-02-20 01:27:31 +0100Tuplanolla(~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.)
2026-02-20 01:35:16 +0100arandombit(~arandombi@user/arandombit) (Remote host closed the connection)
2026-02-20 01:35:39 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-02-20 01:41:04 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds)
2026-02-20 01:41:44 +0100mange(~mange@user/mange) mange
2026-02-20 01:45:23 +0100xff0x(~xff0x@2405:6580:b080:900:e093:b434:6424:ad84) (Ping timeout: 268 seconds)
2026-02-20 01:45:36 +0100opqdonut1_(opqdonut@pseudo.fixme.fi) (Server closed connection)
2026-02-20 01:45:44 +0100opqdonut__(opqdonut@pseudo.fixme.fi)
2026-02-20 01:58:26 +0100dumptruckman(~dumptruck@45.79.134.140) (Server closed connection)
2026-02-20 01:58:35 +0100LUCKY_NOOB(~LUCKY_NOO@user/LUCKY-NOOB:44374) (Read error: Connection reset by peer)
2026-02-20 01:58:54 +0100LUCKY_NOOB(~LUCKY_NOO@user/LUCKY-NOOB:44374) LUCKY_NOOB
2026-02-20 01:59:10 +0100dumptruckman(~dumptruck@45-79-134-140.ip.linodeusercontent.com)
2026-02-20 02:28:36 +0100Square2(~Square4@user/square) Square
2026-02-20 02:32:07 +0100Square3(~Square@user/square) (Ping timeout: 264 seconds)
2026-02-20 02:32:25 +0100LUCKY_NOOB(~LUCKY_NOO@user/LUCKY-NOOB:44374) (Quit: leaving)
2026-02-20 02:32:35 +0100califax(~califax@user/califx) (Remote host closed the connection)
2026-02-20 02:32:45 +0100LUCKY_NOOB(~LUCKY_NOO@user/LUCKY-NOOB:44374) LUCKY_NOOB
2026-02-20 02:33:35 +0100califax(~califax@user/califx) califx
2026-02-20 02:35:23 +0100karenw(~karenw@user/karenw) (Quit: Deep into that darkness peering...)
2026-02-20 02:36:26 +0100beaky(~beaky@2a03:b0c0:0:1010::1e:a001) (Server closed connection)
2026-02-20 02:36:45 +0100beaky(~beaky@2a03:b0c0:0:1010::1e:a001) beaky
2026-02-20 02:39:18 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-02-20 02:43:36 +0100ircbrowse_tom(~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) (ZNC 1.9.0+deb2build3 - https://znc.in)
2026-02-20 02:44:00 +0100ircbrowse_tom(~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) ircbrowse_tom
2026-02-20 02:44:02 +0100Server+Cnt
2026-02-20 02:47:46 +0100szkl(sid110435@id-110435.uxbridge.irccloud.com) (Server closed connection)
2026-02-20 02:48:19 +0100szkl(sid110435@id-110435.uxbridge.irccloud.com) szkl
2026-02-20 02:51:49 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-02-20 02:59:54 +0100housemate(~housemate@pa49-178-122-78.pa.nsw.optusnet.com.au) housemate
2026-02-20 03:01:46 +0100lexi-lambda(sid92601@id-92601.hampstead.irccloud.com) (Server closed connection)
2026-02-20 03:01:57 +0100lexi-lambda(sid92601@id-92601.hampstead.irccloud.com) lexi-lambda
2026-02-20 03:04:37 +0100polykernel(~polykerne@user/polykernel) polykernel
2026-02-20 03:05:49 +0100housemate(~housemate@pa49-178-122-78.pa.nsw.optusnet.com.au) (Quit: https://ineedsomeacidtocalmmedown.space/)
2026-02-20 03:07:31 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds)
2026-02-20 03:08:54 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2026-02-20 03:11:06 +0100tnks(sid412124@id-412124.helmsley.irccloud.com) (Server closed connection)
2026-02-20 03:11:17 +0100tnks(sid412124@id-412124.helmsley.irccloud.com) tnks
2026-02-20 03:14:12 +0100haskell-noob(~haskell-n@50.35.80.129) (Quit: Client closed)
2026-02-20 03:15:22 +0100newmind(~newmind@91-133-90-252.dyn.cablelink.at) (Quit: Client closed)
2026-02-20 03:15:46 +0100idnar(sid12240@debian/mithrandi) (Server closed connection)
2026-02-20 03:15:57 +0100idnar(sid12240@debian/mithrandi) idnar
2026-02-20 03:17:55 +0100Pozyomka(~pyon@user/pyon) pyon
2026-02-20 03:18:07 +0100Googulator(~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed)
2026-02-20 03:18:28 +0100Googulator(~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu)
2026-02-20 03:19:53 +0100abiss27(~abiss27@190.213.234.139)
2026-02-20 03:20:58 +0100abiss27(~abiss27@190.213.234.139) (Client Quit)
2026-02-20 03:23:22 +0100polykernel_(~polykerne@user/polykernel) polykernel
2026-02-20 03:26:07 +0100abiss27(~abiss27@190.213.234.139)
2026-02-20 03:27:08 +0100abiss27(~abiss27@190.213.234.139) (Changing host)
2026-02-20 03:27:08 +0100abiss27(~abiss27@user/abiss) abiss
2026-02-20 03:27:19 +0100notzmv(~umar@user/notzmv) (Ping timeout: 264 seconds)
2026-02-20 03:27:40 +0100polykernel(~polykerne@user/polykernel) (Ping timeout: 276 seconds)
2026-02-20 03:27:40 +0100polykernel_polykernel
2026-02-20 03:28:36 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-02-20 03:29:06 +0100abiss27(~abiss27@user/abiss) (Client Quit)
2026-02-20 03:30:35 +0100abiss27(~abiss27@190.213.234.139)
2026-02-20 03:31:45 +0100abiss27(~abiss27@190.213.234.139) ()
2026-02-20 03:36:21 +0100abiss27(~abiss27@190.213.234.139)
2026-02-20 03:38:56 +0100duncan(c6181279e3@user/meow/duncan) (Server closed connection)
2026-02-20 03:39:05 +0100duncan(c6181279e3@user/meow/duncan) duncan
2026-02-20 03:41:39 +0100abiss27(~abiss27@190.213.234.139) (Changing host)
2026-02-20 03:41:39 +0100abiss27(~abiss27@user/abiss) abiss
2026-02-20 03:44:25 +0100abiss27(~abiss27@user/abiss) ()
2026-02-20 03:45:35 +0100dostoyevsky2(~sck@user/dostoyevsky2) (Quit: leaving)
2026-02-20 03:45:52 +0100dostoyevsky2(~sck@user/dostoyevsky2) dostoyevsky2
2026-02-20 03:46:26 +0100dsal(sid13060@id-13060.lymington.irccloud.com) (Server closed connection)
2026-02-20 03:46:34 +0100abiss27(~abiss27@user/abiss) abiss
2026-02-20 03:46:37 +0100dsal(sid13060@id-13060.lymington.irccloud.com) dsal
2026-02-20 03:48:25 +0100werneta(~werneta@71.83.160.242) werneta
2026-02-20 03:49:06 +0100megeve(sid727922@id-727922.lymington.irccloud.com) (Server closed connection)
2026-02-20 03:49:25 +0100megeve(sid727922@id-727922.lymington.irccloud.com) megeve
2026-02-20 03:52:26 +0100aspen(sid449115@id-449115.helmsley.irccloud.com) (Server closed connection)
2026-02-20 03:52:37 +0100aspen(sid449115@id-449115.helmsley.irccloud.com) aspen
2026-02-20 03:54:56 +0100sus(1b7af6299f@user/zeromomentum) (Server closed connection)
2026-02-20 03:54:58 +0100Pozyomka(~pyon@user/pyon) (Quit: brb)
2026-02-20 03:55:04 +0100sus(1b7af6299f@user/zeromomentum) zeromomentum
2026-02-20 03:56:19 +0100polykernel(~polykerne@user/polykernel) (Remote host closed the connection)
2026-02-20 03:56:26 +0100Pozyomka(~pyon@user/pyon) pyon
2026-02-20 03:56:57 +0100polykernel(~polykerne@user/polykernel) polykernel
2026-02-20 03:58:56 +0100cpli(77fc530071@2a03:6000:1812:100::252) (Server closed connection)
2026-02-20 03:59:05 +0100cpli(77fc530071@2a03:6000:1812:100::252) cpli
2026-02-20 04:09:08 +0100td_(~td@i5387091E.versanet.de) (Ping timeout: 265 seconds)
2026-02-20 04:10:33 +0100td_(~td@i5387092E.versanet.de)
2026-02-20 04:13:36 +0100cephei8(b8652603d7@user/cephei8) (Server closed connection)
2026-02-20 04:13:44 +0100cephei8(b8652603d7@user/cephei8) cephei8
2026-02-20 04:20:02 +0100hook54321(sid149355@user/hook54321) (Ping timeout: 252 seconds)
2026-02-20 04:21:52 +0100bw(sid2730@user/betawaffle) (Ping timeout: 256 seconds)
2026-02-20 04:23:04 +0100hook54321(sid149355@user/hook54321) hook54321
2026-02-20 04:23:47 +0100bw(sid2730@user/betawaffle) betawaffle
2026-02-20 04:25:42 +0100rainbyte(~rainbyte@186.22.19.214) (Remote host closed the connection)
2026-02-20 04:25:45 +0100tolt(~weechat-h@li219-154.members.linode.com) (Ping timeout: 252 seconds)
2026-02-20 04:26:04 +0100mud(~mud@user/kadoban) (Read error: Connection reset by peer)
2026-02-20 04:26:05 +0100rainbyte(~rainbyte@186.22.19.214) rainbyte
2026-02-20 04:26:09 +0100tolt(~weechat-h@li219-154.members.linode.com) tolt
2026-02-20 04:26:11 +0100kadobanana(~mud@user/kadoban) kadoban
2026-02-20 04:26:41 +0100rubin55(sid666180@id-666180.ilkley.irccloud.com) (Ping timeout: 272 seconds)
2026-02-20 04:27:49 +0100rubin55(sid666180@id-666180.ilkley.irccloud.com) rubin55
2026-02-20 04:28:15 +0100sa(sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 245 seconds)
2026-02-20 04:28:16 +0100aniketd(32aa4844cd@2a03:6000:1812:100::dcb) (Server closed connection)
2026-02-20 04:28:24 +0100aniketd(32aa4844cd@2a03:6000:1812:100::dcb) aniketd
2026-02-20 04:29:04 +0100sa(sid1055@id-1055.tinside.irccloud.com) sa
2026-02-20 04:29:06 +0100pounce(8a023a9e4a@user/cute/pounce) (Server closed connection)
2026-02-20 04:29:14 +0100pounce(8a023a9e4a@user/cute/pounce) pounce
2026-02-20 04:29:16 +0100dysfigureddfg
2026-02-20 04:29:35 +0100dfg(~dfg@50.116.28.89) (Changing host)
2026-02-20 04:29:35 +0100dfg(~dfg@user/dfg) dfg
2026-02-20 04:33:19 +0100simplystuart(~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection)
2026-02-20 04:35:20 +0100Lears(~Leary@user/Leary/x-0910699) (Read error: Connection reset by peer)
2026-02-20 04:35:26 +0100Leary(~Leary@user/Leary/x-0910699) Leary
2026-02-20 04:36:45 +0100hiredman(~hiredman@frontier1.downey.family) (Ping timeout: 252 seconds)
2026-02-20 04:36:52 +0100sam113101(~sam@modemcable200.189-202-24.mc.videotron.ca) (Read error: Connection reset by peer)
2026-02-20 04:37:09 +0100sam113101(~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101
2026-02-20 04:38:11 +0100dfg(~dfg@user/dfg) (Remote host closed the connection)
2026-02-20 04:38:19 +0100hiredman(~hiredman@frontier1.downey.family) hiredman
2026-02-20 04:38:25 +0100dfg(~dfg@user/dfg) dfg
2026-02-20 04:41:37 +0100terrorjack(~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat)
2026-02-20 04:45:22 +0100terrorjack(~terrorjac@2a01:4f8:271:2d98::2) terrorjack
2026-02-20 04:50:08 +0100seven3_(~seven3@user/seven3) seven3
2026-02-20 04:50:33 +0100seven3_seven3
2026-02-20 04:53:51 +0100jmcantrell_jmcantrell
2026-02-20 04:58:16 +0100wickedjargon(~user@2605:8d80:5430:2479:9804:7882:6f99:437b) wickedjargon
2026-02-20 05:02:32 +0100wickedjargon(~user@2605:8d80:5430:2479:9804:7882:6f99:437b) (Remote host closed the connection)
2026-02-20 05:03:26 +0100wickedjargon(~user@2605:8d80:5430:2479:9804:7882:6f99:437b) wickedjargon
2026-02-20 05:07:06 +0100apache(apache2@anubis.0x90.dk) (Server closed connection)
2026-02-20 05:07:15 +0100apache2(apache2@anubis.0x90.dk) apache2
2026-02-20 05:08:46 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-20 05:11:01 +0100jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 276 seconds)
2026-02-20 05:17:24 +0100poscat0x04(~poscat@user/poscat) poscat
2026-02-20 05:19:26 +0100poscat(~poscat@user/poscat) (Ping timeout: 252 seconds)
2026-02-20 05:19:55 +0100abiss27(~abiss27@user/abiss) ()
2026-02-20 05:23:46 +0100wbrawner(~wbrawner@129.146.105.153) (Server closed connection)
2026-02-20 05:23:54 +0100wbrawner(~wbrawner@129.146.105.153) wbrawner
2026-02-20 05:26:08 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2026-02-20 05:33:15 +0100wickedjargon(~user@2605:8d80:5430:2479:9804:7882:6f99:437b) (Remote host closed the connection)
2026-02-20 05:34:36 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds)
2026-02-20 05:37:33 +0100notzmv(~umar@user/notzmv) notzmv
2026-02-20 05:42:55 +0100emaczen(~user@user/emaczen) (Ping timeout: 264 seconds)
2026-02-20 05:43:36 +0100TMA(tma@twin.jikos.cz) (Server closed connection)
2026-02-20 05:43:48 +0100TMA(tma@twin.jikos.cz) TMA
2026-02-20 05:48:22 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer)
2026-02-20 05:49:02 +0100DetourNetworkUK(~DetourNet@user/DetourNetworkUK) DetourNetworkUK
2026-02-20 05:49:40 +0100Fijxu_(~Fijxu@user/fijxu) (Quit: XD!!)
2026-02-20 05:52:54 +0100Fijxu(~Fijxu@user/fijxu) fijxu
2026-02-20 05:54:16 +0100barrucadu(~barrucadu@carcosa.barrucadu.co.uk) (Server closed connection)
2026-02-20 05:54:26 +0100YuutaW(~YuutaW@infornography.yta.moe) (Server closed connection)
2026-02-20 05:54:31 +0100barrucadu(~barrucadu@carcosa.barrucadu.co.uk) barrucadu
2026-02-20 05:54:45 +0100YuutaW(~YuutaW@infornography.yta.moe) YuutaW
2026-02-20 05:54:48 +0100abiss27(~abiss27@user/abiss) abiss
2026-02-20 05:54:53 +0100newmind(~newmind@91-133-90-252.dyn.cablelink.at)
2026-02-20 05:55:38 +0100Pozyomka(~pyon@user/pyon) (Quit: brb)
2026-02-20 05:58:26 +0100zlqrvx(~zlqrvx@user/zlqrvx) (Server closed connection)
2026-02-20 05:58:40 +0100zlqrvx(~zlqrvx@user/zlqrvx) zlqrvx
2026-02-20 05:59:33 +0100Pozyomka(~pyon@user/pyon) pyon
2026-02-20 06:06:22 +0100abiss27(~abiss27@user/abiss) ()
2026-02-20 06:11:46 +0100oxapentane(~oxapentan@user/oxapentane) (Server closed connection)
2026-02-20 06:11:59 +0100oxapentane(~oxapentan@user/oxapentane) oxapentane
2026-02-20 06:15:05 +0100Putonlalla(~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 252 seconds)
2026-02-20 06:32:14 +0100michalz(~michalz@185.246.207.200)
2026-02-20 06:36:13 +0100Guest18(~Guest18@2603-9000-a3f0-0f50-3629-b3f2-f371-ca00.inf6.spectrum.com)
2026-02-20 06:37:22 +0100Guest18(~Guest18@2603-9000-a3f0-0f50-3629-b3f2-f371-ca00.inf6.spectrum.com) (Client Quit)
2026-02-20 06:54:57 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 268 seconds)
2026-02-20 07:04:36 +0100Pozyomka(~pyon@user/pyon) (Ping timeout: 264 seconds)
2026-02-20 07:08:56 +0100turlando(~turlando@user/turlando) (Server closed connection)
2026-02-20 07:09:14 +0100turlando(~turlando@user/turlando) turlando
2026-02-20 07:10:08 +0100arandombit(~arandombi@2a02:2455:8656:7100:c19f:7bc6:f113:a90f)
2026-02-20 07:10:08 +0100arandombit(~arandombi@2a02:2455:8656:7100:c19f:7bc6:f113:a90f) (Changing host)
2026-02-20 07:10:08 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-02-20 07:15:08 +0100bliminse(~bliminse@user/bliminse) (Quit: leaving)
2026-02-20 07:15:49 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 276 seconds)
2026-02-20 07:18:02 +0100Vizious(~bes@user/Vizious) Vizious
2026-02-20 07:18:54 +0100bliminse(~bliminse@user/bliminse) bliminse
2026-02-20 07:21:09 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2026-02-20 07:24:05 +0100peterbecich(~Thunderbi@71.84.33.135) peterbecich
2026-02-20 07:25:42 +0100mange(~mange@user/mange) (Remote host closed the connection)
2026-02-20 07:28:26 +0100priime(~priime@2a01:4ff:f0:7ccc::1) (Server closed connection)
2026-02-20 07:28:47 +0100priime(~priime@2a01:4ff:f0:7ccc::1) priime
2026-02-20 07:29:14 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-02-20 07:32:49 +0100wickedjargon(~user@2605:8d80:5430:e143:62d7:d4f:2b10:38fc) wickedjargon
2026-02-20 07:36:53 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 268 seconds)
2026-02-20 07:37:06 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2026-02-20 07:38:19 +0100hakutaku(~textual@user/hakutaku) hakutaku
2026-02-20 07:44:33 +0100werneta(~werneta@71.83.160.242) (Quit: leaving)
2026-02-20 07:47:01 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2026-02-20 07:55:46 +0100PaulMartensen(15a119e437@2001:bc8:1210:2cd8::3bc) (Server closed connection)
2026-02-20 07:55:52 +0100PaulMartensen(15a119e437@2001:bc8:1210:2cd8::3bc)
2026-02-20 07:56:01 +0100dontdieych(~dontdieyc@132.226.169.184) (Remote host closed the connection)
2026-02-20 07:59:14 +0100arandombit(~arandombi@2a02:2455:8656:7100:c19f:7bc6:f113:a90f)
2026-02-20 07:59:14 +0100arandombit(~arandombi@2a02:2455:8656:7100:c19f:7bc6:f113:a90f) (Changing host)
2026-02-20 07:59:14 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-02-20 08:04:38 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 268 seconds)
2026-02-20 08:12:30 +0100Square3(~Square@user/square) Square
2026-02-20 08:15:44 +0100Square2(~Square4@user/square) (Ping timeout: 268 seconds)
2026-02-20 08:16:15 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-02-20 08:16:31 +0100peterbecich(~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds)
2026-02-20 08:22:29 +0100tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2026-02-20 08:24:59 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 268 seconds)
2026-02-20 08:25:59 +0100olivial(~benjaminl@user/benjaminl) (Read error: Connection reset by peer)
2026-02-20 08:26:16 +0100olivial(~benjaminl@user/benjaminl) benjaminl
2026-02-20 08:30:06 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 252 seconds)
2026-02-20 08:31:17 +0100gmg(~user@user/gehmehgeh) gehmehgeh
2026-02-20 08:39:17 +0100fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp
2026-02-20 08:39:40 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 276 seconds)
2026-02-20 08:44:26 +0100caasih(sid13241@id-13241.ilkley.irccloud.com) (Server closed connection)
2026-02-20 08:44:37 +0100caasih(sid13241@id-13241.ilkley.irccloud.com) caasih
2026-02-20 08:50:28 +0100zlqrvx(~zlqrvx@user/zlqrvx) (Quit: connection reset by purr)
2026-02-20 08:50:38 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-02-20 08:51:50 +0100zlqrvx(~zlqrvx@user/zlqrvx) zlqrvx
2026-02-20 08:56:16 +0100_0xa(~user@user/0xa/x-3134607) (Server closed connection)
2026-02-20 08:56:27 +0100_0xa(~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc)
2026-02-20 08:56:27 +0100_0xa(~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) (Changing host)
2026-02-20 08:56:27 +0100_0xa(~user@user/0xa/x-3134607) _0xa
2026-02-20 08:59:36 +0100alanz(sid110616@id-110616.uxbridge.irccloud.com) (Server closed connection)
2026-02-20 08:59:47 +0100alanz(sid110616@id-110616.uxbridge.irccloud.com) alanz
2026-02-20 09:00:56 +0100Jonno_FTW(~come@user/jonno-ftw/x-0835346) (Server closed connection)
2026-02-20 09:01:04 +0100Jonno_FTW(~come@api.carswap.me)
2026-02-20 09:01:04 +0100Jonno_FTW(~come@api.carswap.me) (Changing host)
2026-02-20 09:01:04 +0100Jonno_FTW(~come@user/jonno-ftw/x-0835346) Jonno_FTW
2026-02-20 09:06:19 +0100fp(~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 276 seconds)
2026-02-20 09:06:26 +0100rawles(sid630849@user/rawles) (Server closed connection)
2026-02-20 09:06:46 +0100rawles(sid630849@user/rawles) rawles
2026-02-20 09:11:47 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2026-02-20 09:13:53 +0100glguy(glguy@libera/staff/glguy) (Ping timeout: 610 seconds)
2026-02-20 09:19:14 +0100hakutaku(~textual@user/hakutaku) (Quit: Textual IRC Client: www.textualapp.com)
2026-02-20 09:25:17 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2026-02-20 09:25:19 +0100Enrico63(~Enrico63@host-82-56-209-65.retail.telecomitalia.it) Enrico63
2026-02-20 09:25:37 +0100sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-02-20 09:27:59 +0100tromp(~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413)
2026-02-20 09:32:50 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-02-20 09:33:45 +0100n0w0n(~john@user/n0w0n) (Quit: WeeChat 4.6.3)
2026-02-20 09:35:25 +0100chele(~chele@user/chele) chele
2026-02-20 09:38:30 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2026-02-20 09:40:26 +0100df(~ben@justworks.xyz) (Server closed connection)
2026-02-20 09:40:40 +0100df(~ben@justworks.xyz)
2026-02-20 09:44:28 +0100wickedjargon(~user@2605:8d80:5430:e143:62d7:d4f:2b10:38fc) (Remote host closed the connection)
2026-02-20 09:45:20 +0100emmanuelux(~em@user/emmanuelux) (Quit: bye)
2026-02-20 09:52:56 +0100driib3180(~driib@vmi931078.contaboserver.net) (Server closed connection)
2026-02-20 09:53:33 +0100driib3180(~driib@vmi931078.contaboserver.net) driib
2026-02-20 09:57:53 +0100wickedjargon(~user@2605:8d80:5430:e143:62d7:d4f:2b10:38fc) wickedjargon
2026-02-20 10:04:41 +0100fp(~Thunderbi@2001:708:20:1406::1370) fp
2026-02-20 10:09:36 +0100tureba(tureba@tureba.org) (Server closed connection)
2026-02-20 10:09:52 +0100tureba(tureba@tureba.org) tureba
2026-02-20 10:16:26 +0100merijn(~merijn@77.242.116.146) merijn
2026-02-20 10:16:28 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 265 seconds)
2026-02-20 10:17:31 +0100tromp(~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-20 10:18:21 +0100wickedjargon(~user@2605:8d80:5430:e143:62d7:d4f:2b10:38fc) (Remote host closed the connection)
2026-02-20 10:27:03 +0100fp(~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 272 seconds)
2026-02-20 10:31:39 +0100tromp(~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413)
2026-02-20 10:35:31 +0100srazkvt(~sarah@user/srazkvt) srazkvt
2026-02-20 10:41:21 +0100lxsameer(~lxsameer@Serene/lxsameer) lxsameer
2026-02-20 10:45:55 +0100xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds)
2026-02-20 10:45:58 +0100fp(~Thunderbi@130.233.70.160) fp
2026-02-20 10:48:51 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-02-20 10:50:19 +0100newmind(~newmind@91-133-90-252.dyn.cablelink.at) (Quit: Client closed)
2026-02-20 10:50:28 +0100newmind(~newmind@91-133-90-252.dyn.cablelink.at)
2026-02-20 10:58:31 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds)
2026-02-20 10:59:47 +0100__monty__(~toonn@user/toonn) toonn
2026-02-20 11:10:20 +0100kuribas(~user@ip-188-118-57-242.reverse.destiny.be) kuribas
2026-02-20 11:14:34 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 268 seconds)
2026-02-20 11:15:47 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-20 11:18:16 +0100eso(a0662dfd5e@2a03:6000:1812:100::1266) (Server closed connection)
2026-02-20 11:18:24 +0100eso(a0662dfd5e@2a03:6000:1812:100::1266) jeso
2026-02-20 11:19:08 +0100CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds)
2026-02-20 11:20:44 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 268 seconds)
2026-02-20 11:26:46 +0100divlamir(~divlamir@user/divlamir) (Read error: Connection reset by peer)
2026-02-20 11:27:09 +0100divlamir(~divlamir@user/divlamir) divlamir
2026-02-20 11:31:24 +0100haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2026-02-20 11:31:24 +0100haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2026-02-20 11:31:24 +0100haritz(~hrtz@user/haritz) haritz
2026-02-20 11:41:30 +0100jeremyn(~jeremy@user/jeremyn) jeremyn
2026-02-20 11:44:43 +0100jeremyn(~jeremy@user/jeremyn) (Client Quit)
2026-02-20 11:46:49 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-20 11:52:44 +0100tromp(~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-20 11:53:46 +0100sefidel(~sefidel@user/sefidel) (Server closed connection)
2026-02-20 11:53:48 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2026-02-20 11:54:00 +0100sefidel(~sefidel@user/sefidel) sefidel
2026-02-20 11:54:05 +0100tromp(~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413)
2026-02-20 11:56:49 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2026-02-20 11:57:24 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-20 12:00:18 +0100qqq(~qqq@185.54.22.240)
2026-02-20 12:02:03 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 268 seconds)
2026-02-20 12:04:26 +0100koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Server closed connection)
2026-02-20 12:04:37 +0100koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2026-02-20 12:05:55 +0100Pozyomka(~pyon@user/pyon) pyon
2026-02-20 12:10:49 +0100malte(~malte@mal.tc) (Ping timeout: 246 seconds)
2026-02-20 12:12:04 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-02-20 12:27:53 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-20 12:32:16 +0100kaankeskin(~kaankeski@user/kaankeskin) (Server closed connection)
2026-02-20 12:32:16 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 268 seconds)
2026-02-20 12:32:36 +0100kaankeskin(~kaankeski@user/kaankeskin) kaankeskin
2026-02-20 12:33:07 +0100qqq(~qqq@185.54.22.240) (Read error: Connection reset by peer)
2026-02-20 12:33:50 +0100qqq(~qqq@185.54.22.240)
2026-02-20 12:42:45 +0100tremon(~tremon@83.80.159.219) tremon
2026-02-20 12:42:48 +0100xff0x(~xff0x@2405:6580:b080:900:f414:1629:3dcb:8520)
2026-02-20 12:46:23 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-20 12:46:51 +0100halloy7365(~halloy736@2404:4400:a100:9177:29eb:6604:6ca8:ff8b) (Read error: Connection reset by peer)
2026-02-20 12:47:33 +0100humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...)
2026-02-20 12:47:34 +0100merijn(~merijn@77.242.116.146) (Read error: Connection reset by peer)
2026-02-20 12:53:46 +0100Enrico63(~Enrico63@host-82-56-209-65.retail.telecomitalia.it) (Quit: Client closed)
2026-02-20 13:00:02 +0100 <gentauro> anybody know if `.lhs` (Literate programming, Bird style) can be executed as a script?
2026-02-20 13:00:45 +0100 <gentauro> it seems they don't like the `#! /usr/bin/env …` part
2026-02-20 13:02:10 +0100fun-safe-math(~fun-safe-@97.115.234.213) ()
2026-02-20 13:02:17 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-20 13:04:25 +0100fun-safe-math(~fun-safe-@97.115.234.213) fun-safe-math
2026-02-20 13:04:59 +0100 <gentauro> oh, my bad. I was missing a `code-block`
2026-02-20 13:06:16 +0100xelxebar(~xelxebar@42.203.199.104.bc.googleusercontent.com) (Server closed connection)
2026-02-20 13:06:37 +0100xelxebar(~xelxebar@42.203.199.104.bc.googleusercontent.com) xelxebar
2026-02-20 13:12:40 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2026-02-20 13:20:16 +0100doyougnu(~doyougnu@38.175.72.111) (Server closed connection)
2026-02-20 13:21:02 +0100doyougnu(~doyougnu@38.175.72.111) doyougnu
2026-02-20 13:21:43 +0100housemate(~housemate@202.7.248.67) housemate
2026-02-20 13:22:59 +0100Square3(~Square@user/square) (Ping timeout: 252 seconds)
2026-02-20 13:23:40 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-20 13:29:27 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-02-20 13:39:29 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 268 seconds)
2026-02-20 13:40:52 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-20 13:46:00 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-20 13:51:51 +0100larsivi(~larsivi@user/larsivi) larsivi
2026-02-20 13:56:17 +0100srazkvt(~sarah@user/srazkvt) (Quit: Konversation terminated!)
2026-02-20 13:56:38 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-20 14:01:41 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-02-20 14:05:37 +0100housemate_(~housemate@202.7.248.67) housemate
2026-02-20 14:07:40 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2026-02-20 14:07:59 +0100housemate(~housemate@202.7.248.67) (Ping timeout: 260 seconds)
2026-02-20 14:11:46 +0100redshuffle(~quassel@45.43.70.75) (Server closed connection)
2026-02-20 14:11:53 +0100redshuffle(~quassel@45.43.70.75)
2026-02-20 14:12:25 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-20 14:15:43 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2026-02-20 14:15:55 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds)
2026-02-20 14:16:16 +0100deadnode666(~deadnode6@user/deadnode666) (Server closed connection)
2026-02-20 14:16:36 +0100deadnode666(~deadnode6@user/deadnode666) deadnode666
2026-02-20 14:16:40 +0100housemate_(~housemate@202.7.248.67) (Read error: Connection reset by peer)
2026-02-20 14:17:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-20 14:23:06 +0100kilolympus(~kilolympu@vmi1102682.contaboserver.net) (Server closed connection)
2026-02-20 14:23:26 +0100kilolympus(~kilolympu@vmi1102682.contaboserver.net) kilolympus
2026-02-20 14:25:35 +0100arandombit(~arandombi@user/arandombit) (Remote host closed the connection)
2026-02-20 14:27:26 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-20 14:28:12 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-20 14:31:54 +0100chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 268 seconds)
2026-02-20 14:32:02 +0100castan(~castan@86.121.192.170)
2026-02-20 14:33:36 +0100mfc_kbs(~keibisoft@2a06:1fc0:0:1::1cd) (Server closed connection)
2026-02-20 14:33:45 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-02-20 14:33:54 +0100mfc_kbs(~keibisoft@2a06:1fc0:0:1::1cd)
2026-02-20 14:35:39 +0100housemate(~housemate@pa49-178-146-220.pa.nsw.optusnet.com.au) housemate
2026-02-20 14:37:52 +0100 <castan> Hi. Is there a clean way to get this kind of composition: (c -> d) -> (a -> b -> c) -> a -> b -> d, without writing a new operator for it?
2026-02-20 14:39:05 +0100 <tomsmeding> :t \f g -> (f .) . g
2026-02-20 14:39:06 +0100 <lambdabot> (b -> c) -> (a1 -> a2 -> b) -> a1 -> a2 -> c
2026-02-20 14:39:10 +0100 <tomsmeding> castan: ^
2026-02-20 14:39:21 +0100 <tomsmeding> whether that's clean enough I'll leave to you
2026-02-20 14:39:45 +0100Googulator(~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed)
2026-02-20 14:39:48 +0100 <castan> That's great thanks
2026-02-20 14:40:07 +0100Googulator(~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu)
2026-02-20 14:40:11 +0100 <tomsmeding> @djinn (c -> d) -> (a -> b -> c) -> a -> b -> d
2026-02-20 14:40:11 +0100 <lambdabot> f a b c d = a (b c d)
2026-02-20 14:40:27 +0100 <tomsmeding> @pl \a b c d -> a (b c d)
2026-02-20 14:40:27 +0100 <lambdabot> (.) . (.)
2026-02-20 14:40:30 +0100 <tomsmeding> heh
2026-02-20 14:40:43 +0100 <tomsmeding> the downside of generic tools, they don't give you the nice middle road
2026-02-20 14:41:10 +0100 <castan> yeah, it's impressive nevertheless
2026-02-20 14:42:05 +0100 <tomsmeding> ah:
2026-02-20 14:42:07 +0100 <tomsmeding> @pl \x y -> f (g x y)
2026-02-20 14:42:08 +0100 <lambdabot> (f .) . g
2026-02-20 14:42:20 +0100 <castan> oh wow
2026-02-20 14:43:12 +0100 <tomsmeding> the @pl command is also here https://pointfree.io/
2026-02-20 14:44:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-20 14:47:14 +0100castan(~castan@86.121.192.170) (Quit: castan)
2026-02-20 14:49:46 +0100Hafydd(~Hafydd@user/hafydd) (Server closed connection)
2026-02-20 14:50:03 +0100Hafydd(~Hafydd@user/hafydd) Hafydd
2026-02-20 14:51:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-20 14:57:13 +0100gentauro`(.) . (.)` :o
2026-02-20 14:58:58 +0100 <tomsmeding> :t fmap fmap fmap
2026-02-20 14:58:59 +0100 <lambdabot> (Functor f1, Functor f2) => (a -> b) -> f1 (f2 a) -> f1 (f2 b)
2026-02-20 14:59:38 +0100 <tomsmeding> set f1 ~ (u ->) and f2 ~ (v ->) :)
2026-02-20 14:59:48 +0100 <haskellbridge> <magic_rb> :t ((.) . (.)) . ((.) . (.))
2026-02-20 14:59:56 +0100 <haskellbridge> <magic_rb> fuck, do i not have the right
2026-02-20 14:59:58 +0100 <tomsmeding> :t ((.) . (.)) . ((.) . (.))
2026-02-20 15:00:00 +0100 <lambdabot> (b -> c) -> (a1 -> a2 -> a3 -> a4 -> b) -> a1 -> a2 -> a3 -> a4 -> c
2026-02-20 15:00:16 +0100 <tomsmeding> magic_rb: your message has a `<magic_rb> ` prefix here
2026-02-20 15:00:39 +0100 <tomsmeding> :t fmap fmap fmap `fmap` fmap fmap fmap
2026-02-20 15:00:40 +0100 <lambdabot> (Functor f1, Functor f2, Functor f3, Functor f4) => (a -> b) -> f1 (f2 (f3 (f4 a))) -> f1 (f2 (f3 (f4 b)))
2026-02-20 15:00:54 +0100 <tomsmeding> :t (.) . (.) . (.) . (.)
2026-02-20 15:00:56 +0100 <lambdabot> (b -> c) -> (a1 -> a2 -> a3 -> a4 -> b) -> a1 -> a2 -> a3 -> a4 -> c
2026-02-20 15:01:18 +0100 <tomsmeding> (fmap on (->) is (.))
2026-02-20 15:01:30 +0100 <haskellbridge> <magic_rb> wait so (.) . (.) is equal to what
2026-02-20 15:01:36 +0100chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2026-02-20 15:01:36 +0100 <tomsmeding> fmap = (.)
2026-02-20 15:01:46 +0100 <haskellbridge> <magic_rb> really?
2026-02-20 15:01:49 +0100 <haskellbridge> <magic_rb> thats new
2026-02-20 15:01:51 +0100 <tomsmeding> :t fmap
2026-02-20 15:01:52 +0100 <lambdabot> Functor f => (a -> b) -> f a -> f b
2026-02-20 15:01:55 +0100 <tomsmeding> :t (.)
2026-02-20 15:01:56 +0100 <lambdabot> (b -> c) -> (a -> b) -> a -> c
2026-02-20 15:02:10 +0100 <tomsmeding> ok names are different but set `f ~ (u ->)`
2026-02-20 15:02:17 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-20 15:02:37 +0100 <haskellbridge> <magic_rb> yeah i see it
2026-02-20 15:03:18 +0100 <tomsmeding> this makes sense:
2026-02-20 15:03:20 +0100 <tomsmeding> :t fmap . fmap
2026-02-20 15:03:21 +0100 <lambdabot> (Functor f1, Functor f2) => (a -> b) -> f1 (f2 a) -> f1 (f2 b)
2026-02-20 15:03:25 +0100 <tomsmeding> fmap under two functors
2026-02-20 15:03:31 +0100 <tomsmeding> but because fmap = (.) you can write
2026-02-20 15:03:33 +0100 <tomsmeding> :t fmap fmap fmap
2026-02-20 15:03:34 +0100 <lambdabot> (Functor f1, Functor f2) => (a -> b) -> f1 (f2 a) -> f1 (f2 b)
2026-02-20 15:04:27 +0100housemate_(~housemate@202.7.248.67) housemate
2026-02-20 15:04:59 +0100 <Athas> Is there a way to get cabal to show the dependency tree for my package?
2026-02-20 15:05:12 +0100 <Athas> I'm quite surprised to see that I depend on Cabal and websockets.
2026-02-20 15:05:21 +0100 <Athas> Although I have a suspicion as to why.
2026-02-20 15:05:24 +0100 <tomsmeding> Athas: you can eyeball dist-newstyle/cache/plan.json
2026-02-20 15:05:36 +0100 <tomsmeding> not a neat tree, but the info is there
2026-02-20 15:05:40 +0100 <Athas> Eyeball a 155K JSON file? I see...
2026-02-20 15:05:48 +0100 <tomsmeding> well using search. :)
2026-02-20 15:05:53 +0100bionade24(~quassel@server2.oscloud.info) bionade24
2026-02-20 15:06:26 +0100 <tomsmeding> in any case, it's a graph, not a tree
2026-02-20 15:06:55 +0100housemate(~housemate@pa49-178-146-220.pa.nsw.optusnet.com.au) (Ping timeout: 264 seconds)
2026-02-20 15:06:58 +0100 <Athas> My suspicion was wrong; apparently the Cabal dependency is due to a Setup.hs from 'entropy'. It's probably been like that for a while and I never noticed.
2026-02-20 15:07:05 +0100 <tomsmeding> Athas: `cabal-plan tred` is perhaps closest to what you mean
2026-02-20 15:07:06 +0100 <Athas> And of course 'lsp' is why I depend on 'websockets'.
2026-02-20 15:07:13 +0100 <tomsmeding> using https://hackage.haskell.org/package/cabal-plan
2026-02-20 15:07:31 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-20 15:08:02 +0100 <tomsmeding> but I find that plan.json is usable enough for the odd time that I need to look at the dependency graph
2026-02-20 15:08:17 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2026-02-20 15:08:49 +0100 <tomsmeding> (... why does lsp depend on websockets?)
2026-02-20 15:09:38 +0100 <tomsmeding> TIL LSP works with websockets?
2026-02-20 15:10:41 +0100 <int-e> I don't know. I imagine it's because it was designed in a context of an Electron application, so websockets were already there, "for free".
2026-02-20 15:10:56 +0100 <int-e> At least in part.
2026-02-20 15:13:33 +0100Square3(~Square@user/square) Square
2026-02-20 15:13:52 +0100jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2026-02-20 15:18:04 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-20 15:20:07 +0100 <lortabac> Athas: maybe cabal-plan dot
2026-02-20 15:21:31 +0100 <tomsmeding> I find that is mostly a good way to generate a huge pdf, or a huge png that no image viewer will open, with no way of reading anything from the warren of arrows
2026-02-20 15:22:11 +0100Square3(~Square@user/square) (Ping timeout: 272 seconds)
2026-02-20 15:22:39 +0100 <Athas> I think lsp depends on everything, just in case.
2026-02-20 15:22:52 +0100 <tomsmeding> lortabac: https://tomsmeding.com/vang/9fSZUM/graph.pdf
2026-02-20 15:23:27 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-02-20 15:23:41 +0100 <lortabac> tomsmeding: there may be tools to fetch useful info from a dot file. I have no idea to be honest
2026-02-20 15:23:48 +0100 <tomsmeding> Athas: yes, the moment you mentioned lsp I thought "ah, there's all your dependencies"
2026-02-20 15:23:57 +0100 <tomsmeding> lortabac: fair point, perhaps there are
2026-02-20 15:24:20 +0100 <lortabac> or you can feed it to an AI and ask them to find a particular path
2026-02-20 15:24:20 +0100 <Athas> It's interesting how my dependency graph looks almost identical to tomsmeding's from a human perspective: https://sigkill.dk/junk/graph.pdf
2026-02-20 15:24:48 +0100 <Athas> Very similar souls.
2026-02-20 15:25:17 +0100 <tomsmeding> Athas: while clearly true, I'm not sure that's a very interesting observation -- the vertical lines is just dot(1) throwing its hands up with too many dependencies
2026-02-20 15:25:45 +0100 <tomsmeding> And actually I disagree they look identical. Mine is right-heavy, whereas yours is more left-heavy.
2026-02-20 15:27:24 +0100jmcantrell_(~weechat@user/jmcantrell) (Ping timeout: 268 seconds)
2026-02-20 15:27:29 +0100 <haskellbridge> <ijouw> My pdf rendering seems to be done on cpu... Changing view takes up to two seconds.
2026-02-20 15:27:36 +0100 <tomsmeding> :D
2026-02-20 15:33:14 +0100castan(~castan@86.121.192.170)
2026-02-20 15:33:29 +0100housemate(~housemate@pa49-178-146-220.pa.nsw.optusnet.com.au) housemate
2026-02-20 15:33:57 +0100merijn(~merijn@62.45.136.136) merijn
2026-02-20 15:34:44 +0100castan(~castan@86.121.192.170) (Client Quit)
2026-02-20 15:34:59 +0100castan(~castan@86.121.192.170)
2026-02-20 15:35:30 +0100housemate(~housemate@pa49-178-146-220.pa.nsw.optusnet.com.au) (Remote host closed the connection)
2026-02-20 15:35:43 +0100housemate_(~housemate@202.7.248.67) (Ping timeout: 264 seconds)
2026-02-20 15:35:43 +0100castan(~castan@86.121.192.170) (Client Quit)
2026-02-20 15:35:57 +0100castan(~castan@86.121.192.170)
2026-02-20 15:38:44 +0100merijn(~merijn@62.45.136.136) (Ping timeout: 252 seconds)
2026-02-20 15:41:50 +0100emaczen(~user@user/emaczen) emaczen
2026-02-20 15:45:37 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 272 seconds)
2026-02-20 15:46:09 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2026-02-20 15:49:38 +0100merijn(~merijn@62.45.136.136) merijn
2026-02-20 15:49:59 +0100housemate(~housemate@pa49-178-146-220.pa.nsw.optusnet.com.au) housemate
2026-02-20 15:51:56 +0100AlexZenon(~alzenon@85.174.181.228) (Ping timeout: 252 seconds)
2026-02-20 15:53:57 +0100Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer)
2026-02-20 15:55:09 +0100merijn(~merijn@62.45.136.136) (Ping timeout: 268 seconds)
2026-02-20 16:01:22 +0100AlexZenon(~alzenon@85.174.181.228)
2026-02-20 16:02:54 +0100thenightmail(~thenightm@user/thenightmail) (Ping timeout: 260 seconds)
2026-02-20 16:05:28 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-20 16:06:55 +0100yin(~zero@user/zero) (Ping timeout: 264 seconds)
2026-02-20 16:08:14 +0100yin(~zero@user/zero) zero
2026-02-20 16:08:24 +0100Guest51(~Guest51@2604:2dc0:200:1a84::)
2026-02-20 16:10:46 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2026-02-20 16:12:16 +0100housemate_(~housemate@202.7.248.67) housemate
2026-02-20 16:15:06 +0100housemate(~housemate@pa49-178-146-220.pa.nsw.optusnet.com.au) (Ping timeout: 265 seconds)
2026-02-20 16:17:56 +0100arandombit(~arandombi@2a02:2455:8656:7100:b1b8:f383:7402:967e)
2026-02-20 16:17:56 +0100arandombit(~arandombi@2a02:2455:8656:7100:b1b8:f383:7402:967e) (Changing host)
2026-02-20 16:17:56 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-02-20 16:18:19 +0100larsivi(~larsivi@user/larsivi) (Ping timeout: 264 seconds)
2026-02-20 16:21:15 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-20 16:24:36 +0100AlexZenon(~alzenon@85.174.181.228) (Ping timeout: 252 seconds)
2026-02-20 16:25:59 +0100fp(~Thunderbi@130.233.70.160) (Ping timeout: 268 seconds)
2026-02-20 16:28:27 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds)
2026-02-20 16:30:14 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-20 16:30:26 +0100mulk(~mulk@p5b2dcbcc.dip0.t-ipconnect.de) (Server closed connection)
2026-02-20 16:31:46 +0100mulk(~mulk@p5b2dcbcc.dip0.t-ipconnect.de) mulk
2026-02-20 16:31:46 +0100castan(~castan@86.121.192.170) (Quit: castan)
2026-02-20 16:32:16 +0100Googulator(~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed)
2026-02-20 16:32:36 +0100Googulator(~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu)
2026-02-20 16:34:41 +0100AlexZenon(~alzenon@85.174.181.228)
2026-02-20 16:35:14 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 267 seconds)
2026-02-20 16:40:06 +0100Sgeo(~Sgeo@user/sgeo) Sgeo
2026-02-20 16:40:10 +0100AlexZenon(~alzenon@85.174.181.228) (Ping timeout: 268 seconds)
2026-02-20 16:43:36 +0100myme(~myme@2a01:799:d5e:5f00:6ed7:8f01:2568:20be) (Server closed connection)
2026-02-20 16:44:00 +0100myme(~myme@2a01:799:d5e:5f00:8616:d783:6707:c6c8) myme
2026-02-20 16:46:03 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-20 16:47:51 +0100weary-traveler(~user@user/user363627) (Remote host closed the connection)
2026-02-20 16:48:27 +0100Guest51(~Guest51@2604:2dc0:200:1a84::) (Quit: Client closed)
2026-02-20 16:48:33 +0100Alex_delenda_est(~al_test@85.174.181.228) (Read error: Connection reset by peer)
2026-02-20 16:49:25 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 268 seconds)
2026-02-20 16:49:27 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2026-02-20 16:50:17 +0100arandombit(~arandombi@user/arandombit) arandombit
2026-02-20 16:50:53 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2026-02-20 16:57:26 +0100polykernel_(~polykerne@user/polykernel) polykernel
2026-02-20 16:59:31 +0100polykernel(~polykerne@user/polykernel) (Ping timeout: 276 seconds)
2026-02-20 16:59:31 +0100polykernel_polykernel
2026-02-20 16:59:40 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2026-02-20 16:59:50 +0100Putonlalla(~Putonlall@it-cyan.it.jyu.fi) Tuplanolla
2026-02-20 17:01:46 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-20 17:02:43 +0100wickedjargon(~user@24.244.23.254) wickedjargon
2026-02-20 17:02:57 +0100straybits(~straybits@user/straybits) straybits
2026-02-20 17:03:40 +0100rainbyte(~rainbyte@186.22.19.214) (Read error: Connection reset by peer)
2026-02-20 17:05:15 +0100rainbyte(~rainbyte@186.22.19.214) rainbyte
2026-02-20 17:05:31 +0100arandombit(~arandombi@user/arandombit) (Ping timeout: 246 seconds)
2026-02-20 17:07:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2026-02-20 17:10:01 +0100glguy(glguy@libera/staff/glguy) glguy
2026-02-20 17:12:17 +0100thenightmail(~thenightm@user/thenightmail) thenightmail
2026-02-20 17:13:56 +0100tromp(~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413) (Quit: My iMac has gone to sleep. ZZZzzz…)
2026-02-20 17:16:26 +0100Adeon(sid418992@id-418992.lymington.irccloud.com) (Server closed connection)
2026-02-20 17:16:37 +0100Adeon(sid418992@id-418992.lymington.irccloud.com) Adeon
2026-02-20 17:17:34 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-20 17:21:06 +0100ProofTechnique_(sid79547@id-79547.ilkley.irccloud.com) (Server closed connection)
2026-02-20 17:21:18 +0100ProofTechnique_(sid79547@id-79547.ilkley.irccloud.com)
2026-02-20 17:23:07 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds)
2026-02-20 17:23:40 +0100thenightmail(~thenightm@user/thenightmail) (Quit: ZNC 1.8.2+deb2ubuntu0.1 - https://znc.in)
2026-02-20 17:32:56 +0100samhh_(7569f027cf@2a03:6000:1812:100::e4) (Server closed connection)
2026-02-20 17:33:06 +0100samhh_(7569f027cf@2a03:6000:1812:100::e4) samhh
2026-02-20 17:33:28 +0100Googulator(~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed)
2026-02-20 17:33:49 +0100Googulator(~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu)
2026-02-20 17:35:16 +0100thenightmail(~thenightm@user/thenightmail) thenightmail
2026-02-20 17:35:19 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-20 17:37:32 +0100thenightmail(~thenightm@user/thenightmail) (Client Quit)
2026-02-20 17:40:39 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2026-02-20 17:45:15 +0100thenightmail(~thenightm@user/thenightmail) thenightmail
2026-02-20 17:46:58 +0100machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 276 seconds)
2026-02-20 17:48:51 +0100tromp(~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413)
2026-02-20 17:50:37 +0100larsivi(~larsivi@user/larsivi) larsivi
2026-02-20 17:51:06 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-02-20 17:51:23 +0100machinedgod(~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod
2026-02-20 17:54:57 +0100n0w0n(~john@user/n0w0n) n0w0n
2026-02-20 17:56:43 +0100merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2026-02-20 18:00:56 +0100mangoiv(~mangoiv@user/mangoiv) (Server closed connection)
2026-02-20 18:01:14 +0100mangoiv(~mangoiv@2a01:4f9:c012:6c0e::)