| 2025-06-27 00:01:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 00:05:49 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 00:05:50 +0200 | koz | (~koz@121.99.240.58) (Read error: Connection reset by peer) |
| 2025-06-27 00:06:19 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-06-27 00:06:27 +0200 | koz | (~koz@121.99.240.58) |
| 2025-06-27 00:06:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-27 00:07:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-06-27 00:10:14 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 00:11:44 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-06-27 00:13:58 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 00:17:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 00:21:11 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 00:22:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-27 00:23:46 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 00:29:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-27 00:30:54 +0200 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) werneta |
| 2025-06-27 00:32:39 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-27 00:32:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 00:39:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-27 00:43:56 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
| 2025-06-27 00:44:35 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) hackager |
| 2025-06-27 00:44:35 +0200 | ChanServ | +v haskellbridge |
| 2025-06-27 00:45:43 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-27 00:46:03 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-27 00:50:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 00:51:19 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 00:54:17 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 00:55:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-27 00:55:57 +0200 | acidjnk_new | (~acidjnk@p200300d6e70b6686c029856d6c427a68.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-06-27 00:57:29 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-27 00:57:43 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-27 01:01:17 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 01:05:21 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 01:06:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 01:07:04 +0200 | nacation | (~m-3l4s76@user/nacation) (Ping timeout: 245 seconds) |
| 2025-06-27 01:07:57 +0200 | swistak | (~swistak@185.21.216.141) (Ping timeout: 276 seconds) |
| 2025-06-27 01:09:31 +0200 | nacation | (~m-3l4s76@user/nacation) nacation |
| 2025-06-27 01:10:07 +0200 | swistak | (~swistak@185.21.216.141) |
| 2025-06-27 01:11:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-27 01:16:28 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-27 01:17:44 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-06-27 01:19:24 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-06-27 01:20:18 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 01:21:16 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-06-27 01:22:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 01:23:55 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 01:23:59 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2025-06-27 01:24:27 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2025-06-27 01:25:03 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-06-27 01:27:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-27 01:28:21 +0200 | xff0x | (~xff0x@ai083248.d.east.v6connect.net) (Ping timeout: 248 seconds) |
| 2025-06-27 01:28:51 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-06-27 01:31:20 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-27 01:31:20 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 01:33:01 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-27 01:33:15 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-27 01:33:32 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 01:33:35 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-27 01:33:53 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 01:34:12 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 01:34:30 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-27 01:34:46 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 01:36:55 +0200 | xff0x | (~xff0x@ai083248.d.east.v6connect.net) |
| 2025-06-27 01:37:54 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 245 seconds) |
| 2025-06-27 01:38:04 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 260 seconds) |
| 2025-06-27 01:38:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 01:40:58 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 01:41:41 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 01:42:14 +0200 | srk | (~sorki@user/srk) (Remote host closed the connection) |
| 2025-06-27 01:42:58 +0200 | srk | (~sorki@user/srk) srk |
| 2025-06-27 01:43:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-27 01:45:22 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 01:45:34 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 2025-06-27 01:53:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 01:55:18 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-27 01:55:45 +0200 | Pixi` | (~Pixi@user/pixi) Pixi |
| 2025-06-27 01:58:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-27 01:58:40 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 260 seconds) |
| 2025-06-27 02:00:14 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-06-27 02:03:54 +0200 | jespada | (~jespada@179.26.250.220) (Ping timeout: 252 seconds) |
| 2025-06-27 02:04:39 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-06-27 02:08:19 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-06-27 02:08:53 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-27 02:09:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 02:12:46 +0200 | xff0x | (~xff0x@ai083248.d.east.v6connect.net) (Ping timeout: 268 seconds) |
| 2025-06-27 02:13:16 +0200 | end | (~end@user/end/x-0094621) (Ping timeout: 252 seconds) |
| 2025-06-27 02:14:25 +0200 | bcksl | (~bcksl@user/bcksl) (Ping timeout: 244 seconds) |
| 2025-06-27 02:15:28 +0200 | sus0 | (zero@user/zeromomentum) (Ping timeout: 276 seconds) |
| 2025-06-27 02:16:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-27 02:18:55 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 02:26:58 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 02:27:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 02:29:13 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 2025-06-27 02:29:29 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-27 02:31:53 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 02:32:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-27 02:35:26 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 02:36:56 +0200 | bcksl | (~bcksl@user/bcksl) bcksl |
| 2025-06-27 02:41:28 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-06-27 02:42:19 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2025-06-27 02:43:26 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 02:43:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 02:43:59 +0200 | end | (~end@user/end/x-0094621) end^ |
| 2025-06-27 02:44:00 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 02:46:17 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-06-27 02:46:39 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-06-27 02:48:13 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 02:50:22 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2025-06-27 02:50:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-27 02:53:55 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 02:55:33 +0200 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-06-27 02:58:55 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 03:01:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 03:04:50 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-06-27 03:05:02 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-06-27 03:05:13 +0200 | j1n37 | (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen) |
| 2025-06-27 03:06:05 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-27 03:06:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-27 03:08:01 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 03:08:12 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-27 03:12:27 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-06-27 03:12:34 +0200 | Square | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2025-06-27 03:15:08 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-27 03:15:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 03:20:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-27 03:24:05 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-06-27 03:24:53 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-27 03:30:03 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-27 03:30:56 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 03:33:04 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-06-27 03:33:14 +0200 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) jmorris |
| 2025-06-27 03:35:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-27 03:37:08 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 03:38:14 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-06-27 03:38:14 +0200 | ft | (~ft@p508db5d0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-06-27 03:40:00 +0200 | ft | (~ft@p3e9bcc1b.dip0.t-ipconnect.de) ft |
| 2025-06-27 03:43:18 +0200 | poscat | (~poscat@user/poscat) (Read error: Connection reset by peer) |
| 2025-06-27 03:44:31 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-06-27 03:45:43 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-27 03:46:03 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-27 03:46:14 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-27 03:46:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 03:49:25 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-27 03:51:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-27 03:55:07 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-27 03:55:24 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-27 03:55:46 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-27 03:56:01 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-27 03:56:14 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-27 03:56:32 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-27 03:57:13 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-27 04:00:32 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-27 04:00:53 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-27 04:01:05 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-06-27 04:02:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 04:03:49 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-27 04:04:33 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-06-27 04:05:04 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 2025-06-27 04:05:09 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
| 2025-06-27 04:06:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2025-06-27 04:06:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-27 04:07:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-27 04:17:54 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-06-27 04:18:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 04:20:05 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-06-27 04:25:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-27 04:34:28 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 04:36:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 04:38:02 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 04:40:45 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 04:41:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-27 04:44:31 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 252 seconds) |
| 2025-06-27 04:45:35 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 04:45:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-27 04:46:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-27 04:52:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 04:52:37 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
| 2025-06-27 04:54:39 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-27 04:54:54 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-27 04:58:44 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 05:00:37 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 05:02:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-27 05:14:16 +0200 | aforemny_ | (~aforemny@2001:9e8:6cde:3700:303:3b4a:b809:c5f6) aforemny |
| 2025-06-27 05:15:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 05:15:39 +0200 | aforemny | (~aforemny@i577B13E4.versanet.de) (Ping timeout: 260 seconds) |
| 2025-06-27 05:18:00 +0200 | Pixi` | Pixi |
| 2025-06-27 05:19:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-27 05:20:28 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 05:23:34 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 05:25:55 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 05:29:04 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 05:30:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 05:32:45 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-27 05:33:06 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-27 05:34:26 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2025-06-27 05:34:58 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-06-27 05:36:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-27 05:39:08 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 05:39:56 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2025-06-27 05:40:18 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-06-27 05:40:21 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2025-06-27 05:42:05 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 05:46:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 05:47:18 +0200 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
| 2025-06-27 05:48:53 +0200 | dutchie | (~dutchie@user/dutchie) dutchie |
| 2025-06-27 05:51:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-06-27 05:54:00 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 05:56:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 05:57:22 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-06-27 05:57:36 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 06:02:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-27 06:06:03 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-06-27 06:10:48 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 268 seconds) |
| 2025-06-27 06:11:26 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-27 06:14:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 06:14:27 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-27 06:19:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-06-27 06:25:33 +0200 | sus0 | (zero@user/zeromomentum) zeromomentum |
| 2025-06-27 06:26:25 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 06:29:20 +0200 | vn36 | (~vn36@223.239.3.193) vn36 |
| 2025-06-27 06:29:39 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 06:29:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 06:33:03 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 06:34:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-27 06:37:07 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 06:42:34 +0200 | vn36 | (~vn36@223.239.3.193) (Ping timeout: 260 seconds) |
| 2025-06-27 06:44:54 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Ping timeout: 260 seconds) |
| 2025-06-27 06:45:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 06:47:08 +0200 | tuxpaint | (~a@put.gay) (Quit: gn) |
| 2025-06-27 06:47:26 +0200 | tuxpaint | (~a@put.gay) |
| 2025-06-27 06:50:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-27 06:53:26 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 06:56:09 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 06:56:45 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 06:58:50 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-27 07:00:07 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 07:00:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 07:00:54 +0200 | user363627 | (~user@user/user363627) user363627 |
| 2025-06-27 07:01:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 07:01:49 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 260 seconds) |
| 2025-06-27 07:04:21 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 07:04:22 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 07:06:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-27 07:07:42 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 07:10:08 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 07:11:17 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 2025-06-27 07:13:10 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 07:16:18 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 07:16:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 07:18:23 +0200 | mange | (~mange@user/mange) mange |
| 2025-06-27 07:19:36 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 07:22:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-27 07:24:17 +0200 | soverysour | (~soverysou@84.232.150.142) |
| 2025-06-27 07:24:17 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
| 2025-06-27 07:24:17 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
| 2025-06-27 07:26:05 +0200 | Nosrep | (~jimothy@user/nosrep) (Ping timeout: 265 seconds) |
| 2025-06-27 07:32:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 07:33:05 +0200 | michalz | (~michalz@185.246.207.215) |
| 2025-06-27 07:35:35 +0200 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2025-06-27 07:39:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-27 07:44:10 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-27 07:50:51 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 07:56:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-06-27 07:57:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 08:01:19 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2025-06-27 08:01:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-27 08:03:38 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-27 08:06:18 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 08:08:08 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 265 seconds) |
| 2025-06-27 08:10:57 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 08:12:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 08:14:58 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-06-27 08:17:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-27 08:18:10 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
| 2025-06-27 08:21:14 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
| 2025-06-27 08:21:50 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 08:26:14 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 08:28:22 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 2025-06-27 08:28:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 08:28:43 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-27 08:29:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-06-27 08:31:54 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 08:32:13 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 08:32:54 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 245 seconds) |
| 2025-06-27 08:33:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-06-27 08:35:06 +0200 | cptaffe` | (~cptaffe@user/cptaffe) cptaffe |
| 2025-06-27 08:35:12 +0200 | edm | (sid147314@hampstead.irccloud.com) (Ping timeout: 244 seconds) |
| 2025-06-27 08:35:43 +0200 | cptaffe | (~cptaffe@user/cptaffe) (Ping timeout: 276 seconds) |
| 2025-06-27 08:36:10 +0200 | edm | (sid147314@id-147314.hampstead.irccloud.com) |
| 2025-06-27 08:38:27 +0200 | cptaffe` | cptaffe |
| 2025-06-27 08:44:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 08:45:06 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-27 08:45:25 +0200 | inline | (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 2025-06-27 08:46:13 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 248 seconds) |
| 2025-06-27 08:49:02 +0200 | inline | (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) Inline |
| 2025-06-27 08:49:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-27 08:50:45 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 276 seconds) |
| 2025-06-27 08:54:39 +0200 | inline | (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Ping timeout: 276 seconds) |
| 2025-06-27 08:57:04 +0200 | PotatoGim | (sid99505@lymington.irccloud.com) (Ping timeout: 245 seconds) |
| 2025-06-27 08:57:14 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 08:57:43 +0200 | PotatoGim | (sid99505@id-99505.lymington.irccloud.com) PotatoGim |
| 2025-06-27 08:58:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 08:59:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-27 09:00:01 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-06-27 09:00:09 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-27 09:00:41 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-06-27 09:02:27 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 09:02:43 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-27 09:02:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-27 09:02:57 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-27 09:03:02 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 09:06:52 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 09:08:22 +0200 | trickard_ | trickard |
| 2025-06-27 09:11:03 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-06-27 09:11:12 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-27 09:12:44 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 09:13:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 09:18:20 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 09:18:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-06-27 09:19:21 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-06-27 09:22:00 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 260 seconds) |
| 2025-06-27 09:22:18 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-06-27 09:23:37 +0200 | tromp | (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814) |
| 2025-06-27 09:24:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2025-06-27 09:24:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-06-27 09:25:28 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 09:26:13 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-06-27 09:27:34 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-27 09:28:48 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-06-27 09:29:16 +0200 | acidjnk_new | (~acidjnk@p200300d6e70b6686c029856d6c427a68.dip0.t-ipconnect.de) acidjnk |
| 2025-06-27 09:29:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 09:30:18 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 09:33:23 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-27 09:33:33 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-06-27 09:34:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-27 09:37:53 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
| 2025-06-27 09:39:14 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-06-27 09:40:24 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 09:40:31 +0200 | califax | (~califax@user/califx) califx |
| 2025-06-27 09:40:40 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-06-27 09:42:14 +0200 | gp88 | (~gp@net-188-217-43-7.cust.vodafonedsl.it) |
| 2025-06-27 09:42:54 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 09:44:23 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 09:45:17 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 09:45:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 09:45:22 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 252 seconds) |
| 2025-06-27 09:45:50 +0200 | <kqr> | Why is there no instance (Random a) => Random (Maybe a)? |
| 2025-06-27 09:46:39 +0200 | <tomsmeding> | what would the probability of generating Nothing be? |
| 2025-06-27 09:47:11 +0200 | tromp | (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-27 09:47:45 +0200 | <kqr> | I would have guessed 50/50, but I get your point. |
| 2025-06-27 09:47:54 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-27 09:48:00 +0200 | <tomsmeding> | then if you have a few nested Maybes, you get almost zero probability of generating something useful :) |
| 2025-06-27 09:48:05 +0200 | <kqr> | Indeed |
| 2025-06-27 09:48:12 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-06-27 09:48:16 +0200 | <tomsmeding> | for something like Bool or Int, there's an uncontroversial uniform probability distribution |
| 2025-06-27 09:48:25 +0200 | <tomsmeding> | for Maybe, it depends quite strongly on your application |
| 2025-06-27 09:48:50 +0200 | gp88 | (~gp@net-188-217-43-7.cust.vodafonedsl.it) (Ping timeout: 260 seconds) |
| 2025-06-27 09:49:10 +0200 | <hc> | You could say, return Nothing if not enough entropy available ;-) |
| 2025-06-27 09:49:11 +0200 | <tomsmeding> | kqr: in fact, the 'random' package wants you to use the Uniform class these days instead of Random; and Uniform is specified to... generate a uniform distribution |
| 2025-06-27 09:49:23 +0200 | <tomsmeding> | there's no such thing as a general uniform distribution on Maybe |
| 2025-06-27 09:49:43 +0200 | soverysour | (~soverysou@84.232.150.142) |
| 2025-06-27 09:49:43 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
| 2025-06-27 09:49:43 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
| 2025-06-27 09:49:59 +0200 | <tomsmeding> | (if you had the cardinality of the type inside the Maybe then you could do it, but that sounds like a bad idea in most contexts) |
| 2025-06-27 09:50:53 +0200 | califax | (~califax@user/califx) califx |
| 2025-06-27 09:51:53 +0200 | gp | (~gp@net-188-217-43-7.cust.vodafonedsl.it) |
| 2025-06-27 09:54:40 +0200 | tromp | (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814) |
| 2025-06-27 09:57:03 +0200 | gp | (~gp@net-188-217-43-7.cust.vodafonedsl.it) (Ping timeout: 276 seconds) |
| 2025-06-27 10:00:24 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-06-27 10:02:44 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 244 seconds) |
| 2025-06-27 10:11:59 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
| 2025-06-27 10:12:08 +0200 | gp | (~gp@net-188-217-43-7.cust.vodafonedsl.it) |
| 2025-06-27 10:12:18 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 10:15:35 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 10:17:39 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-27 10:18:05 +0200 | <kqr> | At that point we are approaching Boltzmann sampling which I agree is out of scope of the random package. |
| 2025-06-27 10:18:30 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-06-27 10:20:16 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 10:21:23 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2025-06-27 10:23:01 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 268 seconds) |
| 2025-06-27 10:23:56 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 10:24:08 +0200 | vn36 | (~vn36@223.239.35.204) vn36 |
| 2025-06-27 10:27:57 +0200 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) p3n |
| 2025-06-27 10:29:41 +0200 | <vn36> | just found out the dot operator composes quite well with itself. eg. (.).(.).(.) has type (b -> c) -> (a1 -> a2 -> a3 -> b) -> a1 -> a2 -> a3 -> c . are there are other operators that compose in interesting ways? |
| 2025-06-27 10:30:05 +0200 | chele | (~chele@user/chele) chele |
| 2025-06-27 10:34:20 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-27 10:36:34 +0200 | <lyxia> | fmap |
| 2025-06-27 10:39:12 +0200 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-06-27 10:39:31 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-27 10:42:11 +0200 | inline | (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) Inline |
| 2025-06-27 10:48:17 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-06-27 10:50:54 +0200 | <__monty__> | vn36: Check out birds. |
| 2025-06-27 10:52:27 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-06-27 10:53:20 +0200 | dhil | (~dhil@5.151.29.137) dhil |
| 2025-06-27 10:55:44 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 10:59:29 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 11:03:19 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 11:04:10 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 11:04:34 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-06-27 11:07:55 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 11:13:00 +0200 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-06-27 11:13:41 +0200 | j1n37 | (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen) |
| 2025-06-27 11:13:57 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 11:20:29 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 11:22:12 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2025-06-27 11:23:55 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-06-27 11:24:35 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-06-27 11:26:36 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-27 11:27:13 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-27 11:29:21 +0200 | <merijn> | vn36: I recall a blogpost by Conal on that |
| 2025-06-27 11:29:31 +0200 | <merijn> | I think he called them Semantic Editor Combinators |
| 2025-06-27 11:29:42 +0200 | <merijn> | From the dark ages before optics :p |
| 2025-06-27 11:30:03 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 11:30:28 +0200 | <merijn> | I'm sure you can probably compose <> interestingly somehow |
| 2025-06-27 11:30:36 +0200 | <merijn> | :t (<>) <> (<>) |
| 2025-06-27 11:30:37 +0200 | <lambdabot> | Semigroup a => a -> a -> a |
| 2025-06-27 11:30:45 +0200 | <merijn> | aw, that's somewhat boring |
| 2025-06-27 11:30:56 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-06-27 11:30:58 +0200 | <merijn> | :t (<>) . (<>) |
| 2025-06-27 11:30:59 +0200 | <lambdabot> | Semigroup a => a -> (a -> a) -> a -> a |
| 2025-06-27 11:31:08 +0200 | <merijn> | That's more interesting |
| 2025-06-27 11:32:08 +0200 | <tomsmeding> | :t \x f y -> x <> f y |
| 2025-06-27 11:32:08 +0200 | <lambdabot> | Semigroup a => a -> (t -> a) -> t -> a |
| 2025-06-27 11:32:16 +0200 | <tomsmeding> | fairly sure it's that but written more cutely |
| 2025-06-27 11:33:08 +0200 | <merijn> | :t (.) <> (.) -- emoji coding |
| 2025-06-27 11:33:08 +0200 | <tomsmeding> | :t curry ((<>) .) . uncurry (second ?f) |
| 2025-06-27 11:33:09 +0200 | <lambdabot> | Semigroup c => (b -> c) -> (a -> b) -> a -> c |
| 2025-06-27 11:33:09 +0200 | <lambdabot> | error: |
| 2025-06-27 11:33:09 +0200 | <lambdabot> | • Couldn't match type ‘(a0, b2)’ with ‘a -> a1’ |
| 2025-06-27 11:33:09 +0200 | <lambdabot> | Expected type: (a0, b2) -> a -> a1 -> a1 |
| 2025-06-27 11:33:11 +0200 | <tomsmeding> | bah |
| 2025-06-27 11:33:25 +0200 | tromp | (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-27 11:33:57 +0200 | <merijn> | I can't decide whether I miss Monoid or Applicative more in day to day coding :p |
| 2025-06-27 11:34:31 +0200 | <tomsmeding> | :t (uncurry (<>) .) . curry (second ?f) |
| 2025-06-27 11:34:32 +0200 | <lambdabot> | (Semigroup a1, ?f::a2 -> a1) => a1 -> a2 -> a1 |
| 2025-06-27 11:34:35 +0200 | <tomsmeding> | curries the wrong way round |
| 2025-06-27 11:37:09 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 2025-06-27 11:37:57 +0200 | dhil | (~dhil@5.151.29.137) (Remote host closed the connection) |
| 2025-06-27 11:38:02 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-27 11:40:09 +0200 | dhil | (~dhil@5.151.29.141) dhil |
| 2025-06-27 11:46:47 +0200 | <vn36> | vn loves birds |
| 2025-06-27 11:47:05 +0200 | <vn36> | otherwise i knew about fmap from here a long time ago |
| 2025-06-27 11:47:33 +0200 | <vn36> | never found a use in actual code tho (actually got to use (.) . (.) tho) |
| 2025-06-27 11:48:57 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-06-27 11:49:53 +0200 | inline_ | (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) Inline |
| 2025-06-27 11:51:33 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 11:53:22 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 265 seconds) |
| 2025-06-27 11:55:07 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-27 11:55:46 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) szkl |
| 2025-06-27 11:56:09 +0200 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-06-27 11:57:59 +0200 | tromp | (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814) |
| 2025-06-27 11:58:27 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 252 seconds) |
| 2025-06-27 12:02:56 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
| 2025-06-27 12:05:24 +0200 | <lortabac> | fmap composition is useful when you have multiple layers of functors |
| 2025-06-27 12:05:32 +0200 | <lortabac> | > (fmap . fmap) show (Just [1, 2, 3, 4]) |
| 2025-06-27 12:05:33 +0200 | <lambdabot> | Just ["1","2","3","4"] |
| 2025-06-27 12:06:10 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 12:06:15 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 12:06:18 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 12:06:26 +0200 | <lortabac> | but I rarely use it at work because Hlint complains |
| 2025-06-27 12:06:37 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 12:13:01 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 12:14:16 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-06-27 12:14:47 +0200 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 12:21:36 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 12:22:47 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-27 12:24:50 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-27 12:25:34 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-27 12:26:20 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
| 2025-06-27 12:33:14 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-06-27 12:33:39 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2025-06-27 12:34:35 +0200 | Square | (~Square@user/square) Square |
| 2025-06-27 12:34:37 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2025-06-27 12:35:59 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 12:36:23 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2025-06-27 12:38:07 +0200 | puke | (~puke@user/puke) (Quit: puke) |
| 2025-06-27 12:39:27 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 12:39:40 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-06-27 12:40:11 +0200 | puke | (~puke@user/puke) puke |
| 2025-06-27 12:41:29 +0200 | califax | (~califax@user/califx) califx |
| 2025-06-27 12:43:39 +0200 | vn36 | (~vn36@223.239.35.204) (Ping timeout: 260 seconds) |
| 2025-06-27 12:44:42 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 12:45:01 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 12:53:29 +0200 | notzmv | (~umar@user/notzmv) (Ping timeout: 268 seconds) |
| 2025-06-27 12:55:29 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-06-27 12:55:39 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 12:55:44 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-06-27 12:56:29 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 2025-06-27 12:57:59 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-06-27 13:01:19 +0200 | jespada | (~jespada@179.26.250.220) jespada |
| 2025-06-27 13:06:36 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 13:08:31 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 2025-06-27 13:10:10 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 13:10:44 +0200 | gp88 | (~gp@net-188-217-43-7.cust.vodafonedsl.it) |
| 2025-06-27 13:12:03 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 13:13:32 +0200 | gp | (~gp@net-188-217-43-7.cust.vodafonedsl.it) (Ping timeout: 272 seconds) |
| 2025-06-27 13:14:00 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 13:19:37 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 13:20:44 +0200 | mra | (~mra@static.150.116.201.138.clients.your-server.de) (Read error: Connection reset by peer) |
| 2025-06-27 13:23:12 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 13:23:50 +0200 | vn36 | (~vn36@2401:4900:6467:9e12:758c:fa63:200a:b069) vn36 |
| 2025-06-27 13:29:10 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-06-27 13:29:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-27 13:29:39 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-06-27 13:30:26 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 13:31:15 +0200 | FANTOM | (~fantom@33be818f.skybroadband.com) (Ping timeout: 244 seconds) |
| 2025-06-27 13:33:55 +0200 | tromp | (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-27 13:34:42 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-27 13:37:30 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-06-27 13:38:05 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-06-27 13:42:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 13:47:05 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-27 13:47:25 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-06-27 13:47:56 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-27 13:48:18 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-27 13:48:48 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-27 13:49:04 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-27 13:50:33 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-27 13:50:40 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-27 13:51:04 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-27 13:52:05 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-27 13:55:12 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-27 13:55:40 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 13:57:17 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 13:57:50 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-27 13:58:10 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-06-27 14:01:29 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 14:02:07 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-06-27 14:02:12 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2025-06-27 14:02:35 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 14:05:40 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 14:08:26 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 14:09:20 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 268 seconds) |
| 2025-06-27 14:12:05 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-27 14:12:17 +0200 | gp88 | (~gp@net-188-217-43-7.cust.vodafonedsl.it) (Ping timeout: 244 seconds) |
| 2025-06-27 14:16:13 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 14:19:00 +0200 | jespada | (~jespada@179.26.250.220) (Ping timeout: 276 seconds) |
| 2025-06-27 14:19:19 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-06-27 14:22:31 +0200 | jespada | (~jespada@r179-25-135-69.dialup.adsl.anteldata.net.uy) jespada |
| 2025-06-27 14:27:02 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 14:31:34 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-06-27 14:31:38 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 14:31:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 14:34:05 +0200 | jespada | (~jespada@r179-25-135-69.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-06-27 14:37:00 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 14:37:17 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2025-06-27 14:38:25 +0200 | acidjnk_new | (~acidjnk@p200300d6e70b6686c029856d6c427a68.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-06-27 14:40:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-06-27 14:42:50 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 260 seconds) |
| 2025-06-27 14:43:35 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 14:44:03 +0200 | vetkat | (~vetkat@190-2-132-128.hosted-by-worldstream.net) (Quit: So long, and thanks for all the fish) |
| 2025-06-27 14:44:17 +0200 | jespada | (~jespada@r179-25-135-69.dialup.adsl.anteldata.net.uy) jespada |
| 2025-06-27 14:45:34 +0200 | vetkat | (~vetkat@190-2-132-128.hosted-by-worldstream.net) |
| 2025-06-27 14:46:41 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 14:46:50 +0200 | trickard_ | trickard |
| 2025-06-27 14:50:07 +0200 | vetkat | (~vetkat@190-2-132-128.hosted-by-worldstream.net) (Client Quit) |
| 2025-06-27 14:50:10 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-27 14:50:49 +0200 | vetkat | (~vetkat@190-2-132-128.hosted-by-worldstream.net) |
| 2025-06-27 15:01:04 +0200 | leah2 | (~leah@vuxu.org) (Quit: Sprechen Sie noch? Wird noch gesprochen? Ich trenne.) |
| 2025-06-27 15:01:07 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-06-27 15:03:41 +0200 | leah2 | (~leah@vuxu.org) leah2 |
| 2025-06-27 15:04:13 +0200 | ft | (~ft@p3e9bcc1b.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-06-27 15:05:34 +0200 | acidjnk | (~acidjnk@p200300d6e70b66862c1da6a9c5fbd3ce.dip0.t-ipconnect.de) acidjnk |
| 2025-06-27 15:05:52 +0200 | ft | (~ft@p508db0b0.dip0.t-ipconnect.de) ft |
| 2025-06-27 15:06:03 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 15:09:46 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 15:10:51 +0200 | tromp | (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814) |
| 2025-06-27 15:13:52 +0200 | ft | (~ft@p508db0b0.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-06-27 15:14:20 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 15:15:28 +0200 | ft | (~ft@p508db47e.dip0.t-ipconnect.de) ft |
| 2025-06-27 15:16:29 +0200 | vn36 | (~vn36@2401:4900:6467:9e12:758c:fa63:200a:b069) (Ping timeout: 260 seconds) |
| 2025-06-27 15:16:35 +0200 | jespada | (~jespada@r179-25-135-69.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-06-27 15:17:42 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 15:25:53 +0200 | vn36 | (~vn36@223.239.35.204) vn36 |
| 2025-06-27 15:27:59 +0200 | poscat | (~poscat@user/poscat) (Read error: Connection reset by peer) |
| 2025-06-27 15:28:05 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-06-27 15:29:26 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-06-27 15:29:49 +0200 | gp88 | (~gp@net-188-217-43-7.cust.vodafonedsl.it) |
| 2025-06-27 15:30:58 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-06-27 15:34:58 +0200 | <ski> | @type map . map . map |
| 2025-06-27 15:34:59 +0200 | <lambdabot> | (a -> b) -> [[[a]]] -> [[[b]]] |
| 2025-06-27 15:35:11 +0200 | <ski> | @type foldl . foldl . foldl |
| 2025-06-27 15:35:12 +0200 | <lambdabot> | (Foldable t1, Foldable t2, Foldable t3) => (b -> a -> b) -> b -> t1 (t2 (t3 a)) -> b |
| 2025-06-27 15:35:21 +0200 | <ski> | @type foldr . flip . foldr . flip . foldr |
| 2025-06-27 15:35:22 +0200 | <lambdabot> | (Foldable t1, Foldable t2, Foldable t3) => (a -> b -> b) -> b -> t1 (t2 (t3 a)) -> b |
| 2025-06-27 15:35:43 +0200 | <ski> | @type zipWith . zipWith . zipWith |
| 2025-06-27 15:35:44 +0200 | <lambdabot> | (a -> b -> c) -> [[[a]]] -> [[[b]]] -> [[[c]]] |
| 2025-06-27 15:36:04 +0200 | <ski> | @type liftM2 . liftM2 . liftM2 |
| 2025-06-27 15:36:05 +0200 | <lambdabot> | (Monad m1, Monad m2, Monad m3) => (a1 -> a2 -> r) -> m1 (m2 (m3 a1)) -> m1 (m2 (m3 a2)) -> m1 (m2 (m3 r)) |
| 2025-06-27 15:36:24 +0200 | <ski> | @type mapM . mapM . mapM |
| 2025-06-27 15:36:25 +0200 | <lambdabot> | (Monad m, Traversable t1, Traversable t2, Traversable t3) => (a -> m b) -> t1 (t2 (t3 a)) -> m (t1 (t2 (t3 b))) |
| 2025-06-27 15:36:43 +0200 | <ski> | @where SEC |
| 2025-06-27 15:36:44 +0200 | <lambdabot> | http://conal.net/blog/posts/semantic-editor-combinators/ |
| 2025-06-27 15:37:52 +0200 | <ski> | (also see `onLines',`onWords',`perLine',`perWord' at <https://wiki.haskell.org/TV#IO>) |
| 2025-06-27 15:37:56 +0200 | <ski> | @where TV |
| 2025-06-27 15:37:56 +0200 | <lambdabot> | "TV is a library for composing /tangible values/, i.e., values that carry along external interfaces. In particular, TVs can be composed to create new TVs, /and/ they can be directly executed with a |
| 2025-06-27 15:37:56 +0200 | <lambdabot> | friendly GUI, a process that reads and writes character streams, or many other kinds interfaces. Values and interfaces are /combined/ for direct use, and /separable/ for composition." <http://www. |
| 2025-06-27 15:37:56 +0200 | <lambdabot> | haskell.org/haskellwiki/TV> |
| 2025-06-27 15:38:11 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 15:40:08 +0200 | jespada | (~jespada@r179-25-135-69.dialup.adsl.anteldata.net.uy) jespada |
| 2025-06-27 15:40:12 +0200 | <ski> | @where lenses |
| 2025-06-27 15:40:12 +0200 | <lambdabot> | <http://twanvl.nl/blog/haskell/overloading-functional-references>,<http://cdsmith.wordpress.com/2011/04/26/composing-state-with-functions-and-lenses/>,<http://patternsinfp.wordpress.com/2011/01/31/ |
| 2025-06-27 15:40:12 +0200 | <lambdabot> | lenses-are-the-coalgebras-for-the-costate-comonad/>,<http://stackoverflow.com/questions/5767129/lenses-fclabels-data-accessor-which-library-for-structu…> |
| 2025-06-27 15:40:15 +0200 | <ski> | @where lens |
| 2025-06-27 15:40:15 +0200 | <lambdabot> | #haskell-lens | http://lens.github.io/ | https://github.com/ekmett/lens | http://www.youtube.com/watch?v=cefnmjtAolY&hd=1 |
| 2025-06-27 15:40:18 +0200 | <ski> | vn36 ^ |
| 2025-06-27 15:41:14 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 15:42:07 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 15:43:17 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
| 2025-06-27 15:45:22 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 15:45:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-06-27 15:47:41 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 15:48:18 +0200 | poliquin | (~poliquin@c-76-133-172-55.hsd1.ca.comcast.net) |
| 2025-06-27 15:48:56 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-27 15:50:29 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-06-27 15:52:02 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 15:59:28 +0200 | acidjnk | (~acidjnk@p200300d6e70b66862c1da6a9c5fbd3ce.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-06-27 16:00:11 +0200 | weary-traveler | (~user@user/user363627) (Quit: Konversation terminated!) |
| 2025-06-27 16:00:51 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-06-27 16:04:05 +0200 | dhil | (~dhil@5.151.29.141) (Ping timeout: 248 seconds) |
| 2025-06-27 16:06:30 +0200 | xff0x | (~xff0x@2405:6580:b080:900:7de9:4e6b:e42a:b067) |
| 2025-06-27 16:08:24 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-06-27 16:08:52 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 16:12:46 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 16:12:55 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-27 16:13:20 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-27 16:13:33 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-27 16:14:12 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
| 2025-06-27 16:15:11 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 16:16:40 +0200 | trickard_ | trickard |
| 2025-06-27 16:18:00 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-06-27 16:18:16 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 16:20:54 +0200 | tromp | (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-27 16:23:17 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
| 2025-06-27 16:25:11 +0200 | mange | (~mange@user/mange) (Quit: Zzz...) |
| 2025-06-27 16:28:20 +0200 | tromp | (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814) |
| 2025-06-27 16:30:40 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 16:36:24 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 16:40:49 +0200 | fp | (~Thunderbi@2001:708:150:10::8f7c) fp |
| 2025-06-27 16:44:06 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-27 16:44:18 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-27 16:48:14 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
| 2025-06-27 16:49:23 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 16:50:50 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) hackager |
| 2025-06-27 16:50:50 +0200 | ChanServ | +v haskellbridge |
| 2025-06-27 16:51:08 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2025-06-27 16:52:33 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 16:57:04 +0200 | fp | (~Thunderbi@2001:708:150:10::8f7c) (Ping timeout: 268 seconds) |
| 2025-06-27 16:59:16 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 17:02:04 +0200 | vn36 | (~vn36@223.239.35.204) (Ping timeout: 260 seconds) |
| 2025-06-27 17:02:04 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-06-27 17:03:57 +0200 | adamCS | (~adamCS@70.19.85.77) (Ping timeout: 252 seconds) |
| 2025-06-27 17:04:06 +0200 | adamCS | (~adamCS@70.19.85.77) adamCS |
| 2025-06-27 17:04:11 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 17:08:56 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 17:10:33 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-06-27 17:10:33 +0200 | tromp | (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-27 17:14:01 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 17:16:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-27 17:17:02 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 244 seconds) |
| 2025-06-27 17:17:44 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 17:19:35 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-27 17:19:37 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) |
| 2025-06-27 17:21:27 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 17:27:30 +0200 | trickard_ | trickard |
| 2025-06-27 17:28:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 17:30:02 +0200 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-06-27 17:30:10 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-27 17:31:35 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2025-06-27 17:31:35 +0200 | prdak1 | prdak |
| 2025-06-27 17:35:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-27 17:37:42 +0200 | inline_ | (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 2025-06-27 17:38:34 +0200 | vn36 | (~vn36@223.239.35.204) vn36 |
| 2025-06-27 17:39:36 +0200 | tromp | (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814) |
| 2025-06-27 17:42:16 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 17:45:51 +0200 | soverysour | (~soverysou@84.232.150.142) |
| 2025-06-27 17:45:51 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
| 2025-06-27 17:45:51 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
| 2025-06-27 17:46:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 17:48:25 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 17:49:36 +0200 | inline_ | (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) Inline |
| 2025-06-27 17:50:53 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-27 17:53:17 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 17:54:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-27 17:54:34 +0200 | inline_ | (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2025-06-27 17:54:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-27 17:58:29 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 18:00:23 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 18:01:10 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
| 2025-06-27 18:01:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 18:01:56 +0200 | jespada | (~jespada@r179-25-135-69.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 2025-06-27 18:03:09 +0200 | soverysour | (~soverysou@84.232.150.142) |
| 2025-06-27 18:03:10 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
| 2025-06-27 18:03:10 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
| 2025-06-27 18:04:03 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 18:04:40 +0200 | jespada | (~jespada@r179-25-135-69.dialup.adsl.anteldata.net.uy) jespada |
| 2025-06-27 18:05:34 +0200 | inline | (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-06-27 18:06:04 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-06-27 18:07:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-27 18:09:01 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
| 2025-06-27 18:10:46 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 2025-06-27 18:16:16 +0200 | inline | (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) Inline |
| 2025-06-27 18:17:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 18:17:50 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
| 2025-06-27 18:18:01 +0200 | ouilemur | (~jgmerritt@user/ouilemur) ouilemur |
| 2025-06-27 18:20:24 +0200 | r-sta | (~r-sta@host-92-18-137-6.as13285.net) |
| 2025-06-27 18:21:16 +0200 | <r-sta> | hi #haskell |
| 2025-06-27 18:22:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-27 18:24:50 +0200 | tromp | (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-27 18:27:44 +0200 | <geekosaur> | 👋 |
| 2025-06-27 18:31:43 +0200 | Nosrep | (~jimothy@user/nosrep) Nosrep |
| 2025-06-27 18:31:59 +0200 | <EvanR> | 🦵 |
| 2025-06-27 18:32:33 +0200 | tromp | (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814) |
| 2025-06-27 18:33:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 18:33:50 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-27 18:34:17 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 18:34:42 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-27 18:35:34 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 244 seconds) |
| 2025-06-27 18:35:59 +0200 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 265 seconds) |
| 2025-06-27 18:36:16 +0200 | <geekosaur> | hm, where's lambdabot? |
| 2025-06-27 18:36:54 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) |
| 2025-06-27 18:36:54 +0200 | lambdabot | (~lambdabot@silicon.int-e.eu) (Changing host) |
| 2025-06-27 18:36:54 +0200 | lambdabot | (~lambdabot@haskell/bot/lambdabot) lambdabot |
| 2025-06-27 18:36:54 +0200 | ChanServ | +v lambdabot |
| 2025-06-27 18:37:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-27 18:38:03 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-27 18:38:11 +0200 | <EvanR> | legally mandated break due to the heat |
| 2025-06-27 18:42:19 +0200 | <geekosaur> | someone's been watching footie 🙂 |
| 2025-06-27 18:42:50 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-06-27 18:42:55 +0200 | tromp | (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-27 18:46:41 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 248 seconds) |
| 2025-06-27 18:47:12 +0200 | <EvanR> | who or what is that |
| 2025-06-27 18:47:23 +0200 | Frostillicus | (~Frostilli@2600:380:5974:bc31:158d:497:5aa0:bf6e) |
| 2025-06-27 18:47:25 +0200 | soverysour | (~soverysou@user/soverysour) (Remote host closed the connection) |
| 2025-06-27 18:47:47 +0200 | soverysour | (~soverysou@84.232.150.142) soverysour |
| 2025-06-27 18:47:47 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
| 2025-06-27 18:47:47 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
| 2025-06-27 18:48:18 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-27 18:48:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 18:52:33 +0200 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) (Read error: Connection reset by peer) |
| 2025-06-27 18:52:48 +0200 | Pixi` | (~Pixi@user/pixi) Pixi |
| 2025-06-27 18:52:56 +0200 | sam113101 | (~sam@modemcable200.189-202-24.mc.videotron.ca) sam113101 |
| 2025-06-27 18:53:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-27 18:53:36 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-06-27 18:53:38 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2025-06-27 18:55:15 +0200 | Frostillicus | (~Frostilli@2600:380:5974:bc31:158d:497:5aa0:bf6e) (Ping timeout: 276 seconds) |
| 2025-06-27 18:55:16 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-06-27 18:55:49 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 245 seconds) |
| 2025-06-27 18:56:03 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-06-27 18:56:33 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
| 2025-06-27 18:59:31 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-06-27 19:00:33 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 19:04:19 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-27 19:04:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 19:05:37 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 19:05:45 +0200 | tromp | (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814) |
| 2025-06-27 19:07:24 +0200 | <tomsmeding> | @botsnack |
| 2025-06-27 19:07:24 +0200 | <lambdabot> | :) |
| 2025-06-27 19:07:43 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-27 19:09:03 +0200 | <geekosaur> | yeh, it came back right after I asked about it |
| 2025-06-27 19:09:13 +0200 | <geekosaur> | which was several minutes after it disconnected |
| 2025-06-27 19:09:48 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 19:10:00 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-27 19:10:27 +0200 | td_ | (~td@i53870911.versanet.de) |
| 2025-06-27 19:10:27 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-27 19:11:06 +0200 | r-sta | (~r-sta@host-92-18-137-6.as13285.net) (Quit: Client closed) |
| 2025-06-27 19:11:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-27 19:11:54 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2025-06-27 19:13:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 19:15:33 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-06-27 19:17:32 +0200 | vn36 | (~vn36@223.239.35.204) (Read error: Connection reset by peer) |
| 2025-06-27 19:18:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-27 19:18:33 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-27 19:19:32 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 19:23:02 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 19:23:19 +0200 | vn36 | (~vn36@223.239.35.204) vn36 |
| 2025-06-27 19:26:02 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 19:26:27 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 19:29:10 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 19:29:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 19:29:57 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-06-27 19:32:00 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 19:34:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-06-27 19:35:40 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
| 2025-06-27 19:36:44 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 19:37:12 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2025-06-27 19:37:27 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2025-06-27 19:37:30 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-06-27 19:38:08 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-06-27 19:39:50 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-27 19:40:39 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 19:42:41 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 19:44:00 +0200 | ft | (~ft@p508db47e.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-06-27 19:44:19 +0200 | tromp | (~textual@2001:1c00:3487:1b00:9d13:d814:1e09:9814) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-06-27 19:45:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 19:45:30 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 19:45:38 +0200 | ft | (~ft@p3e9bc0bf.dip0.t-ipconnect.de) ft |
| 2025-06-27 19:46:11 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2025-06-27 19:48:12 +0200 | poscat | (~poscat@user/poscat) poscat |
| 2025-06-27 19:48:54 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 19:49:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-06-27 19:50:17 +0200 | laurapigeon | (~laurapige@215.32.9.51.dyn.plus.net) |
| 2025-06-27 19:50:17 +0200 | laurapigeon | (~laurapige@215.32.9.51.dyn.plus.net) (Changing host) |
| 2025-06-27 19:50:17 +0200 | laurapigeon | (~laurapige@user/laurapigeon) laurapigeon |
| 2025-06-27 19:52:04 +0200 | degraafk | (sid71464@id-71464.lymington.irccloud.com) (Ping timeout: 245 seconds) |
| 2025-06-27 19:54:00 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 19:54:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 19:54:52 +0200 | degraafk | (sid71464@id-71464.lymington.irccloud.com) degraafk |
| 2025-06-27 19:56:54 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 244 seconds) |
| 2025-06-27 19:57:10 +0200 | laurapigeon | (~laurapige@user/laurapigeon) (Quit: WeeChat 4.6.3) |
| 2025-06-27 19:57:32 +0200 | prdak | (~Thunderbi@user/prdak) (Quit: prdak) |
| 2025-06-27 19:58:01 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-27 19:58:27 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-06-27 20:00:59 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-06-27 20:01:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 20:01:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-27 20:01:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-27 20:03:29 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 260 seconds) |
| 2025-06-27 20:05:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-06-27 20:11:22 +0200 | sprotte24 | (~sprotte24@p200300d16f178100f419d154f2c8d439.dip0.t-ipconnect.de) |
| 2025-06-27 20:14:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 20:16:09 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 20:16:16 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-06-27 20:16:26 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-06-27 20:18:33 +0200 | FANTOM | (~fantom@33be818f.skybroadband.com) |
| 2025-06-27 20:20:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-06-27 20:20:34 +0200 | sprotte24 | (~sprotte24@p200300d16f178100f419d154f2c8d439.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2025-06-27 20:22:26 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 20:27:45 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 20:28:35 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 20:29:34 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 2025-06-27 20:30:20 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-06-27 20:30:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 20:30:56 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2025-06-27 20:32:23 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-27 20:32:47 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 20:35:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-27 20:36:37 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 248 seconds) |
| 2025-06-27 20:38:41 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-06-27 20:39:01 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 20:42:04 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
| 2025-06-27 20:42:11 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 20:46:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 20:49:45 +0200 | gp88 | (~gp@net-188-217-43-7.cust.vodafonedsl.it) (Ping timeout: 260 seconds) |
| 2025-06-27 20:50:57 +0200 | inline | (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2025-06-27 20:53:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-27 21:00:02 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
| 2025-06-27 21:00:42 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-06-27 21:01:14 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-06-27 21:04:49 +0200 | mreh | (~matthew@host86-146-25-68.range86-146.btcentralplus.com) mreh |
| 2025-06-27 21:05:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 21:07:04 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 21:07:05 +0200 | <mreh> | What on earth is this hie.yaml about? https://paste.tomsmeding.com/QtZe547e |
| 2025-06-27 21:07:41 +0200 | gp88 | (~gp@net-188-217-43-7.cust.vodafonedsl.it) |
| 2025-06-27 21:08:03 +0200 | <mreh> | (From implicit-hie). Whenever I get a compilation error, HLS just says no thank you, can't resolve -package gameboy-0.1.0.0 |
| 2025-06-27 21:08:42 +0200 | vn36 | (~vn36@223.239.35.204) (Read error: Connection reset by peer) |
| 2025-06-27 21:10:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-06-27 21:13:11 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 21:13:24 +0200 | __monty__ | (~toonn@user/toonn) (Quit: Lost terminal) |
| 2025-06-27 21:14:04 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 21:15:49 +0200 | gp88 | (~gp@net-188-217-43-7.cust.vodafonedsl.it) (Ping timeout: 260 seconds) |
| 2025-06-27 21:16:05 +0200 | inline | (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) Inline |
| 2025-06-27 21:16:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 21:19:48 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 21:21:03 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 21:21:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-06-27 21:22:29 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 245 seconds) |
| 2025-06-27 21:22:49 +0200 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
| 2025-06-27 21:24:06 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 21:24:44 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-06-27 21:31:38 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 21:33:33 +0200 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-06-27 21:35:39 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 2025-06-27 21:36:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-06-27 21:38:17 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-06-27 21:40:05 +0200 | fp | (~Thunderbi@hof1.kyla.fi) (Ping timeout: 248 seconds) |
| 2025-06-27 21:40:19 +0200 | mreh | (~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2025-06-27 21:44:18 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2025-06-27 21:46:02 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-27 21:46:03 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 21:46:17 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
| 2025-06-27 21:47:13 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2025-06-27 21:47:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-06-27 21:48:17 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 244 seconds) |
| 2025-06-27 21:52:25 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-06-27 21:53:07 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 21:53:31 +0200 | dudek | (~dudek@2a02:a312:c9df:bf80:cd77:f839:cf8b:ca6f) |
| 2025-06-27 21:53:36 +0200 | dudek1337 | (~dudek@2a02:a312:c9df:bf80:cd77:f839:cf8b:ca6f) |
| 2025-06-27 21:54:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 21:55:36 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-06-27 21:57:27 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-06-27 21:57:59 +0200 | inline | (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Quit: Leaving) |