Logs on 2025-07-01 (liberachat/#haskell)
| 00:02:57 | × | jespada quits (~jespada@179.26.248.242) (Ping timeout: 248 seconds) |
| 00:04:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 00:11:46 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 00:14:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:15:46 | → | j1n37 joins (~j1n37@user/j1n37) |
| 00:16:25 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 00:19:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 00:21:07 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 00:24:20 | → | j1n37 joins (~j1n37@user/j1n37) |
| 00:29:11 | → | notzmv joins (~umar@user/notzmv) |
| 00:29:50 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 00:30:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:31:16 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 00:33:55 | × | tekmelt quits (~meltek___@user/Discordian93) (Remote host closed the connection) |
| 00:34:32 | → | j1n37 joins (~j1n37@user/j1n37) |
| 00:34:53 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 00:35:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:35:27 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 00:36:41 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 00:37:15 | → | j1n37 joins (~j1n37@user/j1n37) |
| 00:40:28 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 00:40:29 | ljdarj1 | is now known as ljdarj |
| 00:44:20 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 00:44:23 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 00:46:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:47:19 | × | xff0x quits (~xff0x@2405:6580:b080:900:eeca:2e63:9b20:a17f) (Ping timeout: 260 seconds) |
| 00:48:43 | → | j1n37 joins (~j1n37@user/j1n37) |
| 00:52:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 01:00:14 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 01:03:22 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 01:03:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:05:25 | × | qaotsap quits (~paotsaq@161.230.89.225) (Ping timeout: 248 seconds) |
| 01:07:21 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 01:08:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 01:08:49 | → | j1n37 joins (~j1n37@user/j1n37) |
| 01:08:57 | × | juri__ quits (~juri@implicitcad.org) (Ping timeout: 252 seconds) |
| 01:14:54 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 01:15:18 | → | j1n37 joins (~j1n37@user/j1n37) |
| 01:19:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:20:23 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 01:20:39 | → | juri_ joins (~juri@implicitcad.org) |
| 01:20:43 | → | j1n37- joins (~j1n37@user/j1n37) |
| 01:20:44 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 01:24:27 | × | Spawns_Carpeting quits (~mobile@user/spawns-carpeting/x-6969421) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 01:24:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 01:25:26 | × | j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 01:26:49 | → | j1n37 joins (~j1n37@user/j1n37) |
| 01:28:34 | → | Spawns_Carpeting joins (~mobile@user/spawns-carpeting/x-6969421) |
| 01:35:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:40:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 01:41:27 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:42:31 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 01:47:25 | → | j1n37 joins (~j1n37@user/j1n37) |
| 01:47:30 | × | Square quits (~Square@user/square) (Ping timeout: 276 seconds) |
| 01:48:31 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 01:48:44 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 01:50:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:53:01 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 01:57:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 01:58:25 | → | j1n37 joins (~j1n37@user/j1n37) |
| 02:08:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:11:32 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 02:13:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 02:14:45 | → | j1n37 joins (~j1n37@user/j1n37) |
| 02:15:51 | → | robobub joins (uid248673@id-248673.uxbridge.irccloud.com) |
| 02:20:48 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 02:23:53 | → | j1n37 joins (~j1n37@user/j1n37) |
| 02:24:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:25:40 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 02:28:08 | → | j1n37 joins (~j1n37@user/j1n37) |
| 02:29:56 | × | DragonMaus quits (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 02:29:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 02:30:45 | → | DragonMaus joins (~dragonmau@user/dragonmaus) |
| 02:31:46 | → | Square3 joins (~Square4@user/square) |
| 02:32:00 | × | td_ quits (~td@i53870930.versanet.de) (Ping timeout: 252 seconds) |
| 02:34:03 | → | td_ joins (~td@i5387092C.versanet.de) |
| 02:38:03 | → | ensyde joins (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) |
| 02:39:39 | → | mange joins (~mange@user/mange) |
| 02:40:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:45:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 02:46:41 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 02:52:07 | → | j1n37 joins (~j1n37@user/j1n37) |
| 02:56:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:01:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 03:04:55 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 03:05:15 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 03:09:15 | → | aforemny_ joins (~aforemny@i577B13AF.versanet.de) |
| 03:10:09 | × | aforemny quits (~aforemny@2001:9e8:6cf9:b500:8f3f:3813:bdc7:284b) (Ping timeout: 265 seconds) |
| 03:11:46 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 248 seconds) |
| 03:13:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:13:10 | → | jmorris joins (uid604645@id-604645.hampstead.irccloud.com) |
| 03:13:58 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 03:14:32 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 03:17:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 03:19:39 | → | j1n37 joins (~j1n37@user/j1n37) |
| 03:28:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:30:32 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 03:30:44 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 03:35:29 | × | jrm quits (~jrm@user/jrm) (Quit: ciao) |
| 03:35:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 03:37:01 | → | jrm joins (~jrm@user/jrm) |
| 03:39:54 | → | Pixi` joins (~Pixi@user/pixi) |
| 03:41:09 | × | Pixi quits (~Pixi@user/pixi) (Ping timeout: 260 seconds) |
| 03:46:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:47:21 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 03:49:31 | × | jrm quits (~jrm@user/jrm) (Quit: ciao) |
| 03:50:29 | × | j1n37 quits (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen) |
| 03:50:45 | → | jrm joins (~jrm@user/jrm) |
| 03:51:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:54:17 | → | j1n37 joins (~j1n37@user/j1n37) |
| 03:57:10 | × | hsw quits (~hsw@106.104.103.23) (Remote host closed the connection) |
| 03:57:29 | → | hsw joins (~hsw@106.104.103.23) |
| 04:01:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:05:38 | trickard_ | is now known as trickard |
| 04:06:02 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 04:06:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 04:10:45 | → | j1n37 joins (~j1n37@user/j1n37) |
| 04:13:46 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 04:17:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:21:58 | × | robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 04:22:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 04:33:26 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:36:11 | × | mulk quits (~mulk@p5b2dcd60.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 04:37:43 | → | mulk joins (~mulk@pd9514f7d.dip0.t-ipconnect.de) |
| 04:38:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 04:49:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:53:42 | → | paotsaq joins (~paotsaq@161.230.89.225) |
| 04:54:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 04:55:06 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 04:55:35 | → | j1n37 joins (~j1n37@user/j1n37) |
| 05:00:03 | × | d34db33f quits (~d34db33f@user/d34db33f) (Remote host closed the connection) |
| 05:03:21 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 05:03:34 | → | trickard joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 05:04:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:10:00 | → | arahael joins (~arahael@user/arahael) |
| 05:11:42 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 05:11:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:12:02 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:15:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:20:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 05:22:55 | × | jmorris quits (uid604645@id-604645.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 05:23:46 | → | notzmv joins (~umar@user/notzmv) |
| 05:23:49 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 05:26:25 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 05:28:18 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 05:30:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:36:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 05:36:59 | → | caubert joins (~caubert@user/caubert) |
| 05:37:42 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 05:41:11 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 05:42:53 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 245 seconds) |
| 05:43:39 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 05:46:18 | → | EvanR_ joins (~EvanR@user/evanr) |
| 05:46:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:47:44 | × | EvanR quits (~EvanR@user/evanr) (Ping timeout: 260 seconds) |
| 05:51:10 | → | j1n37 joins (~j1n37@user/j1n37) |
| 05:51:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:57:34 | Pixi` | is now known as Pixi |
| 05:58:18 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 05:59:13 | → | j1n37- joins (~j1n37@user/j1n37) |
| 05:59:14 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 06:02:19 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:02:40 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 06:03:05 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:03:35 | → | caubert joins (~caubert@user/caubert) |
| 06:07:06 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 06:07:20 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 06:07:30 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 06:08:09 | → | j1n37 joins (~j1n37@user/j1n37) |
| 06:08:47 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 06:08:54 | × | j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 06:09:57 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 06:10:06 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 06:13:07 | × | j0lol quits (~j0lol@132.145.17.236) (Remote host closed the connection) |
| 06:13:21 | → | j0lol joins (~j0lol@132.145.17.236) |
| 06:15:26 | → | j1n37 joins (~j1n37@user/j1n37) |
| 06:18:56 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 06:22:42 | → | j1n37 joins (~j1n37@user/j1n37) |
| 06:24:26 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 06:24:54 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 272 seconds) |
| 06:29:45 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 06:32:26 | → | j1n37 joins (~j1n37@user/j1n37) |
| 06:33:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:34:34 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 06:34:49 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 06:35:24 | → | caubert joins (~caubert@user/caubert) |
| 06:38:53 | → | j1n37 joins (~j1n37@user/j1n37) |
| 06:38:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 06:40:00 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 06:40:46 | → | FANTOM joins (~fantom@33be818f.skybroadband.com) |
| 06:41:11 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 06:41:37 | → | notzmv joins (~umar@user/notzmv) |
| 06:45:37 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 06:46:13 | × | rat-with-hat quits (~rat-with-@24-113-114-97.wavecable.com) (Ping timeout: 248 seconds) |
| 06:46:21 | trickard_ | is now known as trickard |
| 06:48:19 | × | ft quits (~ft@p3e9bc301.dip0.t-ipconnect.de) (Quit: leaving) |
| 06:49:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:49:46 | → | weary-traveler joins (~user@user/user363627) |
| 06:52:03 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 06:52:15 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 06:52:28 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 06:52:59 | → | j1n37 joins (~j1n37@user/j1n37) |
| 06:53:57 | → | tromp joins (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) |
| 06:56:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:57:25 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:58:05 | → | j1n37- joins (~j1n37@user/j1n37) |
| 06:58:17 | → | user363627 joins (~user@user/user363627) |
| 06:58:28 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 07:00:01 | × | caconym7 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:37 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 248 seconds) |
| 07:00:42 | → | caconym7 joins (~caconym@user/caconym) |
| 07:00:42 | × | j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 07:01:30 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 07:01:42 | × | kimjetwav quits (~user@2607:fea8:25a3:a100:3f56:f20e:3bdf:e588) (Remote host closed the connection) |
| 07:03:57 | → | j1n37 joins (~j1n37@user/j1n37) |
| 07:06:25 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 248 seconds) |
| 07:08:54 | → | acidjnk joins (~acidjnk@p200300d6e70b662785cddffe6d75733d.dip0.t-ipconnect.de) |
| 07:11:12 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 07:12:24 | × | dolio quits (~dolio@130.44.140.168) (Ping timeout: 272 seconds) |
| 07:12:43 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 244 seconds) |
| 07:13:22 | → | j1n37 joins (~j1n37@user/j1n37) |
| 07:14:00 | → | notzmv joins (~umar@user/notzmv) |
| 07:14:19 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 07:15:11 | → | j1n37 joins (~j1n37@user/j1n37) |
| 07:19:00 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 07:19:09 | → | caubert joins (~caubert@user/caubert) |
| 07:22:22 | × | puke quits (~puke@user/puke) (Quit: puke) |
| 07:22:45 | → | puke joins (~puke@user/puke) |
| 07:22:59 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 07:28:54 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 07:32:21 | → | j1n37 joins (~j1n37@user/j1n37) |
| 07:33:19 | × | caubert quits (~caubert@user/caubert) (Ping timeout: 260 seconds) |
| 07:34:35 | → | puke joins (~puke@user/puke) |
| 07:34:46 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 07:36:28 | → | chele joins (~chele@user/chele) |
| 07:37:29 | → | puke joins (~puke@user/puke) |
| 07:37:30 | → | caubert joins (~caubert@user/caubert) |
| 07:38:11 | × | user363627 quits (~user@user/user363627) (Remote host closed the connection) |
| 07:41:56 | × | caubert quits (~caubert@user/caubert) (Client Quit) |
| 07:52:50 | trickard_ | is now known as trickard |
| 07:55:47 | → | merijn joins (~merijn@77.242.116.146) |
| 07:57:28 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 07:58:13 | → | dolio joins (~dolio@130.44.140.168) |
| 08:00:49 | → | j1n37- joins (~j1n37@user/j1n37) |
| 08:01:10 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 08:01:30 | → | machinedgod joins (~machinedg@d162-157-250-39.abhsia.telus.net) |
| 08:02:30 | × | notzmv quits (~umar@user/notzmv) (Read error: Connection reset by peer) |
| 08:04:01 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 08:06:14 | × | dolio quits (~dolio@130.44.140.168) (Ping timeout: 272 seconds) |
| 08:06:24 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 08:06:34 | × | machinedgod quits (~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 08:12:02 | → | machinedgod joins (~machinedg@d162-157-250-39.abhsia.telus.net) |
| 08:12:25 | → | dolio joins (~dolio@130.44.140.168) |
| 08:14:15 | → | Digitteknohippie joins (~user@user/digit) |
| 08:15:33 | × | Digit quits (~user@user/digit) (Ping timeout: 276 seconds) |
| 08:16:51 | × | machinedgod quits (~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 08:17:06 | → | machinedgod joins (~machinedg@d162-157-250-39.abhsia.telus.net) |
| 08:22:47 | → | j1n37 joins (~j1n37@user/j1n37) |
| 08:31:17 | Digitteknohippie | is now known as Digit |
| 08:44:10 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 08:50:33 | × | inline quits (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Remote host closed the connection) |
| 08:50:51 | → | j1n37 joins (~j1n37@user/j1n37) |
| 08:50:56 | → | inline joins (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) |
| 08:52:36 | × | machinedgod quits (~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 276 seconds) |
| 08:54:17 | × | arahael quits (~arahael@user/arahael) (Ping timeout: 265 seconds) |
| 08:59:26 | × | tromp quits (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:02:00 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 09:04:30 | → | machinedgod joins (~machinedg@d162-157-250-39.abhsia.telus.net) |
| 09:05:22 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 09:10:00 | × | machinedgod quits (~machinedg@d162-157-250-39.abhsia.telus.net) (Read error: Connection reset by peer) |
| 09:13:39 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 09:18:49 | → | machinedgod joins (~machinedg@d162-157-250-39.abhsia.telus.net) |
| 09:18:53 | → | merijn joins (~merijn@77.242.116.146) |
| 09:25:57 | × | Digit quits (~user@user/digit) (Read error: Connection reset by peer) |
| 09:27:18 | → | Digit joins (~user@user/digit) |
| 09:31:19 | × | acidjnk quits (~acidjnk@p200300d6e70b662785cddffe6d75733d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 09:34:06 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 09:39:25 | → | j1n37 joins (~j1n37@user/j1n37) |
| 09:42:41 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 09:42:55 | → | fp joins (~Thunderbi@2001:708:20:1406::10c5) |
| 09:45:46 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:45:59 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 09:45:59 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 09:46:42 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 09:48:45 | → | tromp joins (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) |
| 09:49:27 | → | j1n37 joins (~j1n37@user/j1n37) |
| 09:49:47 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 09:51:31 | → | merijn joins (~merijn@77.242.116.146) |
| 09:53:51 | → | dhil joins (~dhil@5.151.29.141) |
| 09:55:25 | × | inline quits (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Remote host closed the connection) |
| 09:55:51 | → | inline joins (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) |
| 10:00:43 | × | visilii quits (~visilii@188.254.126.241) (Ping timeout: 268 seconds) |
| 10:05:34 | × | tabaqui quits (~tabaqui@167.71.80.236) (Quit: WeeChat 4.6.3) |
| 10:06:28 | → | visilii joins (~visilii@188.254.126.241) |
| 10:10:19 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 10:11:08 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 265 seconds) |
| 10:12:34 | → | tabaqui joins (~tabaqui@167.71.80.236) |
| 10:14:01 | × | puke quits (~puke@user/puke) (Quit: puke) |
| 10:15:44 | → | puke joins (~puke@user/puke) |
| 10:16:00 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 10:16:19 | → | puke joins (~puke@user/puke) |
| 10:16:37 | → | acidjnk joins (~acidjnk@p200300d6e70b6627a8324a10ff3c377c.dip0.t-ipconnect.de) |
| 10:19:45 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 10:21:26 | → | j1n37 joins (~j1n37@user/j1n37) |
| 10:21:41 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 10:26:26 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 10:29:25 | → | j1n37 joins (~j1n37@user/j1n37) |
| 10:30:16 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 10:32:09 | → | merijn joins (~merijn@77.242.116.146) |
| 10:33:39 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 10:34:25 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 10:34:56 | → | j1n37 joins (~j1n37@user/j1n37) |
| 10:35:02 | Lord_of_Life_ | is now known as Lord_of_Life |
| 10:35:06 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 10:39:01 | → | j1n37 joins (~j1n37@user/j1n37) |
| 10:39:24 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 10:40:49 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 10:41:08 | → | merijn joins (~merijn@77.242.116.146) |
| 10:45:21 | trickard_ | is now known as trickard |
| 10:47:49 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 10:49:41 | → | j1n37 joins (~j1n37@user/j1n37) |
| 10:51:44 | → | merijn joins (~merijn@77.242.116.146) |
| 10:58:53 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 11:00:05 | × | caconym7 quits (~caconym@user/caconym) (Quit: bye) |
| 11:00:42 | → | j1n37 joins (~j1n37@user/j1n37) |
| 11:01:20 | → | jespada joins (~jespada@r179-25-242-149.dialup.adsl.anteldata.net.uy) |
| 11:02:22 | → | caconym7 joins (~caconym@user/caconym) |
| 11:11:42 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 11:13:29 | → | xff0x joins (~xff0x@2405:6580:b080:900:4cc8:3950:ac73:12bf) |
| 11:13:49 | × | machinedgod quits (~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 11:14:08 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 11:17:19 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 11:17:19 | ljdarj1 | is now known as ljdarj |
| 11:17:31 | → | j1n37 joins (~j1n37@user/j1n37) |
| 11:27:08 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 11:29:04 | → | machinedgod joins (~machinedg@d162-157-250-39.abhsia.telus.net) |
| 11:33:14 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 11:33:22 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 11:34:38 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 11:37:40 | → | j1n37 joins (~j1n37@user/j1n37) |
| 11:40:08 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 11:40:28 | → | j1n37 joins (~j1n37@user/j1n37) |
| 11:41:34 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 272 seconds) |
| 11:44:59 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 11:45:28 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 11:45:31 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 11:45:43 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 11:46:14 | → | j1n37 joins (~j1n37@user/j1n37) |
| 11:49:35 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 11:52:45 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 11:55:05 | → | j1n37- joins (~j1n37@user/j1n37) |
| 11:55:28 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 11:55:51 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 11:57:44 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:04:33 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
| 12:11:40 | × | j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 12:13:06 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:14:35 | → | j1n37 joins (~j1n37@user/j1n37) |
| 12:20:02 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 12:23:35 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 12:26:36 | → | j1n37 joins (~j1n37@user/j1n37) |
| 12:30:07 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 12:30:58 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 12:32:30 | × | machinedgod quits (~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 12:32:46 | → | machinedgod joins (~machinedg@d172-219-249-147.abhsia.telus.net) |
| 12:33:51 | × | machinedgod quits (~machinedg@d172-219-249-147.abhsia.telus.net) (Read error: Connection reset by peer) |
| 12:34:05 | × | nshepperd2 quits (~nshepperd@2a01:4f9:3b:4cc9::2) (Quit: The Lounge - https://thelounge.chat) |
| 12:34:59 | × | jespada quits (~jespada@r179-25-242-149.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 12:37:30 | trickard_ | is now known as trickard |
| 12:37:46 | → | machinedgod joins (~machinedg@d172-219-249-147.abhsia.telus.net) |
| 12:37:53 | × | machinedgod quits (~machinedg@d172-219-249-147.abhsia.telus.net) (Read error: Connection reset by peer) |
| 12:40:45 | → | nshepperd2 joins (~nshepperd@2a01:4f9:3b:4cc9::2) |
| 12:41:33 | → | jespada joins (~jespada@r179-25-242-149.dialup.adsl.anteldata.net.uy) |
| 12:41:44 | × | mange quits (~mange@user/mange) (Quit: Zzz...) |
| 12:42:19 | → | AlexNoo_ joins (~AlexNoo@178.34.151.27) |
| 12:42:26 | × | jespada quits (~jespada@r179-25-242-149.dialup.adsl.anteldata.net.uy) (Client Quit) |
| 12:42:37 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 12:42:37 | × | Xe quits (~Xe@perl/impostor/xe) (Ping timeout: 276 seconds) |
| 12:43:09 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 12:43:14 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 12:44:08 | → | jespada joins (~jespada@r179-25-242-149.dialup.adsl.anteldata.net.uy) |
| 12:45:48 | × | AlexNoo quits (~AlexNoo@5.139.232.110) (Ping timeout: 245 seconds) |
| 12:45:57 | × | AlexZenon quits (~alzenon@5.139.232.110) (Ping timeout: 276 seconds) |
| 12:49:51 | → | AlexZenon joins (~alzenon@178.34.151.27) |
| 12:54:33 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 12:55:05 | AlexNoo_ | is now known as AlexNoo |
| 12:56:00 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 12:57:59 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 12:58:00 | → | machinedgod joins (~machinedg@d162-157-250-39.abhsia.telus.net) |
| 12:58:45 | → | Xe joins (~Xe@perl/impostor/xe) |
| 13:00:15 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 276 seconds) |
| 13:06:37 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 13:10:39 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 13:12:08 | → | j1n37 joins (~j1n37@user/j1n37) |
| 13:14:33 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 13:15:12 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 13:16:36 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 13:16:54 | × | perro quits (~aaron@syn-072-191-245-069.res.spectrum.com) (Ping timeout: 260 seconds) |
| 13:17:34 | → | merijn joins (~merijn@77.242.116.146) |
| 13:18:52 | → | perro joins (~aaron@syn-072-191-245-069.res.spectrum.com) |
| 13:20:59 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 13:21:16 | → | j1n37 joins (~j1n37@user/j1n37) |
| 13:27:13 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 13:28:34 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 13:33:09 | × | wbooze quits (~user@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 13:33:21 | × | inline quits (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 13:34:59 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 13:35:48 | → | merijn joins (~merijn@77.242.116.146) |
| 13:35:54 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 13:36:48 | → | phma_ joins (phma@2001:5b0:210d:81d8:1374:2a87:a1eb:a30a) |
| 13:37:52 | <haskellbridge> | <magic_rb> grr, im trying to build a bg3 like and i suppose xcom like combat system and i need _some_ datastructure at the center of it all |
| 13:38:44 | <haskellbridge> | <magic_rb> the jist is that i need a DS which is of the type "f (Int, Entity)" where the "Int" is the order in the DS |
| 13:38:52 | × | doyougnu quits (~doyougnu@syn-045-046-168-241.res.spectrum.com) (Ping timeout: 252 seconds) |
| 13:38:59 | <haskellbridge> | <magic_rb> (achievable with a newtype implementing "Ord" as "fst" ofc) |
| 13:39:31 | <haskellbridge> | <magic_rb> so semantically i need "[10, 8, 4, 4, 4, 1, 1, 0, 0]" and i need to be able to iterate through it |
| 13:39:36 | × | manwithluck quits (~manwithlu@194.177.28.145) (Ping timeout: 252 seconds) |
| 13:40:00 | <haskellbridge> | <magic_rb> so say that the entity with initiative 8 takes its turn, then i need to bump a index to "2" so that the first "4" takes its turn and so on |
| 13:40:12 | → | doyougnu joins (~doyougnu@syn-045-046-168-241.res.spectrum.com) |
| 13:40:20 | × | phma quits (~phma@host-67-44-208-23.hnremote.net) (Ping timeout: 252 seconds) |
| 13:40:33 | <haskellbridge> | <magic_rb> when a new entity joins the encounter, i need to insert it into this structure without disturbing the index, it needs to point to the same element even though the absolute index may change |
| 13:40:36 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 13:40:39 | → | manwithluck joins (~manwithlu@194.177.28.145) |
| 13:40:42 | × | jespada quits (~jespada@r179-25-242-149.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
| 13:41:02 | <haskellbridge> | <magic_rb> insertion/deletion of entries is quite rare so insertion sort is probably okay |
| 13:41:46 | <haskellbridge> | <magic_rb> i also need it to support a "difference" operation |
| 13:42:27 | → | jespada joins (~jespada@r190-135-224-140.dialup.adsl.anteldata.net.uy) |
| 13:51:54 | × | perro quits (~aaron@syn-072-191-245-069.res.spectrum.com) (Ping timeout: 260 seconds) |
| 13:53:27 | → | perro joins (~aaron@syn-072-191-245-069.res.spectrum.com) |
| 13:56:36 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 14:00:40 | → | inline joins (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) |
| 14:00:51 | → | j1n37 joins (~j1n37@user/j1n37) |
| 14:01:59 | <Leary> | magic_rb: Sounds like a priority queue? |
| 14:02:01 | → | isekaijin joins (~user@user/isekaijin) |
| 14:02:11 | <haskellbridge> | <magic_rb> can i index into those |
| 14:02:43 | <haskellbridge> | <magic_rb> https://hackage.haskell.org/package/PSQueue-1.2.1/docs/Data-PSQueue.html#v:lookup not what i need |
| 14:02:49 | <haskellbridge> | <magic_rb> index by key, i need index by index |
| 14:04:27 | → | wbooze joins (~inline@ip-005-146-196-116.um05.pools.vodafone-ip.de) |
| 14:05:37 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 14:07:49 | × | machinedgod quits (~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 14:08:04 | → | machinedgod joins (~machinedg@d172-219-249-147.abhsia.telus.net) |
| 14:08:51 | × | machinedgod quits (~machinedg@d172-219-249-147.abhsia.telus.net) (Read error: Connection reset by peer) |
| 14:09:48 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 14:10:46 | → | j1n37 joins (~j1n37@user/j1n37) |
| 14:12:40 | isekaijin | is now known as latticepolytope |
| 14:18:07 | → | machinedgod joins (~machinedg@d162-157-250-39.abhsia.telus.net) |
| 14:18:10 | × | ensyde quits (~ensyde@c-73-147-64-74.hsd1.va.comcast.net) (Ping timeout: 276 seconds) |
| 14:21:47 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 14:24:39 | → | j1n37 joins (~j1n37@user/j1n37) |
| 14:25:21 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 14:27:13 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 14:31:20 | → | j1n37 joins (~j1n37@user/j1n37) |
| 14:32:28 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 276 seconds) |
| 14:33:03 | × | tromp quits (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:33:44 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 14:34:07 | trickard_ | is now known as trickard |
| 14:35:48 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 252 seconds) |
| 14:37:28 | × | fp quits (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 245 seconds) |
| 14:39:13 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 14:42:57 | × | machinedgod quits (~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 14:46:18 | → | merijn joins (~merijn@77.242.116.146) |
| 14:46:21 | → | tromp joins (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) |
| 14:53:34 | → | Digitteknohippie joins (~user@user/digit) |
| 14:54:13 | × | Digit quits (~user@user/digit) (Ping timeout: 248 seconds) |
| 14:59:10 | × | Digitteknohippie quits (~user@user/digit) (Ping timeout: 252 seconds) |
| 15:02:10 | → | machinedgod joins (~machinedg@d162-157-250-39.abhsia.telus.net) |
| 15:04:27 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 15:04:45 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 15:05:44 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 15:09:05 | × | machinedgod quits (~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 15:09:21 | → | machinedgod joins (~machinedg@d172-219-249-147.abhsia.telus.net) |
| 15:10:07 | × | machinedgod quits (~machinedg@d172-219-249-147.abhsia.telus.net) (Read error: Connection reset by peer) |
| 15:10:10 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
| 15:14:20 | → | machinedgod joins (~machinedg@d172-219-249-147.abhsia.telus.net) |
| 15:14:36 | × | machinedgod quits (~machinedg@d172-219-249-147.abhsia.telus.net) (Read error: Connection reset by peer) |
| 15:15:55 | <tomsmeding> | magic_rb: do you _really_ need index by index? |
| 15:16:22 | <geekosaur> | that does not sound like a pq/psq to me? |
| 15:16:57 | <tomsmeding> | the bg3/xcom doesn't tell me anything, but the rest of your explanation makes no sense to me :) |
| 15:17:03 | <tomsmeding> | is "10" the entity? |
| 15:17:06 | <tomsmeding> | what 2? |
| 15:17:56 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 15:18:14 | <tomsmeding> | magic_rb: perhaps the answer to this question would be helpful: in what ways does a simple list not cut it? |
| 15:19:10 | <tomsmeding> | oh |
| 15:19:53 | <tomsmeding> | is this simply wanting round-robin iteration through a list of values, with the ability to insert and delete entires into the list while doing so? |
| 15:20:34 | <tomsmeding> | ah and the values have some ordering, and the list needs to be kept sorted on that ordering |
| 15:21:25 | → | ft joins (~ft@p3e9bc301.dip0.t-ipconnect.de) |
| 15:21:41 | <tomsmeding> | perhaps: (the list of entities, the tail of the list from the current turn index) is enough |
| 15:22:07 | <tomsmeding> | iteration is just repeatedly unconsing from the second list; if it's empty, copy the first list to the second list and uncons from that |
| 15:22:11 | → | j1n37 joins (~j1n37@user/j1n37) |
| 15:22:25 | <geekosaur> | are we sure this isn't just a (possibly multi-)zipper? |
| 15:22:37 | <tomsmeding> | to insert, linearly insert it in the first list, and if in doing so you determine that you end up at an index greater than the turn index, you do the same in the second list |
| 15:22:54 | <tomsmeding> | (I guess that means that you need a third data element: the turn index, i.e. length-of-first-list minus length-of-second-list) |
| 15:23:14 | <tomsmeding> | geekosaur: you restart from the beginning again after finishing iterating at the end |
| 15:23:25 | <tomsmeding> | you don't go by a distance-1 step every time, so a zipper is not so natural |
| 15:24:22 | → | machinedgod joins (~machinedg@d162-157-250-39.abhsia.telus.net) |
| 15:25:46 | × | califax quits (~califax@user/califx) (Ping timeout: 244 seconds) |
| 15:26:04 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 15:26:48 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 244 seconds) |
| 15:27:19 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 244 seconds) |
| 15:29:33 | <tomsmeding> | magic_rb: something like this https://play.haskell.org/saved/E0Ilsf4F (completely untested, beware) |
| 15:29:39 | <tomsmeding> | just posting this to disambiguate what I mean |
| 15:30:27 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 15:30:45 | → | j1n37 joins (~j1n37@user/j1n37) |
| 15:32:53 | × | acidjnk quits (~acidjnk@p200300d6e70b6627a8324a10ff3c377c.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 15:36:26 | phma_ | is now known as phma |
| 15:39:38 | → | gmg joins (~user@user/gehmehgeh) |
| 15:40:47 | → | califax joins (~califax@user/califx) |
| 15:43:38 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 15:43:52 | <haskellbridge> | <magic_rb> tomsmeding kinda what i implemented but using vectors instead. I also figured out that i need to have the ability to have multiple things take a turn at the same time to march bg3 so not sure how that would fit into your design |
| 15:44:02 | <haskellbridge> | <magic_rb> Id need a 3rd list essentially |
| 15:44:20 | <haskellbridge> | <magic_rb> Or make both lists a List (List a) |
| 15:45:11 | → | thenightmail joins (~thelounge@user/thenightmail) |
| 15:45:31 | <haskellbridge> | <magic_rb> https://github.com/well-typed/hs-bindgen on a related (for me) note, has anyone used hs-bindgen for anything already? Im trying to find a bindings generator that actually has a good cross story. https://github.com/haskell/hsc2hs is so slow its practixally impossible to cross compile my game |
| 15:46:12 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 15:46:26 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 15:46:46 | <haskellbridge> | <magic_rb> And https://github.com/haskell/c2hs looks very unmaintained |
| 15:48:10 | → | rekahsoft joins (~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) |
| 15:49:17 | trickard_ | is now known as trickard |
| 15:50:41 | EvanR_ | is now known as EvanR |
| 15:50:47 | <EvanR> | simultaneous turns, old school |
| 15:52:09 | → | Square joins (~Square@user/square) |
| 15:55:47 | → | gorignak joins (~gorignak@user/gorignak) |
| 15:56:18 | → | comerijn joins (~merijn@77.242.116.146) |
| 15:56:39 | × | Square3 quits (~Square4@user/square) (Ping timeout: 252 seconds) |
| 15:57:26 | × | latticepolytope quits (~user@user/isekaijin) (Ping timeout: 272 seconds) |
| 15:59:08 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 15:59:50 | × | m_a_r_k quits (~m_a_r_k@user/m-a-r-k:45929) (Remote host closed the connection) |
| 16:00:34 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 16:00:37 | → | m_a_r_k joins (~m_a_r_k@user/m-a-r-k:45929) |
| 16:00:46 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 16:04:14 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 16:05:54 | × | machinedgod quits (~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 16:06:03 | × | trickard quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 16:06:17 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 16:07:46 | → | latticepolytope joins (~user@user/isekaijin) |
| 16:08:18 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 16:12:02 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 16:14:25 | × | tromp quits (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:16:34 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 16:18:52 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 16:20:50 | → | j1n37 joins (~j1n37@user/j1n37) |
| 16:21:38 | × | tabaqui quits (~tabaqui@167.71.80.236) (Ping timeout: 245 seconds) |
| 16:25:03 | × | patri quits (~patri@user/patri) (Quit: Konversation terminated!) |
| 16:25:24 | → | patri joins (~patri@user/patri) |
| 16:28:05 | → | zzz joins (~z@user/zero) |
| 16:29:00 | × | yin quits (~z@user/zero) (Ping timeout: 252 seconds) |
| 16:31:17 | × | dolio quits (~dolio@130.44.140.168) (Read error: Connection reset by peer) |
| 16:32:18 | × | zzz quits (~z@user/zero) (Ping timeout: 252 seconds) |
| 16:32:45 | → | dolio joins (~dolio@130.44.140.168) |
| 16:35:01 | → | j1n37- joins (~j1n37@user/j1n37) |
| 16:36:00 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 268 seconds) |
| 16:36:19 | × | haskellbridge quits (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
| 16:38:02 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 16:38:17 | → | gorignak joins (~gorignak@user/gorignak) |
| 16:39:46 | × | ttybitnik quits (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 16:39:57 | → | j1n37 joins (~j1n37@user/j1n37) |
| 16:41:04 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 16:41:36 | → | haskellbridge joins (~hackager@syn-096-028-224-214.res.spectrum.com) |
| 16:41:36 | ChanServ | sets mode +v haskellbridge |
| 16:43:16 | × | jespada quits (~jespada@r190-135-224-140.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 16:43:22 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 16:43:37 | → | gorignak joins (~gorignak@user/gorignak) |
| 16:44:49 | → | jespada joins (~jespada@r190-135-224-140.dialup.adsl.anteldata.net.uy) |
| 16:47:30 | → | j1n37- joins (~j1n37@user/j1n37) |
| 16:47:57 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 265 seconds) |
| 16:48:57 | × | patri quits (~patri@user/patri) (Quit: Konversation terminated!) |
| 16:49:36 | → | tromp joins (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) |
| 16:50:30 | → | patri joins (~patri@user/patri) |
| 16:53:40 | × | patri quits (~patri@user/patri) (Client Quit) |
| 16:53:59 | → | patri joins (~patri@user/patri) |
| 16:54:10 | × | patri quits (~patri@user/patri) (Client Quit) |
| 16:56:44 | → | patri joins (~patri@user/patri) |
| 16:58:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 16:59:13 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 17:00:38 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 17:00:53 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 17:03:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 17:14:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:19:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 17:22:59 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:23:42 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 17:23:57 | → | gorignak joins (~gorignak@user/gorignak) |
| 17:26:13 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 17:27:13 | → | tekmelt joins (~meltek___@user/Discordian93) |
| 17:30:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:34:48 | × | j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 17:36:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 17:41:31 | → | acidjnk joins (~acidjnk@p200300d6e70b6652a8324a10ff3c377c.dip0.t-ipconnect.de) |
| 17:41:47 | × | tromp quits (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:47:21 | × | trickard_ quits (~trickard@cpe-50-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 17:47:35 | → | trickard_ joins (~trickard@cpe-50-98-47-163.wireline.com.au) |
| 17:47:42 | → | rat-with-hat joins (~rat-with-@24-113-114-97.wavecable.com) |
| 17:48:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:51:01 | trickard_ | is now known as trickard |
| 17:53:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 17:56:10 | → | tromp joins (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) |
| 17:57:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:57:12 | → | hseg joins (~gesh@46.120.20.122) |
| 18:01:53 | → | j1n37 joins (~j1n37@user/j1n37) |
| 18:02:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 18:09:09 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 18:09:09 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 18:09:20 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:09:25 | → | gorignak joins (~gorignak@user/gorignak) |
| 18:10:31 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 18:10:45 | <geekosaur> | ick. I can't do anything about haskellbridge, I'm at the laundromat |
| 18:10:50 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 18:11:46 | <geekosaur> | oh it's still here. irccloud said it wasn't |
| 18:12:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:17:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 18:18:10 | → | j1n37 joins (~j1n37@user/j1n37) |
| 18:18:53 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 18:19:29 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 18:19:45 | → | gorignak joins (~gorignak@user/gorignak) |
| 18:19:49 | → | qqe joins (~qqq@185.54.20.5) |
| 18:22:10 | → | j1n37 joins (~j1n37@user/j1n37) |
| 18:27:51 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 18:28:11 | → | j1n37 joins (~j1n37@user/j1n37) |
| 18:28:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:32:25 | → | Digit joins (~user@user/digit) |
| 18:33:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 18:34:02 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 18:34:53 | × | qqe quits (~qqq@185.54.20.5) (Read error: Connection reset by peer) |
| 18:35:58 | → | qqe joins (~qqq@185.54.20.5) |
| 18:37:20 | Digit | is now known as digitteknohippie |
| 18:37:23 | digitteknohippie | is now known as Digit |
| 18:39:32 | → | j1n37 joins (~j1n37@user/j1n37) |
| 18:39:49 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 18:40:04 | → | gorignak joins (~gorignak@user/gorignak) |
| 18:40:35 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 18:43:56 | → | MaybeMonad joins (~MaybeMona@user/MaybeMonad) |
| 18:44:30 | → | j1n37 joins (~j1n37@user/j1n37) |
| 18:44:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:45:47 | → | MaybeMon1 joins (~MaybeMona@user/MaybeMonad) |
| 18:46:16 | × | MaybeMon1 quits (~MaybeMona@user/MaybeMonad) (Client Quit) |
| 18:47:01 | → | MaybeMon2 joins (~MaybeMona@user/MaybeMonad) |
| 18:48:09 | × | MaybeMonad quits (~MaybeMona@user/MaybeMonad) (Ping timeout: 244 seconds) |
| 18:48:52 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 18:49:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 18:50:10 | → | pavonia joins (~user@user/siracusa) |
| 18:51:48 | × | MaybeMon2 quits (~MaybeMona@user/MaybeMonad) (Client Quit) |
| 18:51:49 | → | j1n37 joins (~j1n37@user/j1n37) |
| 18:52:06 | → | MaybeMonad joins (~MaybeMona@user/MaybeMonad) |
| 18:52:35 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 18:54:59 | → | j1n37 joins (~j1n37@user/j1n37) |
| 18:56:20 | → | MaybeMon1 joins (~MaybeMona@user/MaybeMonad) |
| 18:58:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:59:48 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 19:00:00 | × | caconym7 quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:40 | → | caconym7 joins (~caconym@user/caconym) |
| 19:00:51 | → | Frostillicus joins (~Frostilli@2600:380:5979:ce24:a9f7:9f6:1dc7:44c7) |
| 19:02:15 | × | Frostillicus quits (~Frostilli@2600:380:5979:ce24:a9f7:9f6:1dc7:44c7) (Read error: Connection reset by peer) |
| 19:03:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 19:03:27 | × | MaybeMon1 quits (~MaybeMona@user/MaybeMonad) (Quit: WeeChat 4.5.2) |
| 19:03:51 | → | MaybeMon1 joins (~MaybeMona@user/MaybeMonad) |
| 19:04:28 | × | hseg quits (~gesh@46.120.20.122) (Ping timeout: 252 seconds) |
| 19:04:51 | × | MaybeMonad quits (~MaybeMona@user/MaybeMonad) (Quit: WeeChat 4.5.2) |
| 19:05:35 | → | MaybeMonad joins (~MaybeMona@user/MaybeMonad) |
| 19:08:33 | × | dhil quits (~dhil@5.151.29.141) (Quit: Leaving) |
| 19:09:17 | × | MaybeMon1 quits (~MaybeMona@user/MaybeMonad) (Quit: WeeChat 4.5.2) |
| 19:10:09 | → | j1n37- joins (~j1n37@user/j1n37) |
| 19:11:14 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 19:13:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:15:09 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 19:15:25 | → | gorignak joins (~gorignak@user/gorignak) |
| 19:20:30 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 19:20:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 19:22:38 | × | j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 19:26:38 | → | j1n37 joins (~j1n37@user/j1n37) |
| 19:32:00 | → | j1n37- joins (~j1n37@user/j1n37) |
| 19:32:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:33:11 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 19:33:26 | × | j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 19:36:41 | × | tekmelt quits (~meltek___@user/Discordian93) (Ping timeout: 268 seconds) |
| 19:37:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 19:38:06 | → | j1n37 joins (~j1n37@user/j1n37) |
| 19:38:35 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 19:39:07 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 19:43:10 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 19:47:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:49:15 | → | euphores joins (~SASL_euph@user/euphores) |
| 19:53:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 19:54:38 | → | fp joins (~Thunderbi@hof1.kyla.fi) |
| 19:55:10 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 19:58:11 | → | j1n37 joins (~j1n37@user/j1n37) |
| 19:58:18 | → | tekmelt joins (~meltek___@46.136.108.191) |
| 19:58:18 | × | tekmelt quits (~meltek___@46.136.108.191) (Changing host) |
| 19:58:18 | → | tekmelt joins (~meltek___@user/Discordian93) |
| 19:59:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:00:54 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 20:02:30 | × | Nosrep quits (~jimothy@user/nosrep) (Remote host closed the connection) |
| 20:02:54 | → | Everything joins (~Everythin@46.211.212.95) |
| 20:04:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 20:05:05 | → | __monty__ joins (~toonn@user/toonn) |
| 20:05:16 | × | latticepolytope quits (~user@user/isekaijin) (Ping timeout: 276 seconds) |
| 20:09:16 | → | gorignak joins (~gorignak@user/gorignak) |
| 20:10:42 | → | j1n37 joins (~j1n37@user/j1n37) |
| 20:12:24 | × | tromp quits (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:13:24 | × | MaybeMonad quits (~MaybeMona@user/MaybeMonad) (Ping timeout: 260 seconds) |
| 20:14:21 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 20:14:21 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 20:14:21 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 20:14:21 | → | haritz joins (~hrtz@user/haritz) |
| 20:14:28 | → | sprotte24 joins (~sprotte24@p200300d16f410c0084acb3f434374a5d.dip0.t-ipconnect.de) |
| 20:14:29 | → | sprotte24_ joins (~sprotte24@p200300d16f410c0084acb3f434374a5d.dip0.t-ipconnect.de) |
| 20:15:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:16:57 | → | gorignak joins (~gorignak@user/gorignak) |
| 20:20:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:23:54 | × | sabathan2 quits (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 20:25:54 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 20:27:24 | → | sabathan2 joins (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 20:29:15 | → | j1n37 joins (~j1n37@user/j1n37) |
| 20:30:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:33:42 | <sshine> | where does the bridge go? |
| 20:34:12 | <tomsmeding> | matrix |
| 20:36:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 20:39:43 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 20:46:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:51:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 20:53:14 | → | ephilalethes joins (~noumenon@113.51-175-156.customer.lyse.net) |
| 20:53:50 | → | MaybeMonad joins (~MaybeMona@user/MaybeMonad) |
| 20:56:35 | × | Everything quits (~Everythin@46.211.212.95) (Quit: Lost terminal) |
| 20:56:48 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 20:57:04 | → | gorignak joins (~gorignak@user/gorignak) |
| 20:59:24 | → | j1n37 joins (~j1n37@user/j1n37) |
| 21:00:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:00:46 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:03:31 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 21:03:55 | <EvanR> | that movie still holds up |
| 21:06:08 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 21:06:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:09:24 | × | tekmelt quits (~meltek___@user/Discordian93) (Ping timeout: 260 seconds) |
| 21:13:02 | <patri> | I came up with a neat way to do parallelism with chunking when using the parallel package. It's basically a version of parTraversable that allows you to be less granular. For anyone interested, the code is here: https://paste.tomsmeding.com/hxTLzbR5 |
| 21:16:04 | → | tekmelt joins (~meltek___@46.136.108.191) |
| 21:16:04 | × | tekmelt quits (~meltek___@46.136.108.191) (Changing host) |
| 21:16:04 | → | tekmelt joins (~meltek___@user/Discordian93) |
| 21:18:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:22:29 | → | tromp joins (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) |
| 21:23:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 21:23:58 | × | tekmelt quits (~meltek___@user/Discordian93) (Remote host closed the connection) |
| 21:24:50 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 21:27:27 | × | Square quits (~Square@user/square) (Remote host closed the connection) |
| 21:27:51 | → | Square joins (~Square@user/square) |
| 21:27:53 | → | j1n37 joins (~j1n37@user/j1n37) |
| 21:27:56 | → | Square3 joins (~Square4@user/square) |
| 21:30:14 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 21:32:03 | × | Square quits (~Square@user/square) (Ping timeout: 245 seconds) |
| 21:32:53 | → | j1n37 joins (~j1n37@user/j1n37) |
| 21:32:58 | × | MaybeMonad quits (~MaybeMona@user/MaybeMonad) (Ping timeout: 244 seconds) |
| 21:34:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:34:06 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 21:34:44 | → | machinedgod joins (~machinedg@d162-157-250-39.abhsia.telus.net) |
| 21:37:20 | → | j1n37 joins (~j1n37@user/j1n37) |
| 21:38:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 21:41:24 | × | machinedgod quits (~machinedg@d162-157-250-39.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 21:49:38 | × | fp quits (~Thunderbi@hof1.kyla.fi) (Ping timeout: 248 seconds) |
| 21:49:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:50:31 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 21:52:27 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) (Disconnected: closed) |
| 21:54:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:54:39 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 21:57:38 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 21:58:20 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 21:59:17 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 21:59:46 | → | j1n37 joins (~j1n37@user/j1n37) |
| 22:03:41 | → | Nosrep joins (~jimothy@user/nosrep) |
| 22:05:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:07:09 | × | rat-with-hat quits (~rat-with-@24-113-114-97.wavecable.com) (Ping timeout: 260 seconds) |
| 22:11:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 22:12:08 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 22:12:25 | → | gorignak joins (~gorignak@user/gorignak) |
| 22:14:16 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:15:15 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 22:18:48 | → | j1n37 joins (~j1n37@user/j1n37) |
| 22:20:25 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 22:21:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:23:27 | → | j1n37 joins (~j1n37@user/j1n37) |
| 22:24:22 | × | tromp quits (~textual@2001:1c00:3487:1b00:b1aa:8d38:f5c5:573b) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:26:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 22:28:54 | <Square3> | I have this usecase: I want to make a haskell service available to a java service. Both services will be deployed together in a single container. As the message payloads get a bit large I'm planning to switch the existing json-rpc approach to a binary one. Preferably I want the haskell domain model act as the master blueprint, so schema first approaches preferably avoided. Anyone see a simple solution? |
| 22:29:01 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 22:32:14 | <geekosaur> | https://flora.pm/packages/@hackage/cborg ? |
| 22:32:29 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 22:32:45 | → | gorignak joins (~gorignak@user/gorignak) |
| 22:34:14 | → | fp joins (~Thunderbi@hof1.kyla.fi) |
| 22:37:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:37:14 | <Square3> | geekosaur, thanks. Last I checked cborg sends field keys in full. If I could avoid that it would be a bonus. Also I'm unsure how to export types to the consumer in a automated way. |
| 22:38:59 | <EvanR> | at some point there was a way to interface with java from haskell, java-bridge |
| 22:39:15 | <EvanR> | which might come in handy for being able to load and call javacode |
| 22:40:53 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 22:42:19 | <Square3> | EvanR, That would've been neat. Seems that java-bridge hasn't been updated since 2013 so feels a bit risky. |
| 22:43:13 | <EvanR> | high risk: it probably doesn't work anymore |
| 22:43:21 | <EvanR> | high reward: you fix it and everyone calls you a hero |
| 22:43:52 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 22:44:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:48:23 | → | j1n37 joins (~j1n37@user/j1n37) |
| 22:52:17 | <Square3> | Sounds like a sizable undertaking |
| 22:55:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:57:26 | → | yin joins (~yin@user/zero) |
| 22:57:51 | <yin> | cabal run doesn't handle SIGTERM as i would expect |
| 22:58:01 | <yin> | where can i learn about this? |
| 23:00:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 23:01:57 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 23:05:28 | → | j1n37 joins (~j1n37@user/j1n37) |
| 23:05:57 | <geekosaur> | yin: probably ask in #hackage |
| 23:11:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:12:03 | <yin> | geekosaur: ty |
| 23:12:24 | <yin> | i probably should be running the executable directly anyways |
| 23:13:07 | <geekosaur> | cabal list-bin target |
| 23:16:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:17:36 | × | j1n37 quits (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen) |
| 23:18:03 | × | ttybitnik quits (~ttybitnik@user/wolper) (Remote host closed the connection) |
| 23:18:22 | → | j1n37 joins (~j1n37@user/j1n37) |
| 23:26:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:31:21 | → | mud joins (~mud@user/kadoban) |
| 23:31:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:32:05 | × | fp quits (~Thunderbi@hof1.kyla.fi) (Ping timeout: 248 seconds) |
| 23:32:32 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 23:32:42 | × | kadobanana quits (~mud@user/kadoban) (Ping timeout: 276 seconds) |
| 23:35:08 | × | sprotte24 quits (~sprotte24@p200300d16f410c0084acb3f434374a5d.dip0.t-ipconnect.de) (Quit: Leaving) |
| 23:35:30 | → | j1n37 joins (~j1n37@user/j1n37) |
| 23:36:41 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 23:37:31 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 23:37:50 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 23:38:06 | → | gorignak joins (~gorignak@user/gorignak) |
| 23:40:17 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 23:40:17 | ljdarj1 | is now known as ljdarj |
| 23:40:54 | → | j1n37 joins (~j1n37@user/j1n37) |
| 23:41:34 | × | sprotte24_ quits (~sprotte24@p200300d16f410c0084acb3f434374a5d.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 23:42:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:43:10 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 23:43:26 | → | gorignak joins (~gorignak@user/gorignak) |
| 23:43:33 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:44:04 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 23:44:49 | × | mud quits (~mud@user/kadoban) (Ping timeout: 248 seconds) |
| 23:46:06 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 23:47:21 | → | j1n37 joins (~j1n37@user/j1n37) |
| 23:47:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 23:50:06 | × | tmciver quits (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
| 23:50:08 | × | acidjnk quits (~acidjnk@p200300d6e70b6652a8324a10ff3c377c.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 23:52:11 | → | tmciver joins (~tim@syn-198-255-177-240.res.spectrum.com) |
| 23:53:08 | → | mud joins (~mud@user/kadoban) |
| 23:53:30 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 23:53:45 | → | gorignak joins (~gorignak@user/gorignak) |
| 23:55:12 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:56:55 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 23:58:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
All times are in UTC on 2025-07-01.