| 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) |