| 2026-02-20 00:03:06 +0000 | sajith | (~sajith@user/sajith) (Server closed connection) |
| 2026-02-20 00:03:24 +0000 | sajith | (~sajith@user/sajith) sajith |
| 2026-02-20 00:07:13 +0000 | hakutaku | (~textual@user/hakutaku) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2026-02-20 00:08:16 +0000 | haskell-noob | (~haskell-n@50.35.80.129) |
| 2026-02-20 00:09:51 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-20 00:10:04 +0000 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2026-02-20 00:10:22 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-02-20 00:11:02 +0000 | Typosit | (b41a81e702@2001:bc8:1210:2cd8::494) |
| 2026-02-20 00:14:04 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-02-20 00:14:34 +0000 | jayanth | (~jayanth@pool-108-16-35-209.phlapa.fios.verizon.net) (Remote host closed the connection) |
| 2026-02-20 00:14:53 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-02-20 00:16:36 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-20 00:17:06 +0000 | lortabac | (~lortabac@mx1.fracta.dev) (Server closed connection) |
| 2026-02-20 00:17:20 +0000 | lortabac | (~lortabac@mx1.fracta.dev) lortabac |
| 2026-02-20 00:21:20 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-02-20 00:22:28 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-20 00:23:02 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-02-20 00:27:02 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2026-02-20 00:27:31 +0000 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2026-02-20 00:35:16 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-02-20 00:35:39 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-20 00:41:04 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds) |
| 2026-02-20 00:41:44 +0000 | mange | (~mange@user/mange) mange |
| 2026-02-20 00:45:23 +0000 | xff0x | (~xff0x@2405:6580:b080:900:e093:b434:6424:ad84) (Ping timeout: 268 seconds) |
| 2026-02-20 00:45:36 +0000 | opqdonut1_ | (opqdonut@pseudo.fixme.fi) (Server closed connection) |
| 2026-02-20 00:45:44 +0000 | opqdonut__ | (opqdonut@pseudo.fixme.fi) |
| 2026-02-20 00:58:26 +0000 | dumptruckman | (~dumptruck@45.79.134.140) (Server closed connection) |
| 2026-02-20 00:58:35 +0000 | LUCKY_NOOB | (~LUCKY_NOO@user/LUCKY-NOOB:44374) (Read error: Connection reset by peer) |
| 2026-02-20 00:58:54 +0000 | LUCKY_NOOB | (~LUCKY_NOO@user/LUCKY-NOOB:44374) LUCKY_NOOB |
| 2026-02-20 00:59:10 +0000 | dumptruckman | (~dumptruck@45-79-134-140.ip.linodeusercontent.com) |
| 2026-02-20 01:28:36 +0000 | Square2 | (~Square4@user/square) Square |
| 2026-02-20 01:32:07 +0000 | Square3 | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2026-02-20 01:32:25 +0000 | LUCKY_NOOB | (~LUCKY_NOO@user/LUCKY-NOOB:44374) (Quit: leaving) |
| 2026-02-20 01:32:35 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2026-02-20 01:32:45 +0000 | LUCKY_NOOB | (~LUCKY_NOO@user/LUCKY-NOOB:44374) LUCKY_NOOB |
| 2026-02-20 01:33:35 +0000 | califax | (~califax@user/califx) califx |
| 2026-02-20 01:35:23 +0000 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2026-02-20 01:36:26 +0000 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (Server closed connection) |
| 2026-02-20 01:36:45 +0000 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) beaky |
| 2026-02-20 01:39:18 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-20 01:43:36 +0000 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) (ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2026-02-20 01:44:00 +0000 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) ircbrowse_tom |
| 2026-02-20 01:44:02 +0000 | Server | +Cnt |
| 2026-02-20 01:47:46 +0000 | szkl | (sid110435@id-110435.uxbridge.irccloud.com) (Server closed connection) |
| 2026-02-20 01:48:19 +0000 | szkl | (sid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2026-02-20 01:51:49 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-20 01:59:54 +0000 | housemate | (~housemate@pa49-178-122-78.pa.nsw.optusnet.com.au) housemate |
| 2026-02-20 02:01:46 +0000 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) (Server closed connection) |
| 2026-02-20 02:01:57 +0000 | lexi-lambda | (sid92601@id-92601.hampstead.irccloud.com) lexi-lambda |
| 2026-02-20 02:04:37 +0000 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2026-02-20 02:05:49 +0000 | housemate | (~housemate@pa49-178-122-78.pa.nsw.optusnet.com.au) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-20 02:07:31 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2026-02-20 02:08:54 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2026-02-20 02:11:06 +0000 | tnks | (sid412124@id-412124.helmsley.irccloud.com) (Server closed connection) |
| 2026-02-20 02:11:17 +0000 | tnks | (sid412124@id-412124.helmsley.irccloud.com) tnks |
| 2026-02-20 02:14:12 +0000 | haskell-noob | (~haskell-n@50.35.80.129) (Quit: Client closed) |
| 2026-02-20 02:15:22 +0000 | newmind | (~newmind@91-133-90-252.dyn.cablelink.at) (Quit: Client closed) |
| 2026-02-20 02:15:46 +0000 | idnar | (sid12240@debian/mithrandi) (Server closed connection) |
| 2026-02-20 02:15:57 +0000 | idnar | (sid12240@debian/mithrandi) idnar |
| 2026-02-20 02:17:55 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-02-20 02:18:07 +0000 | Googulator | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-20 02:18:28 +0000 | Googulator | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-20 02:19:53 +0000 | abiss27 | (~abiss27@190.213.234.139) |
| 2026-02-20 02:20:58 +0000 | abiss27 | (~abiss27@190.213.234.139) (Client Quit) |
| 2026-02-20 02:23:22 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-02-20 02:26:07 +0000 | abiss27 | (~abiss27@190.213.234.139) |
| 2026-02-20 02:27:08 +0000 | abiss27 | (~abiss27@190.213.234.139) (Changing host) |
| 2026-02-20 02:27:08 +0000 | abiss27 | (~abiss27@user/abiss) abiss |
| 2026-02-20 02:27:19 +0000 | notzmv | (~umar@user/notzmv) (Ping timeout: 264 seconds) |
| 2026-02-20 02:27:40 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 276 seconds) |
| 2026-02-20 02:27:40 +0000 | polykernel_ | polykernel |
| 2026-02-20 02:28:36 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-20 02:29:06 +0000 | abiss27 | (~abiss27@user/abiss) (Client Quit) |
| 2026-02-20 02:30:35 +0000 | abiss27 | (~abiss27@190.213.234.139) |
| 2026-02-20 02:31:45 +0000 | abiss27 | (~abiss27@190.213.234.139) () |
| 2026-02-20 02:36:21 +0000 | abiss27 | (~abiss27@190.213.234.139) |
| 2026-02-20 02:38:56 +0000 | duncan | (c6181279e3@user/meow/duncan) (Server closed connection) |
| 2026-02-20 02:39:05 +0000 | duncan | (c6181279e3@user/meow/duncan) duncan |
| 2026-02-20 02:41:39 +0000 | abiss27 | (~abiss27@190.213.234.139) (Changing host) |
| 2026-02-20 02:41:39 +0000 | abiss27 | (~abiss27@user/abiss) abiss |
| 2026-02-20 02:44:25 +0000 | abiss27 | (~abiss27@user/abiss) () |
| 2026-02-20 02:45:35 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) (Quit: leaving) |
| 2026-02-20 02:45:52 +0000 | dostoyevsky2 | (~sck@user/dostoyevsky2) dostoyevsky2 |
| 2026-02-20 02:46:26 +0000 | dsal | (sid13060@id-13060.lymington.irccloud.com) (Server closed connection) |
| 2026-02-20 02:46:34 +0000 | abiss27 | (~abiss27@user/abiss) abiss |
| 2026-02-20 02:46:37 +0000 | dsal | (sid13060@id-13060.lymington.irccloud.com) dsal |
| 2026-02-20 02:48:25 +0000 | werneta | (~werneta@71.83.160.242) werneta |
| 2026-02-20 02:49:06 +0000 | megeve | (sid727922@id-727922.lymington.irccloud.com) (Server closed connection) |
| 2026-02-20 02:49:25 +0000 | megeve | (sid727922@id-727922.lymington.irccloud.com) megeve |
| 2026-02-20 02:52:26 +0000 | aspen | (sid449115@id-449115.helmsley.irccloud.com) (Server closed connection) |
| 2026-02-20 02:52:37 +0000 | aspen | (sid449115@id-449115.helmsley.irccloud.com) aspen |
| 2026-02-20 02:54:56 +0000 | sus | (1b7af6299f@user/zeromomentum) (Server closed connection) |
| 2026-02-20 02:54:58 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2026-02-20 02:55:04 +0000 | sus | (1b7af6299f@user/zeromomentum) zeromomentum |
| 2026-02-20 02:56:19 +0000 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2026-02-20 02:56:26 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-02-20 02:56:57 +0000 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2026-02-20 02:58:56 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) (Server closed connection) |
| 2026-02-20 02:59:05 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) cpli |
| 2026-02-20 03:09:08 +0000 | td_ | (~td@i5387091E.versanet.de) (Ping timeout: 265 seconds) |
| 2026-02-20 03:10:33 +0000 | td_ | (~td@i5387092E.versanet.de) |
| 2026-02-20 03:13:36 +0000 | cephei8 | (b8652603d7@user/cephei8) (Server closed connection) |
| 2026-02-20 03:13:44 +0000 | cephei8 | (b8652603d7@user/cephei8) cephei8 |
| 2026-02-20 03:20:02 +0000 | hook54321 | (sid149355@user/hook54321) (Ping timeout: 252 seconds) |
| 2026-02-20 03:21:52 +0000 | bw | (sid2730@user/betawaffle) (Ping timeout: 256 seconds) |
| 2026-02-20 03:23:04 +0000 | hook54321 | (sid149355@user/hook54321) hook54321 |
| 2026-02-20 03:23:47 +0000 | bw | (sid2730@user/betawaffle) betawaffle |
| 2026-02-20 03:25:42 +0000 | rainbyte | (~rainbyte@186.22.19.214) (Remote host closed the connection) |
| 2026-02-20 03:25:45 +0000 | tolt | (~weechat-h@li219-154.members.linode.com) (Ping timeout: 252 seconds) |
| 2026-02-20 03:26:04 +0000 | mud | (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 2026-02-20 03:26:05 +0000 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-02-20 03:26:09 +0000 | tolt | (~weechat-h@li219-154.members.linode.com) tolt |
| 2026-02-20 03:26:11 +0000 | kadobanana | (~mud@user/kadoban) kadoban |
| 2026-02-20 03:26:41 +0000 | rubin55 | (sid666180@id-666180.ilkley.irccloud.com) (Ping timeout: 272 seconds) |
| 2026-02-20 03:27:49 +0000 | rubin55 | (sid666180@id-666180.ilkley.irccloud.com) rubin55 |
| 2026-02-20 03:28:15 +0000 | sa | (sid1055@id-1055.tinside.irccloud.com) (Ping timeout: 245 seconds) |
| 2026-02-20 03:28:16 +0000 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (Server closed connection) |
| 2026-02-20 03:28:24 +0000 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) aniketd |
| 2026-02-20 03:29:04 +0000 | sa | (sid1055@id-1055.tinside.irccloud.com) sa |
| 2026-02-20 03:29:06 +0000 | pounce | (8a023a9e4a@user/cute/pounce) (Server closed connection) |
| 2026-02-20 03:29:14 +0000 | pounce | (8a023a9e4a@user/cute/pounce) pounce |
| 2026-02-20 03:29:16 +0000 | dysfigured | dfg |
| 2026-02-20 03:29:35 +0000 | dfg | (~dfg@50.116.28.89) (Changing host) |
| 2026-02-20 03:29:35 +0000 | dfg | (~dfg@user/dfg) dfg |
| 2026-02-20 03:33:19 +0000 | simplystuart | (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 2026-02-20 03:35:20 +0000 | Lears | (~Leary@user/Leary/x-0910699) (Read error: Connection reset by peer) |
| 2026-02-20 03:35:26 +0000 | Leary | (~Leary@user/Leary/x-0910699) Leary |
| 2026-02-20 03:36:45 +0000 | hiredman | (~hiredman@frontier1.downey.family) (Ping timeout: 252 seconds) |
| 2026-02-20 03:36:52 +0000 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) (Read error: Connection reset by peer) |
| 2026-02-20 03:37:09 +0000 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101 |
| 2026-02-20 03:38:11 +0000 | dfg | (~dfg@user/dfg) (Remote host closed the connection) |
| 2026-02-20 03:38:19 +0000 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2026-02-20 03:38:25 +0000 | dfg | (~dfg@user/dfg) dfg |
| 2026-02-20 03:41:37 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) (Quit: The Lounge - https://thelounge.chat) |
| 2026-02-20 03:45:22 +0000 | terrorjack | (~terrorjac@2a01:4f8:271:2d98::2) terrorjack |
| 2026-02-20 03:50:08 +0000 | seven3_ | (~seven3@user/seven3) seven3 |
| 2026-02-20 03:50:33 +0000 | seven3_ | seven3 |
| 2026-02-20 03:53:51 +0000 | jmcantrell_ | jmcantrell |
| 2026-02-20 03:58:16 +0000 | wickedjargon | (~user@2605:8d80:5430:2479:9804:7882:6f99:437b) wickedjargon |
| 2026-02-20 04:02:32 +0000 | wickedjargon | (~user@2605:8d80:5430:2479:9804:7882:6f99:437b) (Remote host closed the connection) |
| 2026-02-20 04:03:26 +0000 | wickedjargon | (~user@2605:8d80:5430:2479:9804:7882:6f99:437b) wickedjargon |
| 2026-02-20 04:07:06 +0000 | apache | (apache2@anubis.0x90.dk) (Server closed connection) |
| 2026-02-20 04:07:15 +0000 | apache2 | (apache2@anubis.0x90.dk) apache2 |
| 2026-02-20 04:08:46 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-20 04:11:01 +0000 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 2026-02-20 04:17:24 +0000 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2026-02-20 04:19:26 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2026-02-20 04:19:55 +0000 | abiss27 | (~abiss27@user/abiss) () |
| 2026-02-20 04:23:46 +0000 | wbrawner | (~wbrawner@129.146.105.153) (Server closed connection) |
| 2026-02-20 04:23:54 +0000 | wbrawner | (~wbrawner@129.146.105.153) wbrawner |
| 2026-02-20 04:26:08 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-02-20 04:33:15 +0000 | wickedjargon | (~user@2605:8d80:5430:2479:9804:7882:6f99:437b) (Remote host closed the connection) |
| 2026-02-20 04:34:36 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 2026-02-20 04:37:33 +0000 | notzmv | (~umar@user/notzmv) notzmv |
| 2026-02-20 04:42:55 +0000 | emaczen | (~user@user/emaczen) (Ping timeout: 264 seconds) |
| 2026-02-20 04:43:36 +0000 | TMA | (tma@twin.jikos.cz) (Server closed connection) |
| 2026-02-20 04:43:48 +0000 | TMA | (tma@twin.jikos.cz) TMA |
| 2026-02-20 04:48:22 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 2026-02-20 04:49:02 +0000 | DetourNetworkUK | (~DetourNet@user/DetourNetworkUK) DetourNetworkUK |
| 2026-02-20 04:49:40 +0000 | Fijxu_ | (~Fijxu@user/fijxu) (Quit: XD!!) |
| 2026-02-20 04:52:54 +0000 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2026-02-20 04:54:16 +0000 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) (Server closed connection) |
| 2026-02-20 04:54:26 +0000 | YuutaW | (~YuutaW@infornography.yta.moe) (Server closed connection) |
| 2026-02-20 04:54:31 +0000 | barrucadu | (~barrucadu@carcosa.barrucadu.co.uk) barrucadu |
| 2026-02-20 04:54:45 +0000 | YuutaW | (~YuutaW@infornography.yta.moe) YuutaW |
| 2026-02-20 04:54:48 +0000 | abiss27 | (~abiss27@user/abiss) abiss |
| 2026-02-20 04:54:53 +0000 | newmind | (~newmind@91-133-90-252.dyn.cablelink.at) |
| 2026-02-20 04:55:38 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
| 2026-02-20 04:58:26 +0000 | zlqrvx | (~zlqrvx@user/zlqrvx) (Server closed connection) |
| 2026-02-20 04:58:40 +0000 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2026-02-20 04:59:33 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-02-20 05:06:22 +0000 | abiss27 | (~abiss27@user/abiss) () |
| 2026-02-20 05:11:46 +0000 | oxapentane | (~oxapentan@user/oxapentane) (Server closed connection) |
| 2026-02-20 05:11:59 +0000 | oxapentane | (~oxapentan@user/oxapentane) oxapentane |
| 2026-02-20 05:15:05 +0000 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) (Ping timeout: 252 seconds) |
| 2026-02-20 05:32:14 +0000 | michalz | (~michalz@185.246.207.200) |
| 2026-02-20 05:36:13 +0000 | Guest18 | (~Guest18@2603-9000-a3f0-0f50-3629-b3f2-f371-ca00.inf6.spectrum.com) |
| 2026-02-20 05:37:22 +0000 | Guest18 | (~Guest18@2603-9000-a3f0-0f50-3629-b3f2-f371-ca00.inf6.spectrum.com) (Client Quit) |
| 2026-02-20 05:54:57 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-02-20 06:04:36 +0000 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 264 seconds) |
| 2026-02-20 06:08:56 +0000 | turlando | (~turlando@user/turlando) (Server closed connection) |
| 2026-02-20 06:09:14 +0000 | turlando | (~turlando@user/turlando) turlando |
| 2026-02-20 06:10:08 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:c19f:7bc6:f113:a90f) |
| 2026-02-20 06:10:08 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:c19f:7bc6:f113:a90f) (Changing host) |
| 2026-02-20 06:10:08 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-20 06:15:08 +0000 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2026-02-20 06:15:49 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |
| 2026-02-20 06:18:02 +0000 | Vizious | (~bes@user/Vizious) Vizious |
| 2026-02-20 06:18:54 +0000 | bliminse | (~bliminse@user/bliminse) bliminse |
| 2026-02-20 06:21:09 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2026-02-20 06:24:05 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-20 06:25:42 +0000 | mange | (~mange@user/mange) (Remote host closed the connection) |
| 2026-02-20 06:28:26 +0000 | priime | (~priime@2a01:4ff:f0:7ccc::1) (Server closed connection) |
| 2026-02-20 06:28:47 +0000 | priime | (~priime@2a01:4ff:f0:7ccc::1) priime |
| 2026-02-20 06:29:14 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-20 06:32:49 +0000 | wickedjargon | (~user@2605:8d80:5430:e143:62d7:d4f:2b10:38fc) wickedjargon |
| 2026-02-20 06:36:53 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-02-20 06:37:06 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2026-02-20 06:38:19 +0000 | hakutaku | (~textual@user/hakutaku) hakutaku |
| 2026-02-20 06:44:33 +0000 | werneta | (~werneta@71.83.160.242) (Quit: leaving) |
| 2026-02-20 06:47:01 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2026-02-20 06:55:46 +0000 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) (Server closed connection) |
| 2026-02-20 06:55:52 +0000 | PaulMartensen | (15a119e437@2001:bc8:1210:2cd8::3bc) |
| 2026-02-20 06:56:01 +0000 | dontdieych | (~dontdieyc@132.226.169.184) (Remote host closed the connection) |
| 2026-02-20 06:59:14 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:c19f:7bc6:f113:a90f) |
| 2026-02-20 06:59:14 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:c19f:7bc6:f113:a90f) (Changing host) |
| 2026-02-20 06:59:14 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-20 07:04:38 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-02-20 07:12:30 +0000 | Square3 | (~Square@user/square) Square |
| 2026-02-20 07:15:44 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 268 seconds) |
| 2026-02-20 07:16:15 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-20 07:16:31 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-02-20 07:22:29 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2026-02-20 07:24:59 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds) |
| 2026-02-20 07:25:59 +0000 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
| 2026-02-20 07:26:16 +0000 | olivial | (~benjaminl@user/benjaminl) benjaminl |
| 2026-02-20 07:30:06 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 2026-02-20 07:31:17 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-02-20 07:39:17 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) fp |
| 2026-02-20 07:39:40 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |
| 2026-02-20 07:44:26 +0000 | caasih | (sid13241@id-13241.ilkley.irccloud.com) (Server closed connection) |
| 2026-02-20 07:44:37 +0000 | caasih | (sid13241@id-13241.ilkley.irccloud.com) caasih |
| 2026-02-20 07:50:28 +0000 | zlqrvx | (~zlqrvx@user/zlqrvx) (Quit: connection reset by purr) |
| 2026-02-20 07:50:38 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-02-20 07:51:50 +0000 | zlqrvx | (~zlqrvx@user/zlqrvx) zlqrvx |
| 2026-02-20 07:56:16 +0000 | _0xa | (~user@user/0xa/x-3134607) (Server closed connection) |
| 2026-02-20 07:56:27 +0000 | _0xa | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) |
| 2026-02-20 07:56:27 +0000 | _0xa | (~user@2001:19f0:5001:2ba8:5400:1ff:feda:88fc) (Changing host) |
| 2026-02-20 07:56:27 +0000 | _0xa | (~user@user/0xa/x-3134607) _0xa |
| 2026-02-20 07:59:36 +0000 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) (Server closed connection) |
| 2026-02-20 07:59:47 +0000 | alanz | (sid110616@id-110616.uxbridge.irccloud.com) alanz |
| 2026-02-20 08:00:56 +0000 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) (Server closed connection) |
| 2026-02-20 08:01:04 +0000 | Jonno_FTW | (~come@api.carswap.me) |
| 2026-02-20 08:01:04 +0000 | Jonno_FTW | (~come@api.carswap.me) (Changing host) |
| 2026-02-20 08:01:04 +0000 | Jonno_FTW | (~come@user/jonno-ftw/x-0835346) Jonno_FTW |
| 2026-02-20 08:06:19 +0000 | fp | (~Thunderbi@2001-14ba-6e24-3000--198.rev.dnainternet.fi) (Ping timeout: 276 seconds) |
| 2026-02-20 08:06:26 +0000 | rawles | (sid630849@user/rawles) (Server closed connection) |
| 2026-02-20 08:06:46 +0000 | rawles | (sid630849@user/rawles) rawles |
| 2026-02-20 08:11:47 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-02-20 08:13:53 +0000 | glguy | (glguy@libera/staff/glguy) (Ping timeout: 610 seconds) |
| 2026-02-20 08:19:14 +0000 | hakutaku | (~textual@user/hakutaku) (Quit: Textual IRC Client: www.textualapp.com) |
| 2026-02-20 08:25:17 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2026-02-20 08:25:19 +0000 | Enrico63 | (~Enrico63@host-82-56-209-65.retail.telecomitalia.it) Enrico63 |
| 2026-02-20 08:25:37 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-02-20 08:27:59 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413) |
| 2026-02-20 08:32:50 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-02-20 08:33:45 +0000 | n0w0n | (~john@user/n0w0n) (Quit: WeeChat 4.6.3) |
| 2026-02-20 08:35:25 +0000 | chele | (~chele@user/chele) chele |
| 2026-02-20 08:38:30 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-02-20 08:40:26 +0000 | df | (~ben@justworks.xyz) (Server closed connection) |
| 2026-02-20 08:40:40 +0000 | df | (~ben@justworks.xyz) |
| 2026-02-20 08:44:28 +0000 | wickedjargon | (~user@2605:8d80:5430:e143:62d7:d4f:2b10:38fc) (Remote host closed the connection) |
| 2026-02-20 08:45:20 +0000 | emmanuelux | (~em@user/emmanuelux) (Quit: bye) |
| 2026-02-20 08:52:56 +0000 | driib3180 | (~driib@vmi931078.contaboserver.net) (Server closed connection) |
| 2026-02-20 08:53:33 +0000 | driib3180 | (~driib@vmi931078.contaboserver.net) driib |
| 2026-02-20 08:57:53 +0000 | wickedjargon | (~user@2605:8d80:5430:e143:62d7:d4f:2b10:38fc) wickedjargon |
| 2026-02-20 09:04:41 +0000 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2026-02-20 09:09:36 +0000 | tureba | (tureba@tureba.org) (Server closed connection) |
| 2026-02-20 09:09:52 +0000 | tureba | (tureba@tureba.org) tureba |
| 2026-02-20 09:16:26 +0000 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-20 09:16:28 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 2026-02-20 09:17:31 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-20 09:18:21 +0000 | wickedjargon | (~user@2605:8d80:5430:e143:62d7:d4f:2b10:38fc) (Remote host closed the connection) |
| 2026-02-20 09:27:03 +0000 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 272 seconds) |
| 2026-02-20 09:31:39 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413) |
| 2026-02-20 09:35:31 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2026-02-20 09:41:21 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2026-02-20 09:45:55 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 2026-02-20 09:45:58 +0000 | fp | (~Thunderbi@130.233.70.160) fp |
| 2026-02-20 09:48:51 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-02-20 09:50:19 +0000 | newmind | (~newmind@91-133-90-252.dyn.cablelink.at) (Quit: Client closed) |
| 2026-02-20 09:50:28 +0000 | newmind | (~newmind@91-133-90-252.dyn.cablelink.at) |
| 2026-02-20 09:58:31 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2026-02-20 09:59:47 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-02-20 10:10:20 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) kuribas |
| 2026-02-20 10:14:34 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds) |
| 2026-02-20 10:15:47 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-20 10:18:16 +0000 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (Server closed connection) |
| 2026-02-20 10:18:24 +0000 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) jeso |
| 2026-02-20 10:19:08 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 2026-02-20 10:20:44 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 268 seconds) |
| 2026-02-20 10:26:46 +0000 | divlamir | (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 2026-02-20 10:27:09 +0000 | divlamir | (~divlamir@user/divlamir) divlamir |
| 2026-02-20 10:31:24 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-02-20 10:31:24 +0000 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-02-20 10:31:24 +0000 | haritz | (~hrtz@user/haritz) haritz |
| 2026-02-20 10:41:30 +0000 | jeremyn | (~jeremy@user/jeremyn) jeremyn |
| 2026-02-20 10:44:43 +0000 | jeremyn | (~jeremy@user/jeremyn) (Client Quit) |
| 2026-02-20 10:46:49 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-20 10:52:44 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-20 10:53:46 +0000 | sefidel | (~sefidel@user/sefidel) (Server closed connection) |
| 2026-02-20 10:53:48 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-02-20 10:54:00 +0000 | sefidel | (~sefidel@user/sefidel) sefidel |
| 2026-02-20 10:54:05 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413) |
| 2026-02-20 10:56:49 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-02-20 10:57:24 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-20 11:00:18 +0000 | qqq | (~qqq@185.54.22.240) |
| 2026-02-20 11:02:03 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 268 seconds) |
| 2026-02-20 11:04:26 +0000 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) (Server closed connection) |
| 2026-02-20 11:04:37 +0000 | koala_man | (~vidar@157.146.251.23.bc.googleusercontent.com) koala_man |
| 2026-02-20 11:05:55 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-02-20 11:10:49 +0000 | malte | (~malte@mal.tc) (Ping timeout: 246 seconds) |
| 2026-02-20 11:12:04 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-20 11:27:53 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-20 11:32:16 +0000 | kaankeskin | (~kaankeski@user/kaankeskin) (Server closed connection) |
| 2026-02-20 11:32:16 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 268 seconds) |
| 2026-02-20 11:32:36 +0000 | kaankeskin | (~kaankeski@user/kaankeskin) kaankeskin |
| 2026-02-20 11:33:07 +0000 | qqq | (~qqq@185.54.22.240) (Read error: Connection reset by peer) |
| 2026-02-20 11:33:50 +0000 | qqq | (~qqq@185.54.22.240) |
| 2026-02-20 11:42:45 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-02-20 11:42:48 +0000 | xff0x | (~xff0x@2405:6580:b080:900:f414:1629:3dcb:8520) |
| 2026-02-20 11:46:23 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-20 11:46:51 +0000 | halloy7365 | (~halloy736@2404:4400:a100:9177:29eb:6604:6ca8:ff8b) (Read error: Connection reset by peer) |
| 2026-02-20 11:47:33 +0000 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2026-02-20 11:47:34 +0000 | merijn | (~merijn@77.242.116.146) (Read error: Connection reset by peer) |
| 2026-02-20 11:53:46 +0000 | Enrico63 | (~Enrico63@host-82-56-209-65.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-02-20 12:00:02 +0000 | <gentauro> | anybody know if `.lhs` (Literate programming, Bird style) can be executed as a script? |
| 2026-02-20 12:00:45 +0000 | <gentauro> | it seems they don't like the `#! /usr/bin/env …` part |
| 2026-02-20 12:02:10 +0000 | fun-safe-math | (~fun-safe-@97.115.234.213) () |
| 2026-02-20 12:02:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 12:04:25 +0000 | fun-safe-math | (~fun-safe-@97.115.234.213) fun-safe-math |
| 2026-02-20 12:04:59 +0000 | <gentauro> | oh, my bad. I was missing a `code-block` |
| 2026-02-20 12:06:16 +0000 | xelxebar | (~xelxebar@42.203.199.104.bc.googleusercontent.com) (Server closed connection) |
| 2026-02-20 12:06:37 +0000 | xelxebar | (~xelxebar@42.203.199.104.bc.googleusercontent.com) xelxebar |
| 2026-02-20 12:12:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-02-20 12:20:16 +0000 | doyougnu | (~doyougnu@38.175.72.111) (Server closed connection) |
| 2026-02-20 12:21:02 +0000 | doyougnu | (~doyougnu@38.175.72.111) doyougnu |
| 2026-02-20 12:21:43 +0000 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-20 12:22:59 +0000 | Square3 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2026-02-20 12:23:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 12:29:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-20 12:39:29 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds) |
| 2026-02-20 12:40:52 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 12:46:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 12:51:51 +0000 | larsivi | (~larsivi@user/larsivi) larsivi |
| 2026-02-20 12:56:17 +0000 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2026-02-20 12:56:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 13:01:41 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-20 13:05:37 +0000 | housemate_ | (~housemate@202.7.248.67) housemate |
| 2026-02-20 13:07:40 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2026-02-20 13:07:59 +0000 | housemate | (~housemate@202.7.248.67) (Ping timeout: 260 seconds) |
| 2026-02-20 13:11:46 +0000 | redshuffle | (~quassel@45.43.70.75) (Server closed connection) |
| 2026-02-20 13:11:53 +0000 | redshuffle | (~quassel@45.43.70.75) |
| 2026-02-20 13:12:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 13:15:43 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2026-02-20 13:15:55 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2026-02-20 13:16:16 +0000 | deadnode666 | (~deadnode6@user/deadnode666) (Server closed connection) |
| 2026-02-20 13:16:36 +0000 | deadnode666 | (~deadnode6@user/deadnode666) deadnode666 |
| 2026-02-20 13:16:40 +0000 | housemate_ | (~housemate@202.7.248.67) (Read error: Connection reset by peer) |
| 2026-02-20 13:17:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 13:23:06 +0000 | kilolympus | (~kilolympu@vmi1102682.contaboserver.net) (Server closed connection) |
| 2026-02-20 13:23:26 +0000 | kilolympus | (~kilolympu@vmi1102682.contaboserver.net) kilolympus |
| 2026-02-20 13:25:35 +0000 | arandombit | (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-02-20 13:27:26 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-20 13:28:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 13:31:54 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 268 seconds) |
| 2026-02-20 13:32:02 +0000 | castan | (~castan@86.121.192.170) |
| 2026-02-20 13:33:36 +0000 | mfc_kbs | (~keibisoft@2a06:1fc0:0:1::1cd) (Server closed connection) |
| 2026-02-20 13:33:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-20 13:33:54 +0000 | mfc_kbs | (~keibisoft@2a06:1fc0:0:1::1cd) |
| 2026-02-20 13:35:39 +0000 | housemate | (~housemate@pa49-178-146-220.pa.nsw.optusnet.com.au) housemate |
| 2026-02-20 13:37:52 +0000 | <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 13:39:05 +0000 | <tomsmeding> | :t \f g -> (f .) . g |
| 2026-02-20 13:39:06 +0000 | <lambdabot> | (b -> c) -> (a1 -> a2 -> b) -> a1 -> a2 -> c |
| 2026-02-20 13:39:10 +0000 | <tomsmeding> | castan: ^ |
| 2026-02-20 13:39:21 +0000 | <tomsmeding> | whether that's clean enough I'll leave to you |
| 2026-02-20 13:39:45 +0000 | Googulator | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-20 13:39:48 +0000 | <castan> | That's great thanks |
| 2026-02-20 13:40:07 +0000 | Googulator | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-20 13:40:11 +0000 | <tomsmeding> | @djinn (c -> d) -> (a -> b -> c) -> a -> b -> d |
| 2026-02-20 13:40:11 +0000 | <lambdabot> | f a b c d = a (b c d) |
| 2026-02-20 13:40:27 +0000 | <tomsmeding> | @pl \a b c d -> a (b c d) |
| 2026-02-20 13:40:27 +0000 | <lambdabot> | (.) . (.) |
| 2026-02-20 13:40:30 +0000 | <tomsmeding> | heh |
| 2026-02-20 13:40:43 +0000 | <tomsmeding> | the downside of generic tools, they don't give you the nice middle road |
| 2026-02-20 13:41:10 +0000 | <castan> | yeah, it's impressive nevertheless |
| 2026-02-20 13:42:05 +0000 | <tomsmeding> | ah: |
| 2026-02-20 13:42:07 +0000 | <tomsmeding> | @pl \x y -> f (g x y) |
| 2026-02-20 13:42:08 +0000 | <lambdabot> | (f .) . g |
| 2026-02-20 13:42:20 +0000 | <castan> | oh wow |
| 2026-02-20 13:43:12 +0000 | <tomsmeding> | the @pl command is also here https://pointfree.io/ |
| 2026-02-20 13:44:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 13:47:14 +0000 | castan | (~castan@86.121.192.170) (Quit: castan) |
| 2026-02-20 13:49:46 +0000 | Hafydd | (~Hafydd@user/hafydd) (Server closed connection) |
| 2026-02-20 13:50:03 +0000 | Hafydd | (~Hafydd@user/hafydd) Hafydd |
| 2026-02-20 13:51:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 13:57:13 +0000 | gentauro | `(.) . (.)` :o |
| 2026-02-20 13:58:58 +0000 | <tomsmeding> | :t fmap fmap fmap |
| 2026-02-20 13:58:59 +0000 | <lambdabot> | (Functor f1, Functor f2) => (a -> b) -> f1 (f2 a) -> f1 (f2 b) |
| 2026-02-20 13:59:38 +0000 | <tomsmeding> | set f1 ~ (u ->) and f2 ~ (v ->) :) |
| 2026-02-20 13:59:48 +0000 | <haskellbridge> | <magic_rb> :t ((.) . (.)) . ((.) . (.)) |
| 2026-02-20 13:59:56 +0000 | <haskellbridge> | <magic_rb> fuck, do i not have the right |
| 2026-02-20 13:59:58 +0000 | <tomsmeding> | :t ((.) . (.)) . ((.) . (.)) |
| 2026-02-20 14:00:00 +0000 | <lambdabot> | (b -> c) -> (a1 -> a2 -> a3 -> a4 -> b) -> a1 -> a2 -> a3 -> a4 -> c |
| 2026-02-20 14:00:16 +0000 | <tomsmeding> | magic_rb: your message has a `<magic_rb> ` prefix here |
| 2026-02-20 14:00:39 +0000 | <tomsmeding> | :t fmap fmap fmap `fmap` fmap fmap fmap |
| 2026-02-20 14:00:40 +0000 | <lambdabot> | (Functor f1, Functor f2, Functor f3, Functor f4) => (a -> b) -> f1 (f2 (f3 (f4 a))) -> f1 (f2 (f3 (f4 b))) |
| 2026-02-20 14:00:54 +0000 | <tomsmeding> | :t (.) . (.) . (.) . (.) |
| 2026-02-20 14:00:56 +0000 | <lambdabot> | (b -> c) -> (a1 -> a2 -> a3 -> a4 -> b) -> a1 -> a2 -> a3 -> a4 -> c |
| 2026-02-20 14:01:18 +0000 | <tomsmeding> | (fmap on (->) is (.)) |
| 2026-02-20 14:01:30 +0000 | <haskellbridge> | <magic_rb> wait so (.) . (.) is equal to what |
| 2026-02-20 14:01:36 +0000 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-20 14:01:36 +0000 | <tomsmeding> | fmap = (.) |
| 2026-02-20 14:01:46 +0000 | <haskellbridge> | <magic_rb> really? |
| 2026-02-20 14:01:49 +0000 | <haskellbridge> | <magic_rb> thats new |
| 2026-02-20 14:01:51 +0000 | <tomsmeding> | :t fmap |
| 2026-02-20 14:01:52 +0000 | <lambdabot> | Functor f => (a -> b) -> f a -> f b |
| 2026-02-20 14:01:55 +0000 | <tomsmeding> | :t (.) |
| 2026-02-20 14:01:56 +0000 | <lambdabot> | (b -> c) -> (a -> b) -> a -> c |
| 2026-02-20 14:02:10 +0000 | <tomsmeding> | ok names are different but set `f ~ (u ->)` |
| 2026-02-20 14:02:17 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 14:02:37 +0000 | <haskellbridge> | <magic_rb> yeah i see it |
| 2026-02-20 14:03:18 +0000 | <tomsmeding> | this makes sense: |
| 2026-02-20 14:03:20 +0000 | <tomsmeding> | :t fmap . fmap |
| 2026-02-20 14:03:21 +0000 | <lambdabot> | (Functor f1, Functor f2) => (a -> b) -> f1 (f2 a) -> f1 (f2 b) |
| 2026-02-20 14:03:25 +0000 | <tomsmeding> | fmap under two functors |
| 2026-02-20 14:03:31 +0000 | <tomsmeding> | but because fmap = (.) you can write |
| 2026-02-20 14:03:33 +0000 | <tomsmeding> | :t fmap fmap fmap |
| 2026-02-20 14:03:34 +0000 | <lambdabot> | (Functor f1, Functor f2) => (a -> b) -> f1 (f2 a) -> f1 (f2 b) |
| 2026-02-20 14:04:27 +0000 | housemate_ | (~housemate@202.7.248.67) housemate |
| 2026-02-20 14:04:59 +0000 | <Athas> | Is there a way to get cabal to show the dependency tree for my package? |
| 2026-02-20 14:05:12 +0000 | <Athas> | I'm quite surprised to see that I depend on Cabal and websockets. |
| 2026-02-20 14:05:21 +0000 | <Athas> | Although I have a suspicion as to why. |
| 2026-02-20 14:05:24 +0000 | <tomsmeding> | Athas: you can eyeball dist-newstyle/cache/plan.json |
| 2026-02-20 14:05:36 +0000 | <tomsmeding> | not a neat tree, but the info is there |
| 2026-02-20 14:05:40 +0000 | <Athas> | Eyeball a 155K JSON file? I see... |
| 2026-02-20 14:05:48 +0000 | <tomsmeding> | well using search. :) |
| 2026-02-20 14:05:53 +0000 | bionade24 | (~quassel@server2.oscloud.info) bionade24 |
| 2026-02-20 14:06:26 +0000 | <tomsmeding> | in any case, it's a graph, not a tree |
| 2026-02-20 14:06:55 +0000 | housemate | (~housemate@pa49-178-146-220.pa.nsw.optusnet.com.au) (Ping timeout: 264 seconds) |
| 2026-02-20 14:06:58 +0000 | <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 14:07:05 +0000 | <tomsmeding> | Athas: `cabal-plan tred` is perhaps closest to what you mean |
| 2026-02-20 14:07:06 +0000 | <Athas> | And of course 'lsp' is why I depend on 'websockets'. |
| 2026-02-20 14:07:13 +0000 | <tomsmeding> | using https://hackage.haskell.org/package/cabal-plan |
| 2026-02-20 14:07:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 14:08:02 +0000 | <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 14:08:17 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2026-02-20 14:08:49 +0000 | <tomsmeding> | (... why does lsp depend on websockets?) |
| 2026-02-20 14:09:38 +0000 | <tomsmeding> | TIL LSP works with websockets? |
| 2026-02-20 14:10:41 +0000 | <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 14:10:56 +0000 | <int-e> | At least in part. |
| 2026-02-20 14:13:33 +0000 | Square3 | (~Square@user/square) Square |
| 2026-02-20 14:13:52 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-20 14:18:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 14:20:07 +0000 | <lortabac> | Athas: maybe cabal-plan dot |
| 2026-02-20 14:21:31 +0000 | <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 14:22:11 +0000 | Square3 | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2026-02-20 14:22:39 +0000 | <Athas> | I think lsp depends on everything, just in case. |
| 2026-02-20 14:22:52 +0000 | <tomsmeding> | lortabac: https://tomsmeding.com/vang/9fSZUM/graph.pdf |
| 2026-02-20 14:23:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-20 14:23:41 +0000 | <lortabac> | tomsmeding: there may be tools to fetch useful info from a dot file. I have no idea to be honest |
| 2026-02-20 14:23:48 +0000 | <tomsmeding> | Athas: yes, the moment you mentioned lsp I thought "ah, there's all your dependencies" |
| 2026-02-20 14:23:57 +0000 | <tomsmeding> | lortabac: fair point, perhaps there are |
| 2026-02-20 14:24:20 +0000 | <lortabac> | or you can feed it to an AI and ask them to find a particular path |
| 2026-02-20 14:24:20 +0000 | <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 14:24:48 +0000 | <Athas> | Very similar souls. |
| 2026-02-20 14:25:17 +0000 | <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 14:25:45 +0000 | <tomsmeding> | And actually I disagree they look identical. Mine is right-heavy, whereas yours is more left-heavy. |
| 2026-02-20 14:27:24 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) (Ping timeout: 268 seconds) |
| 2026-02-20 14:27:29 +0000 | <haskellbridge> | <ijouw> My pdf rendering seems to be done on cpu... Changing view takes up to two seconds. |
| 2026-02-20 14:27:36 +0000 | <tomsmeding> | :D |
| 2026-02-20 14:33:14 +0000 | castan | (~castan@86.121.192.170) |
| 2026-02-20 14:33:29 +0000 | housemate | (~housemate@pa49-178-146-220.pa.nsw.optusnet.com.au) housemate |
| 2026-02-20 14:33:57 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-02-20 14:34:44 +0000 | castan | (~castan@86.121.192.170) (Client Quit) |
| 2026-02-20 14:34:59 +0000 | castan | (~castan@86.121.192.170) |
| 2026-02-20 14:35:30 +0000 | housemate | (~housemate@pa49-178-146-220.pa.nsw.optusnet.com.au) (Remote host closed the connection) |
| 2026-02-20 14:35:43 +0000 | housemate_ | (~housemate@202.7.248.67) (Ping timeout: 264 seconds) |
| 2026-02-20 14:35:43 +0000 | castan | (~castan@86.121.192.170) (Client Quit) |
| 2026-02-20 14:35:57 +0000 | castan | (~castan@86.121.192.170) |
| 2026-02-20 14:38:44 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 252 seconds) |
| 2026-02-20 14:41:50 +0000 | emaczen | (~user@user/emaczen) emaczen |
| 2026-02-20 14:45:37 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2026-02-20 14:46:09 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2026-02-20 14:49:38 +0000 | merijn | (~merijn@62.45.136.136) merijn |
| 2026-02-20 14:49:59 +0000 | housemate | (~housemate@pa49-178-146-220.pa.nsw.optusnet.com.au) housemate |
| 2026-02-20 14:51:56 +0000 | AlexZenon | (~alzenon@85.174.181.228) (Ping timeout: 252 seconds) |
| 2026-02-20 14:53:57 +0000 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2026-02-20 14:55:09 +0000 | merijn | (~merijn@62.45.136.136) (Ping timeout: 268 seconds) |
| 2026-02-20 15:01:22 +0000 | AlexZenon | (~alzenon@85.174.181.228) |
| 2026-02-20 15:02:54 +0000 | thenightmail | (~thenightm@user/thenightmail) (Ping timeout: 260 seconds) |
| 2026-02-20 15:05:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 15:06:55 +0000 | yin | (~zero@user/zero) (Ping timeout: 264 seconds) |
| 2026-02-20 15:08:14 +0000 | yin | (~zero@user/zero) zero |
| 2026-02-20 15:08:24 +0000 | Guest51 | (~Guest51@2604:2dc0:200:1a84::) |
| 2026-02-20 15:10:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-02-20 15:12:16 +0000 | housemate_ | (~housemate@202.7.248.67) housemate |
| 2026-02-20 15:15:06 +0000 | housemate | (~housemate@pa49-178-146-220.pa.nsw.optusnet.com.au) (Ping timeout: 265 seconds) |
| 2026-02-20 15:17:56 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:b1b8:f383:7402:967e) |
| 2026-02-20 15:17:56 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:b1b8:f383:7402:967e) (Changing host) |
| 2026-02-20 15:17:56 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-20 15:18:19 +0000 | larsivi | (~larsivi@user/larsivi) (Ping timeout: 264 seconds) |
| 2026-02-20 15:21:15 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 15:24:36 +0000 | AlexZenon | (~alzenon@85.174.181.228) (Ping timeout: 252 seconds) |
| 2026-02-20 15:25:59 +0000 | fp | (~Thunderbi@130.233.70.160) (Ping timeout: 268 seconds) |
| 2026-02-20 15:28:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-20 15:30:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 15:30:26 +0000 | mulk | (~mulk@p5b2dcbcc.dip0.t-ipconnect.de) (Server closed connection) |
| 2026-02-20 15:31:46 +0000 | mulk | (~mulk@p5b2dcbcc.dip0.t-ipconnect.de) mulk |
| 2026-02-20 15:31:46 +0000 | castan | (~castan@86.121.192.170) (Quit: castan) |
| 2026-02-20 15:32:16 +0000 | Googulator | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-20 15:32:36 +0000 | Googulator | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-20 15:34:41 +0000 | AlexZenon | (~alzenon@85.174.181.228) |
| 2026-02-20 15:35:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 267 seconds) |
| 2026-02-20 15:40:06 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2026-02-20 15:40:10 +0000 | AlexZenon | (~alzenon@85.174.181.228) (Ping timeout: 268 seconds) |
| 2026-02-20 15:43:36 +0000 | myme | (~myme@2a01:799:d5e:5f00:6ed7:8f01:2568:20be) (Server closed connection) |
| 2026-02-20 15:44:00 +0000 | myme | (~myme@2a01:799:d5e:5f00:8616:d783:6707:c6c8) myme |
| 2026-02-20 15:46:03 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 15:47:51 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-02-20 15:48:27 +0000 | Guest51 | (~Guest51@2604:2dc0:200:1a84::) (Quit: Client closed) |
| 2026-02-20 15:48:33 +0000 | Alex_delenda_est | (~al_test@85.174.181.228) (Read error: Connection reset by peer) |
| 2026-02-20 15:49:25 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-02-20 15:49:27 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-02-20 15:50:17 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-20 15:50:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-20 15:57:26 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-02-20 15:59:31 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 276 seconds) |
| 2026-02-20 15:59:31 +0000 | polykernel_ | polykernel |
| 2026-02-20 15:59:40 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-02-20 15:59:50 +0000 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) Tuplanolla |
| 2026-02-20 16:01:46 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 16:02:43 +0000 | wickedjargon | (~user@24.244.23.254) wickedjargon |
| 2026-02-20 16:02:57 +0000 | straybits | (~straybits@user/straybits) straybits |
| 2026-02-20 16:03:40 +0000 | rainbyte | (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 2026-02-20 16:05:15 +0000 | rainbyte | (~rainbyte@186.22.19.214) rainbyte |
| 2026-02-20 16:05:31 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 246 seconds) |
| 2026-02-20 16:07:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2026-02-20 16:10:01 +0000 | glguy | (glguy@libera/staff/glguy) glguy |
| 2026-02-20 16:12:17 +0000 | thenightmail | (~thenightm@user/thenightmail) thenightmail |
| 2026-02-20 16:13:56 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-20 16:16:26 +0000 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (Server closed connection) |
| 2026-02-20 16:16:37 +0000 | Adeon | (sid418992@id-418992.lymington.irccloud.com) Adeon |
| 2026-02-20 16:17:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 16:21:06 +0000 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) (Server closed connection) |
| 2026-02-20 16:21:18 +0000 | ProofTechnique_ | (sid79547@id-79547.ilkley.irccloud.com) |
| 2026-02-20 16:23:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 16:23:40 +0000 | thenightmail | (~thenightm@user/thenightmail) (Quit: ZNC 1.8.2+deb2ubuntu0.1 - https://znc.in) |
| 2026-02-20 16:32:56 +0000 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) (Server closed connection) |
| 2026-02-20 16:33:06 +0000 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) samhh |
| 2026-02-20 16:33:28 +0000 | Googulator | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-20 16:33:49 +0000 | Googulator | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-20 16:35:16 +0000 | thenightmail | (~thenightm@user/thenightmail) thenightmail |
| 2026-02-20 16:35:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 16:37:32 +0000 | thenightmail | (~thenightm@user/thenightmail) (Client Quit) |
| 2026-02-20 16:40:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-20 16:45:15 +0000 | thenightmail | (~thenightm@user/thenightmail) thenightmail |
| 2026-02-20 16:46:58 +0000 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2026-02-20 16:48:51 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413) |
| 2026-02-20 16:50:37 +0000 | larsivi | (~larsivi@user/larsivi) larsivi |
| 2026-02-20 16:51:06 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 16:51:23 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-02-20 16:54:57 +0000 | n0w0n | (~john@user/n0w0n) n0w0n |
| 2026-02-20 16:56:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-02-20 17:00:56 +0000 | mangoiv | (~mangoiv@user/mangoiv) (Server closed connection) |
| 2026-02-20 17:01:14 +0000 | mangoiv | (~mangoiv@2a01:4f9:c012:6c0e::) |
| 2026-02-20 17:01:50 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 2026-02-20 17:02:29 +0000 | Enrico63 | (~Enrico63@host-82-56-209-65.retail.telecomitalia.it) Enrico63 |
| 2026-02-20 17:02:53 +0000 | skinkitten | (~skinkitte@user/skinkitten) skinkitten |
| 2026-02-20 17:06:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 17:09:42 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-02-20 17:10:43 +0000 | Googulator | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-20 17:10:58 +0000 | Googulator | (~Googulato@193-226-241-165.pool.digikabel.hu) |
| 2026-02-20 17:11:44 +0000 | <haskellbridge> | <ijouw> What if we made an arbitrary Ord Type and used it and Set Type to define dynamic sum types (as seen in e.g. typescript)? |
| 2026-02-20 17:13:35 +0000 | <n0w0n> | Unrelated, but that just reminded me that ya can't encode a set of complex number in Haskell using the Set type in containers |
| 2026-02-20 17:13:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-02-20 17:13:44 +0000 | <n0w0n> | Since complex numbers are unordered |
| 2026-02-20 17:14:29 +0000 | <n0w0n> | & Sets are secretly Red Black Trees with an ordering |
| 2026-02-20 17:14:43 +0000 | <n0w0n> | Damn you Chris Okasaki |
| 2026-02-20 17:15:18 +0000 | skinkitten | (~skinkitte@user/skinkitten) (Quit: Client closed) |
| 2026-02-20 17:16:23 +0000 | Enrico63 | (~Enrico63@host-82-56-209-65.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-02-20 17:18:12 +0000 | <dutchie> | you can order the complex numbers (eg. lexicographically on their real and imaginary components), it just won't be compatible with the ring structure |
| 2026-02-20 17:18:31 +0000 | <dutchie> | which doesn't matter if you just want to shove them into a Set |
| 2026-02-20 17:19:06 +0000 | <dutchie> | just costs a newtype wrapper I guess |
| 2026-02-20 17:19:43 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2026-02-20 17:21:46 +0000 | <n0w0n> | An incongruent ordering, ya say? |
| 2026-02-20 17:24:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 17:26:26 +0000 | m_a_r_k | (~m_a_r_k@archlinux/support/mark) (Server closed connection) |
| 2026-02-20 17:26:35 +0000 | <n0w0n> | Ig ya'd lose most of the benefits of doing complex ring operations to all members of a set without rebuilding a red black tree |
| 2026-02-20 17:26:41 +0000 | m_a_r_k | (~m_a_r_k@archlinux/support/mark) m_a_r_k |
| 2026-02-20 17:27:39 +0000 | <haskellbridge> | <ijouw> Well doing fmap conjugate does not work either way |
| 2026-02-20 17:27:53 +0000 | <c_wraith> | I don't know what data structure *does* give you efficient set-membership testing and also supports arbitrary transformations of all values in the structure without rebuilding it |
| 2026-02-20 17:29:00 +0000 | <haskellbridge> | <ijouw> The empty one |
| 2026-02-20 17:30:19 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 17:31:57 +0000 | <haskellbridge> | <ijouw> But yes, doing something like Set.map (*2) over complex numbers will rebuild the tree (for any total Ord and random values). |
| 2026-02-20 17:33:06 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Server closed connection) |
| 2026-02-20 17:33:44 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) lisbeths |
| 2026-02-20 17:36:49 +0000 | <c_wraith> | fwiw, Data.Set has mapMonotonic |
| 2026-02-20 17:36:55 +0000 | AlexZenon | (~alzenon@85.174.181.228) |
| 2026-02-20 17:37:15 +0000 | <c_wraith> | which is documented to produce broken output if the transformation isn't monotonic with respect to the ordering |
| 2026-02-20 17:37:59 +0000 | <haskellbridge> | <ijouw> There is one order where (*2) does not affect order, but it will fail if you add something. |
| 2026-02-20 17:38:30 +0000 | <haskellbridge> | <ijouw> But I am too lazy to formalize it. |
| 2026-02-20 17:39:39 +0000 | <haskellbridge> | <ijouw> Likely using angles on the unit sphere and magnitude. |
| 2026-02-20 17:39:59 +0000 | <haskellbridge> | <ijouw> *circle |
| 2026-02-20 17:40:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 17:41:39 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2026-02-20 17:42:16 +0000 | AlexZenon | (~alzenon@85.174.181.228) (Ping timeout: 268 seconds) |
| 2026-02-20 17:44:09 +0000 | <Leary> | `(* (a :+ 0))` and `(+ (a :+ b))` are both monotone wrt the lexicographic ordering GHC would derive. |
| 2026-02-20 17:45:11 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-02-20 17:45:27 +0000 | Vizious | (~bes@user/Vizious) (Quit: WeeChat 4.8.1) |
| 2026-02-20 17:45:39 +0000 | <Leary> | ijouw: Re your original question, I'm not entirely sure what you're asking, but `Dynamic` could (and should) have `Ord`. |
| 2026-02-20 17:45:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-02-20 17:46:11 +0000 | <Leary> | Well, not quite. A `Dynamic` limited to `Ord`. |
| 2026-02-20 17:46:50 +0000 | <haskellbridge> | <ijouw> No i mean introducing a type SumT :: Set Type |
| 2026-02-20 17:47:18 +0000 | <haskellbridge> | <ijouw> Which acts as multiway Either |
| 2026-02-20 17:47:46 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (Server closed connection) |
| 2026-02-20 17:48:08 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) yahb2 |
| 2026-02-20 17:48:08 +0000 | ChanServ | +v yahb2 |
| 2026-02-20 17:49:05 +0000 | housemate_ | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-20 17:49:27 +0000 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-20 17:49:40 +0000 | n0w0n | (~john@user/n0w0n) (Ping timeout: 268 seconds) |
| 2026-02-20 17:50:53 +0000 | <EvanR> | there's also unordered set |
| 2026-02-20 17:51:03 +0000 | <EvanR> | as they leave 1 minute earlier |
| 2026-02-20 17:51:51 +0000 | Alex_delenda_est | (~al_test@85.174.181.228) |
| 2026-02-20 17:52:32 +0000 | <haskellbridge> | <ijouw> Leary: You are correct (for a /= 0) |
| 2026-02-20 17:52:59 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 2026-02-20 17:53:32 +0000 | AlexZenon | (~alzenon@85.174.181.228) |
| 2026-02-20 17:56:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 17:56:56 +0000 | <haskellbridge> | <ijouw> What advantage does HashSet a have over Set (Hashed a) where Ord Hashed compares the hash? |
| 2026-02-20 17:57:14 +0000 | <c_wraith> | fewer comparisons |
| 2026-02-20 17:57:26 +0000 | <c_wraith> | the HAMT it's based on has a much higher branching factor |
| 2026-02-20 17:57:28 +0000 | <Leary> | Let's make that a > 0, I forgot non-positive numbers exist. |
| 2026-02-20 17:57:47 +0000 | wickedjargon | (~user@24.244.23.254) (Remote host closed the connection) |
| 2026-02-20 17:57:52 +0000 | <c_wraith> | I believe it's 32-way |
| 2026-02-20 18:00:08 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 2026-02-20 18:02:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-02-20 18:02:31 +0000 | <haskellbridge> | <ijouw> So it trades space efficiency for faster lookup, got it |
| 2026-02-20 18:04:14 +0000 | <c_wraith> | Leary: I tend to forget about that too |
| 2026-02-20 18:04:21 +0000 | <EvanR> | it might not be faster depending on how expensive hashing is |
| 2026-02-20 18:04:51 +0000 | <EvanR> | e.g. comparing bytestrings for ordering can be faster than hashing depending on the length and type of hash |
| 2026-02-20 18:04:57 +0000 | <c_wraith> | For the specific question being asked, that's not relevant |
| 2026-02-20 18:05:20 +0000 | <haskellbridge> | <ijouw> Is there a word for a change (analogue to monotonic), when it reverses ordering? |
| 2026-02-20 18:05:39 +0000 | <c_wraith> | well, there's anti-monotone |
| 2026-02-20 18:05:45 +0000 | <c_wraith> | but it's awkward as heck |
| 2026-02-20 18:06:09 +0000 | <c_wraith> | oh, I guess "antitone" is acceptable as well. that's better |
| 2026-02-20 18:06:13 +0000 | <haskellbridge> | <ijouw> Seems consistent |
| 2026-02-20 18:06:42 +0000 | <haskellbridge> | <ijouw> I wrote that as answer to anti-monotone |
| 2026-02-20 18:07:40 +0000 | <Leary> | People usually just say (monotone/monotonically) decreasing. |
| 2026-02-20 18:08:06 +0000 | n0w0n | (~john@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) |
| 2026-02-20 18:08:11 +0000 | <Leary> | But antitone is cool too. |
| 2026-02-20 18:08:20 +0000 | <haskellbridge> | <ijouw> But isn't that describing the values themselves? |
| 2026-02-20 18:08:26 +0000 | <EvanR> | if monotone is supposed to be not decreasing just say that? |
| 2026-02-20 18:08:38 +0000 | n0w0n | (~john@cpc157419-sotn14-2-0-cust964.15-1.cable.virginm.net) (Changing host) |
| 2026-02-20 18:08:38 +0000 | n0w0n | (~john@user/n0w0n) n0w0n |
| 2026-02-20 18:09:31 +0000 | <c_wraith> | I would say "monotonically decreasing" as a description of a sequence, but "antitone" is a description of a function. *shrug*. It's not too important. |
| 2026-02-20 18:10:06 +0000 | <Leary> | It's a phrasing that's more pertinent to sequences, yes, but nothing will stop mathematicians from overloading, so they use it for functions too. |
| 2026-02-20 18:10:11 +0000 | <EvanR> | are we talking about semantics i.e. definedness |
| 2026-02-20 18:10:42 +0000 | <EvanR> | a monotone function maps more defined inputs to more defined outputs |
| 2026-02-20 18:11:05 +0000 | <n0w0n> | heh, oh analysis my analysis |
| 2026-02-20 18:11:06 +0000 | <fgarcia> | reverse kind of works. or maybe not |
| 2026-02-20 18:11:51 +0000 | <EvanR> | reversing that would be interesting xD |
| 2026-02-20 18:12:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 18:12:53 +0000 | <dutchie> | wikipedia also says "order-reversing" |
| 2026-02-20 18:12:59 +0000 | <dutchie> | "The dual notion is often called antitone, anti-monotone, or order-reversing" |
| 2026-02-20 18:13:00 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2026-02-20 18:14:35 +0000 | <haskellbridge> | <ijouw> That makes monotone synonym of order-preserving |
| 2026-02-20 18:14:50 +0000 | <c_wraith> | which is a perfectly good description |
| 2026-02-20 18:17:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 18:19:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 18:20:17 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2026-02-20 18:20:24 +0000 | talismanick | (~user@2601:644:8502:d340::cd3d) (Remote host closed the connection) |
| 2026-02-20 18:24:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-20 18:26:18 +0000 | Tuplanolla | (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) Tuplanolla |
| 2026-02-20 18:28:14 +0000 | cipherrot | (~jez@user/petrichor) petrichor |
| 2026-02-20 18:29:08 +0000 | <dolio> | They're all monotone, too, because the reverse order is also an order. |
| 2026-02-20 18:29:48 +0000 | petrichor | (~jez@user/petrichor) (Ping timeout: 264 seconds) |
| 2026-02-20 18:29:56 +0000 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-20 18:34:35 +0000 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-20 18:35:38 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 18:35:43 +0000 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) (*.net *.split) |
| 2026-02-20 18:36:10 +0000 | bastelfreak | (bastelfrea@libera/staff/VoxPupuli.bastelfreak) bastelfreak |
| 2026-02-20 18:40:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-02-20 18:46:58 +0000 | nckx | (~nckx@libera/staff/owl/nckx) nckx |
| 2026-02-20 18:47:36 +0000 | abiss27 | (~abiss27@user/abiss) abiss |
| 2026-02-20 18:50:05 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-20 18:51:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 18:51:33 +0000 | GdeVolpiano | (~GdeVolpia@user/GdeVolpiano) GdeVolpiano |
| 2026-02-20 18:52:00 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2026-02-20 18:52:25 +0000 | <EvanR> | ☝️ |
| 2026-02-20 18:52:53 +0000 | tomsmeding | . o O ( if f is antitone, then Down . f is montone ) |
| 2026-02-20 18:53:02 +0000 | <tomsmeding> | *monotone |
| 2026-02-20 18:54:17 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2026-02-20 18:55:59 +0000 | Googulator | (~Googulato@193-226-241-165.pool.digikabel.hu) (Quit: Client closed) |
| 2026-02-20 18:56:09 +0000 | Googulator | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-20 18:58:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 19:01:59 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-02-20 19:02:55 +0000 | abiss27 | (~abiss27@user/abiss) () |
| 2026-02-20 19:07:13 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413) |
| 2026-02-20 19:09:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 19:11:14 +0000 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-02-20 19:12:34 +0000 | jmcantrell_ | jmcantrell |
| 2026-02-20 19:14:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-02-20 19:23:34 +0000 | Enrico63 | (~Enrico63@host-82-56-209-65.retail.telecomitalia.it) Enrico63 |
| 2026-02-20 19:25:11 +0000 | emmanuelux | (~em@user/emmanuelux) emmanuelux |
| 2026-02-20 19:25:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 19:25:42 +0000 | monochrom | considers chromatic sequences >:) |
| 2026-02-20 19:26:34 +0000 | <monochrom> | chromatic sequence: C, C#, D, D#, E, F, F#, ... monochromatic sequence: C, C, C, ... :) |
| 2026-02-20 19:27:47 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2026-02-20 19:30:22 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-02-20 19:37:40 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2026-02-20 19:37:46 +0000 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.8.1) |
| 2026-02-20 19:41:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 19:45:51 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2026-02-20 19:46:17 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2026-02-20 19:46:27 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-02-20 19:46:31 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 19:47:11 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2026-02-20 19:48:55 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 264 seconds) |
| 2026-02-20 19:48:55 +0000 | polykernel_ | polykernel |
| 2026-02-20 19:51:08 +0000 | Enrico63 | (~Enrico63@host-82-56-209-65.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-02-20 19:56:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 20:02:33 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-02-20 20:04:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 20:04:34 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 276 seconds) |
| 2026-02-20 20:04:34 +0000 | polykernel_ | polykernel |
| 2026-02-20 20:10:34 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-20 20:12:40 +0000 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2026-02-20 20:12:49 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 245 seconds) |
| 2026-02-20 20:13:19 +0000 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2026-02-20 20:15:35 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 20:16:19 +0000 | Googulator | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-20 20:16:22 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 4.8.1) |
| 2026-02-20 20:16:36 +0000 | Googulator | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-20 20:20:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-20 20:21:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 20:26:48 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 20:27:12 +0000 | housemate | (~housemate@202.7.248.67) (Remote host closed the connection) |
| 2026-02-20 20:27:36 +0000 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-20 20:28:17 +0000 | Googulator38 | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-20 20:28:44 +0000 | Googulator | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-20 20:34:43 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-02-20 20:37:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 20:37:44 +0000 | LUCKY_NOOB | (~LUCKY_NOO@user/LUCKY-NOOB:44374) (Quit: leaving) |
| 2026-02-20 20:38:04 +0000 | LUCKY_NOOB | (~LUCKY_NOO@user/LUCKY-NOOB:44374) LUCKY_NOOB |
| 2026-02-20 20:38:24 +0000 | LUCKY_NOOB | (~LUCKY_NOO@user/LUCKY-NOOB:44374) (Client Quit) |
| 2026-02-20 20:38:42 +0000 | LUCKY_NOOB | (~LUCKY_NOO@user/LUCKY-NOOB:44374) LUCKY_NOOB |
| 2026-02-20 20:39:46 +0000 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2026-02-20 20:39:47 +0000 | LUCKY_NOOB | (~LUCKY_NOO@user/LUCKY-NOOB:44374) (Client Quit) |
| 2026-02-20 20:40:02 +0000 | polykernel | (~polykerne@user/polykernel) polykernel |
| 2026-02-20 20:40:06 +0000 | LUCKY_NOOB | (~LUCKY_NOO@user/LUCKY-NOOB:44374) LUCKY_NOOB |
| 2026-02-20 20:42:03 +0000 | polykernel_ | (~polykerne@user/polykernel) polykernel |
| 2026-02-20 20:43:36 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-02-20 20:43:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-20 20:44:52 +0000 | polykernel | (~polykerne@user/polykernel) (Ping timeout: 276 seconds) |
| 2026-02-20 20:44:52 +0000 | polykernel_ | polykernel |
| 2026-02-20 20:47:12 +0000 | LUCKY_NOOB | (~LUCKY_NOO@user/LUCKY-NOOB:44374) (Quit: leaving) |
| 2026-02-20 20:47:31 +0000 | LUCKY_NOOB | (~LUCKY_NOO@user/LUCKY-NOOB:44374) LUCKY_NOOB |
| 2026-02-20 20:48:19 +0000 | haskell-noob | (~haskell-n@50.35.80.129) |
| 2026-02-20 20:52:43 +0000 | hakutaku | (~textual@user/hakutaku) hakutaku |
| 2026-02-20 20:55:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 20:57:25 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-20 20:58:09 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413) |
| 2026-02-20 21:00:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 21:03:01 +0000 | AlexZenon | (~alzenon@85.174.181.228) (Ping timeout: 246 seconds) |
| 2026-02-20 21:07:00 +0000 | AlexZenon | (~alzenon@85.174.181.228) |
| 2026-02-20 21:09:27 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-02-20 21:11:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 21:15:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-20 21:18:50 +0000 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-02-20 21:20:37 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
| 2026-02-20 21:27:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 21:32:58 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-02-20 21:38:36 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-02-20 21:39:22 +0000 | Googulator38 | Googulator |
| 2026-02-20 21:42:58 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2026-02-20 21:42:59 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-02-20 21:43:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 21:47:53 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-20 21:49:57 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2026-02-20 21:58:27 +0000 | michalz | (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2026-02-20 21:58:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 22:04:08 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-02-20 22:05:46 +0000 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2026-02-20 22:14:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 22:21:55 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 22:25:08 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 252 seconds) |
| 2026-02-20 22:27:10 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) marinelli |
| 2026-02-20 22:31:55 +0000 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 246 seconds) |
| 2026-02-20 22:32:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 22:37:36 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 22:38:12 +0000 | Square3 | (~Square@user/square) Square |
| 2026-02-20 22:39:48 +0000 | housemate_ | (~housemate@pa49-178-146-220.pa.nsw.optusnet.com.au) housemate |
| 2026-02-20 22:42:19 +0000 | housemate | (~housemate@202.7.248.67) (Ping timeout: 264 seconds) |
| 2026-02-20 22:42:46 +0000 | housemate_ | (~housemate@pa49-178-146-220.pa.nsw.optusnet.com.au) (Remote host closed the connection) |
| 2026-02-20 22:48:37 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 22:53:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-20 22:55:05 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-02-20 23:02:45 +0000 | housemate | (~housemate@202.7.248.67) housemate |
| 2026-02-20 23:04:25 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 23:05:18 +0000 | tromp | (~textual@2001:1c00:3487:1b00:e95d:ea3f:e73:4413) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2026-02-20 23:07:07 +0000 | Googulator | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-20 23:07:25 +0000 | Googulator | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-20 23:09:24 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 23:11:11 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2026-02-20 23:16:14 +0000 | haskell-noob | (~haskell-n@50.35.80.129) (Quit: Client closed) |
| 2026-02-20 23:18:16 +0000 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2026-02-20 23:20:12 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 23:23:12 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 2026-02-20 23:25:29 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-02-20 23:29:02 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 23:34:00 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-02-20 23:36:14 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 268 seconds) |
| 2026-02-20 23:42:21 +0000 | Googulator | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-02-20 23:42:37 +0000 | Googulator | (~Googulato@2a01-036d-0106-499d-1c5a-0e4b-5795-d7e3.pool6.digikabel.hu) |
| 2026-02-20 23:44:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-02-20 23:49:29 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2026-02-20 23:50:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-02-20 23:56:27 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |