Logs on 2026-03-20 (liberachat/#haskell)
| 00:02:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:06:03 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 00:06:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 00:13:27 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 268 seconds) |
| 00:17:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:22:17 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 00:27:03 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) |
| 00:27:03 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) (Changing host) |
| 00:27:03 | → | arandombit joins (~arandombi@user/arandombit) |
| 00:31:26 | → | czan joins (~czan@user/mange) |
| 00:35:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:36:44 | × | tv quits (~tv@user/tv) (Quit: derp) |
| 00:37:14 | → | tv joins (~tv@user/tv) |
| 00:38:20 | → | synchromesh joins (~john@2406:5a00:2412:2c00:f01e:edc7:4f22:41ed) |
| 00:40:02 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 00:40:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 00:41:11 | × | v0id_7 quits (~v0id_7@user/v0id-7:62772) (Quit: whatever u sick fcks) |
| 00:44:54 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 00:50:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:59:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 01:06:39 | × | machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 01:08:43 | × | acidjnk_new3 quits (~acidjnk@p200300d6e700e5412a4816b29ee23bce.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 01:10:31 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:15:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 01:15:33 | × | vetkat quits (~vetkat@user/vetkat) (Quit: So long, and thanks for all the fish) |
| 01:21:37 | → | vetkat joins (~vetkat@user/vetkat) |
| 01:25:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:30:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 01:40:34 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 01:41:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:43:26 | → | puke joins (~puke@user/puke) |
| 01:43:59 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 272 seconds) |
| 01:44:05 | × | craunts795335385 quits (~craunts@152.32.99.2) (Quit: The Lounge - https://thelounge.chat) |
| 01:45:09 | → | craunts795335385 joins (~craunts@152.32.99.2) |
| 01:45:15 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 01:45:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 01:51:16 | → | pavonia joins (~user@user/siracusa) |
| 01:52:41 | × | somemathguy quits (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 01:56:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:01:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 02:02:05 | → | bggd joins (~bgg@2a01:e0a:fd5:f510:a69e:37ae:76eb:6e1f) |
| 02:02:05 | × | bggd quits (~bgg@2a01:e0a:fd5:f510:a69e:37ae:76eb:6e1f) (Changing host) |
| 02:02:05 | → | bggd joins (~bgg@user/bggd) |
| 02:11:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:14:45 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 02:16:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 02:27:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:32:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:42:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:49:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 03:00:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:05:45 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 03:05:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 03:08:14 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 245 seconds) |
| 03:10:16 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 03:16:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:20:28 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:22:45 | → | arandombit joins (~arandombi@user/arandombit) |
| 03:27:42 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 03:27:52 | → | pyooque joins (~puke@user/puke) |
| 03:27:52 | puke | is now known as Guest261 |
| 03:27:52 | pyooque | is now known as puke |
| 03:29:13 | × | Guest261 quits (~puke@user/puke) (Read error: Connection reset by peer) |
| 03:31:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:36:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 03:39:08 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) |
| 03:39:08 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) (Changing host) |
| 03:39:08 | → | arandombit joins (~arandombi@user/arandombit) |
| 03:43:12 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 244 seconds) |
| 03:46:28 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |
| 03:46:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:51:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 03:56:37 | → | pabs3 joins (~pabs3@user/pabs3) |
| 04:02:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:06:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 04:10:19 | → | sp1ff joins (~user@2601:1c2:4080:14c0::1ced) |
| 04:13:06 | × | kadobanana quits (~mud@user/kadoban) (Quit: quit) |
| 04:14:57 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) |
| 04:14:57 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) (Changing host) |
| 04:14:57 | → | arandombit joins (~arandombi@user/arandombit) |
| 04:15:48 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 04:17:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:24:04 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 04:25:28 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |
| 04:26:05 | × | haskellbridge quits (~hackager@96.28.224.214) (Ping timeout: 244 seconds) |
| 04:26:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:31:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 04:39:07 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 276 seconds) |
| 04:42:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:46:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 04:49:47 | → | Goodbye_Vincent1 joins (cyvahl@freakshells.net) |
| 04:52:24 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Remote host closed the connection) |
| 04:57:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:58:23 | <geekosaur> | My ISP's down, cable connects but no DHCP |
| 04:58:44 | × | SrPx quits (sid108780@id-108780.uxbridge.irccloud.com) (Ping timeout: 268 seconds) |
| 04:59:41 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 05:00:57 | <geekosaur> | Just got notified it's planned maintenance and should be back up soon |
| 05:01:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 05:02:01 | <geekosaur> | Anyway that means the bridge is down and may stay down for a while since I'll have to repoint DNS |
| 05:02:35 | → | SrPx joins (sid108780@id-108780.uxbridge.irccloud.com) |
| 05:02:55 | <EvanR> | oof |
| 05:03:43 | → | karenw joins (~karenw@user/karenw) |
| 05:04:18 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 05:07:03 | <gentauro> | geekosaur: you need redundant fiber connections ;) |
| 05:09:00 | <gentauro> | btw, did anybody read the code from this blogpost? https://haskellforall.com/2026/03/a-sufficiently-detailed-spec-is-code. It looked kind of "okayish" (I don't know how much time OP used top fix stuff or it was the agent all along) |
| 05:11:28 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 05:11:28 | ChanServ | sets mode +v haskellbridge |
| 05:12:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:14:31 | <geekosaur> | it's back now but I still need to repoint things |
| 05:15:35 | <geekosaur> | oh, huh, they didn't change my IP address. should be up and running properly, then |
| 05:15:52 | <gentauro> | geekosaur: a couple who are friends of mine, some road crew just cut their fiber. They had a "cheap" ISP (which is just re-selling a 3rd providers product) and it took "quite" some time to get it up again |
| 05:16:16 | <gentauro> | not ideal when you work from home and have to commute long distance |
| 05:16:19 | <geekosaur> | I can imagine |
| 05:16:37 | <gentauro> | and then it's the thing with the kidos being teenagers and their world is gaming |
| 05:16:57 | <gentauro> | the temp solution was a 5G hub |
| 05:17:04 | <gentauro> | :| |
| 05:18:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 05:28:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:29:48 | × | Goodbye_Vincent1 quits (cyvahl@freakshells.net) (Ping timeout: 264 seconds) |
| 05:32:44 | → | Goodbye_Vincent1 joins (cyvahl@freakshells.net) |
| 05:33:04 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 05:34:09 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 05:35:24 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 05:36:20 | × | synchromesh quits (~john@2406:5a00:2412:2c00:f01e:edc7:4f22:41ed) (Quit: WeeChat 4.1.1) |
| 05:40:03 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 05:43:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:44:30 | → | haetsal joins (~quassel@1.229.73.147) |
| 05:47:49 | → | michalz joins (~michalz@185.246.207.221) |
| 05:48:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 05:52:21 | × | czan quits (~czan@user/mange) (Quit: Quittin' time!) |
| 05:59:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:00:51 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) |
| 06:00:51 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) (Changing host) |
| 06:00:51 | → | arandombit joins (~arandombi@user/arandombit) |
| 06:01:22 | → | synchromesh joins (~john@2406:5a00:2412:2c00:a116:be89:35e0:7191) |
| 06:05:17 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 06:06:02 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 06:06:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 06:06:32 | × | pierluc-codes quits (~pierlucco@modemcable092.154-83-70.mc.videotron.ca) (Quit: Ping timeout (120 seconds)) |
| 06:06:39 | → | pierluc-codes3 joins (~pierlucco@modemcable092.154-83-70.mc.videotron.ca) |
| 06:08:54 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 06:09:17 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 06:11:24 | → | synchrom1 joins (~john@2406:5a00:2412:2c00:a116:be89:35e0:7191) |
| 06:13:36 | × | synchromesh quits (~john@2406:5a00:2412:2c00:a116:be89:35e0:7191) (Ping timeout: 246 seconds) |
| 06:14:01 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 276 seconds) |
| 06:15:41 | → | synchromesh joins (~john@115.69.186.131) |
| 06:16:50 | × | synchrom1 quits (~john@2406:5a00:2412:2c00:a116:be89:35e0:7191) (Ping timeout: 248 seconds) |
| 06:17:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:19:34 | × | jreicher quits (~joelr@user/jreicher) (Quit: In transit) |
| 06:20:48 | → | Square3 joins (~Square@user/square) |
| 06:21:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 06:22:50 | × | Square2 quits (~Square4@user/square) (Ping timeout: 268 seconds) |
| 06:27:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:29:09 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 06:29:40 | → | yachatta joins (~kaushikv@c-71-238-53-216.hsd1.or.comcast.net) |
| 06:32:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 06:34:54 | × | yachatta quits (~kaushikv@c-71-238-53-216.hsd1.or.comcast.net) (Quit: leaving) |
| 06:37:19 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 06:38:12 | → | yachatta joins (~kaushikv@c-71-238-53-216.hsd1.or.comcast.net) |
| 06:39:15 | × | yachatta quits (~kaushikv@c-71-238-53-216.hsd1.or.comcast.net) (Client Quit) |
| 06:43:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:48:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 06:58:34 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:01:32 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) |
| 07:01:32 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) (Changing host) |
| 07:01:32 | → | arandombit joins (~arandombi@user/arandombit) |
| 07:03:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 07:03:31 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:04:24 | × | ThePenguin quits (~ThePengui@cust-95-80-28-221.csbnet.se) (Quit: Ping timeout (120 seconds)) |
| 07:04:42 | → | ThePenguin joins (~ThePengui@cust-95-80-28-221.csbnet.se) |
| 07:05:09 | × | haasn quits (sid579015@id-579015.hampstead.irccloud.com) (Ping timeout: 268 seconds) |
| 07:05:32 | → | haasn joins (sid579015@id-579015.hampstead.irccloud.com) |
| 07:06:00 | × | NiKaN quits (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 256 seconds) |
| 07:06:02 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 252 seconds) |
| 07:06:21 | × | jonrh quits (sid5185@id-5185.ilkley.irccloud.com) (Ping timeout: 272 seconds) |
| 07:06:23 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Ping timeout: 268 seconds) |
| 07:06:23 | × | astra quits (sid289983@id-289983.hampstead.irccloud.com) (Ping timeout: 268 seconds) |
| 07:06:34 | × | fun-safe-math quits (~fun-safe-@97.115.234.213) (Ping timeout: 256 seconds) |
| 07:06:49 | × | edm quits (sid147314@id-147314.hampstead.irccloud.com) (Ping timeout: 248 seconds) |
| 07:06:56 | → | fun-safe-math joins (~fun-safe-@97.115.234.213) |
| 07:07:14 | → | NiKaN joins (sid385034@id-385034.helmsley.irccloud.com) |
| 07:07:44 | → | jonrh joins (sid5185@id-5185.ilkley.irccloud.com) |
| 07:08:10 | → | astra joins (sid289983@id-289983.hampstead.irccloud.com) |
| 07:08:55 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 07:09:37 | → | edm joins (sid147314@id-147314.hampstead.irccloud.com) |
| 07:13:13 | → | CiaoSen joins (~Jura@p549cb690.dip0.t-ipconnect.de) |
| 07:13:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:14:04 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 07:19:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 07:28:49 | × | ft quits (~ft@p508db341.dip0.t-ipconnect.de) (Quit: leaving) |
| 07:28:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:33:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 07:42:33 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 07:44:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:51:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 07:56:53 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 08:01:30 | → | arandombit joins (~arandombi@user/arandombit) |
| 08:02:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:05:57 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:05:58 | × | Googulator quits (~Googulato@84-236-126-177.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 08:07:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 08:17:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:18:19 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 08:22:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 08:23:04 | × | PotatoGim quits (sid99505@id-99505.lymington.irccloud.com) (Ping timeout: 256 seconds) |
| 08:26:56 | → | PotatoGim joins (sid99505@id-99505.lymington.irccloud.com) |
| 08:29:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:32:36 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 08:33:44 | → | oskarw joins (~user@user/oskarw) |
| 08:34:30 | × | rainbyte quits (~rainbyte@181.47.219.110) (Read error: Connection reset by peer) |
| 08:34:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 08:36:35 | → | rainbyte joins (~rainbyte@181.47.219.110) |
| 08:37:40 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 08:39:59 | → | weary-traveler joins (~user@user/user363627) |
| 08:45:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:49:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 08:53:13 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 08:59:22 | → | acidjnk_new3 joins (~acidjnk@p200300d6e700e541daf6366eab32adad.dip0.t-ipconnect.de) |
| 09:00:42 | → | merijn joins (~merijn@62.45.136.136) |
| 09:04:54 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
| 09:05:45 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 09:07:57 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 09:08:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:12:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 09:14:04 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 09:15:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:20:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 09:23:31 | → | kuribas joins (~user@2a02:1808:4f:27d0:bdf3:9bb4:5714:ba09) |
| 09:26:24 | → | danza joins (~danza@user/danza) |
| 09:30:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:35:05 | <gentauro> | what's the easiest way to flatten a list of either types? -> `[Either [a] [b]] -> Either [a] [b]`? |
| 09:35:52 | → | kuribas` joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 09:36:12 | <int-e> | :t Data.Either.partitionEithers |
| 09:36:13 | <lambdabot> | [Either a b] -> ([a], [b]) |
| 09:36:30 | <int-e> | (your type isn't gonna play nicely) |
| 09:36:33 | → | arandombit joins (~arandombi@user/arandombit) |
| 09:37:33 | <[exa]> | gentauro: what do you do with [Left [1], Right [2]] ? |
| 09:37:36 | × | kuribas quits (~user@2a02:1808:4f:27d0:bdf3:9bb4:5714:ba09) (Ping timeout: 264 seconds) |
| 09:37:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 09:37:53 | <gentauro> | [exa]: combine and show end-user |
| 09:38:06 | <gentauro> | but it seems that int-e has the solution |
| 09:38:09 | <[exa]> | how do you combine tho |
| 09:38:29 | <[exa]> | (spoiler: you might love Data.These) |
| 09:38:31 | <int-e> | :t (concat *** concat) . Data.Either.partitionEithers |
| 09:38:32 | <lambdabot> | [Either [a1] [a2]] -> ([a1], [a2]) |
| 09:39:59 | <gentauro> | `***`? |
| 09:40:14 | <int-e> | :t (***) |
| 09:40:15 | <lambdabot> | Arrow a => a b c -> a b' c' -> a (b, b') (c, c') |
| 09:41:04 | <Leary> | % :t foldMap \case{ Left xs -> (xs, []); Right ys -> ([], ys) } |
| 09:41:04 | <yahb2> | foldMap \case{ Left xs -> (xs, []); Right ys -> ([], ys) } ; :: Foldable t => t (Either [a1] [a2]) -> ([a1], [a2]) |
| 09:41:21 | <int-e> | in this case it's just \f g (x, y) -> (f x, g y) |
| 09:41:24 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 09:42:41 | <gentauro> | Leary: yeah, ended up writing something like that |
| 09:45:26 | <int-e> | :t foldMap (partitionEithers . pure) |
| 09:45:27 | <lambdabot> | Foldable t => t (Either a b) -> ([a], [b]) |
| 09:45:40 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 09:45:57 | <int-e> | ah. no, of course that's just partitionEithers again |
| 09:48:09 | <newmind> | hmm, i don't see how this is supposed to work, since the input list can be a's or b's mixed, but the output.. can only have one of them |
| 09:48:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:49:01 | <newmind> | except for an impolied "if there are any bs, give me thoese, otherwise i'll take the as" |
| 09:53:04 | <int-e> | :t partitionEithers . foldMap (either (map Left) (map Right)) {- looks clean, but inefficient because of all the intermediate Eithers -} |
| 09:53:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 09:53:05 | <lambdabot> | Foldable t => t (Either [a] [b]) -> ([a], [b]) |
| 09:53:50 | <gentauro> | int-e: partitionEithers creates a tuple. If `left` has any item, then there are errors. Otherwise, just show list of `rights` |
| 09:54:22 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 276 seconds) |
| 09:57:25 | <Leary> | :t getAp . foldMap Ap |
| 09:57:26 | <lambdabot> | k}. (Foldable t, Monoid (Ap f a)) => t (f a) -> f a |
| 09:57:45 | <Leary> | > getAp . foldMap Ap $ [Right [1, 2], Right [3, 4]] |
| 09:57:46 | <lambdabot> | Right [1,2,3,4] |
| 09:57:51 | <Leary> | > getAp . foldMap Ap $ [Right [1, 2], Left [3, 4]] |
| 09:57:53 | <lambdabot> | Left [3,4] |
| 09:59:40 | astra | is now known as amish |
| 10:00:09 | amish | is now known as Guest8340 |
| 10:00:28 | <int-e> | > getAp . foldMap Ap $ [Left [1], Left [2]] |
| 10:00:29 | <lambdabot> | Left [1] |
| 10:00:55 | Guest8340 | is now known as astra |
| 10:01:39 | <int-e> | regardless, clever |
| 10:01:57 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 10:04:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:06:37 | astra | is now known as amish |
| 10:06:53 | × | amish quits (sid289983@id-289983.hampstead.irccloud.com) (Changing host) |
| 10:06:53 | → | amish joins (sid289983@user/amish) |
| 10:08:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 10:10:54 | amish | is now known as astra |
| 10:16:59 | <newmind> | % :t uncurry (\ls rs -> bool (Left ls) (Right rs) (null ls)) . bimap concat concat . partitionEithers |
| 10:16:59 | <yahb2> | <interactive>:1:20: error: [GHC-88464] ; Variable not in scope: ; bool :: Either (t2 a2) b1 -> Either a3 b2 -> Bool -> c ; ; <interactive>:1:59: error: [GHC-88464] ; Variable not in ... |
| 10:19:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:20:08 | → | Freakie joins (~Freakie@37.96.11.80) |
| 10:22:38 | × | madresch quits (~Thunderbi@user/madresch) (Ping timeout: 256 seconds) |
| 10:23:35 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) |
| 10:23:35 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:85cb:5d02:5632:2f7c) (Changing host) |
| 10:23:35 | → | arandombit joins (~arandombi@user/arandombit) |
| 10:23:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 10:29:54 | × | nitrix quits (~nitrix@user/meow/nitrix) (Remote host closed the connection) |
| 10:30:42 | × | somemathguy quits (~somemathg@user/somemathguy) (Ping timeout: 248 seconds) |
| 10:31:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:33:50 | → | nitrix joins (~nitrix@user/meow/nitrix) |
| 10:34:01 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 276 seconds) |
| 10:34:54 | → | madresch joins (~Thunderbi@user/madresch) |
| 10:36:02 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 10:36:28 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:55d9:690d:58e3:8491) |
| 10:36:28 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:55d9:690d:58e3:8491) (Changing host) |
| 10:36:28 | → | arandombit joins (~arandombi@user/arandombit) |
| 10:37:24 | → | acidjnk_new joins (~acidjnk@p200300d6e700e545b138643e76a029bb.dip0.t-ipconnect.de) |
| 10:40:19 | × | acidjnk_new3 quits (~acidjnk@p200300d6e700e541daf6366eab32adad.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 10:42:19 | × | craunts795335385 quits (~craunts@152.32.99.2) (Quit: The Lounge - https://thelounge.chat) |
| 10:43:25 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 10:47:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:48:14 | → | craunts795335385 joins (~craunts@152.32.99.2) |
| 10:51:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 10:52:23 | → | __monty__ joins (~toonn@user/toonn) |
| 10:55:39 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 11:02:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:04:29 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 11:06:24 | × | Freakie quits (~Freakie@37.96.11.80) (Quit: Client closed) |
| 11:06:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 11:07:28 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 11:07:53 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 11:12:30 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 11:14:31 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 11:14:36 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 11:15:27 | divlamir_ | is now known as divlamir |
| 11:16:22 | <gentauro> | :t getAp |
| 11:16:23 | <lambdabot> | forall {k} (f :: k -> *) (a :: k). Ap f a -> f a |
| 11:17:34 | × | puke quits (~puke@user/puke) (Ping timeout: 276 seconds) |
| 11:17:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:18:30 | × | CiaoSen quits (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 11:19:09 | × | ZLima12 quits (~zlima12@user/meow/ZLima12) (Ping timeout: 246 seconds) |
| 11:23:33 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 11:24:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 11:27:49 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 11:32:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:33:04 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 11:37:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 11:37:30 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 11:48:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:49:56 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 11:49:56 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 11:49:56 | → | haritz joins (~hrtz@user/haritz) |
| 11:52:20 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 11:52:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 11:55:49 | × | mrvdb quits (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Quit: ZNC 1.10.1 - https://znc.in) |
| 11:56:50 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 11:56:51 | → | mrvdb joins (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
| 11:57:40 | × | somemathguy quits (~somemathg@user/somemathguy) (Ping timeout: 245 seconds) |
| 11:59:08 | → | jreicher joins (~joelr@user/jreicher) |
| 11:59:50 | → | Freakie joins (~Freakie@37.96.11.80) |
| 12:02:05 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 12:03:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:06:33 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 248 seconds) |
| 12:07:46 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 12:10:57 | → | Googulator joins (~Googulato@team.broadbit.hu) |
| 12:12:41 | → | vulpine joins (xfnw@user/meow/xfnw) |
| 12:18:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:23:23 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 12:27:33 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 12:30:42 | → | CiaoSen joins (~Jura@p549cb690.dip0.t-ipconnect.de) |
| 12:33:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:37:57 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 12:39:00 | → | tri joins (~tri@ool-44c70bcb.dyn.optonline.net) |
| 12:40:31 | × | edwtjo quits (~edwtjo@fsf/member/edwtjo) (Ping timeout: 264 seconds) |
| 12:43:09 | × | tri quits (~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 12:46:48 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:804d:635c:62ff:74ac) |
| 12:46:48 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:804d:635c:62ff:74ac) (Changing host) |
| 12:46:48 | → | arandombit joins (~arandombi@user/arandombit) |
| 12:48:11 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 12:49:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:49:49 | × | AlexZenon quits (~alzenon@178.34.151.138) (Quit: ;-) |
| 12:50:00 | × | Alex_delenda_est quits (~al_test@178.34.151.138) (Quit: ;-) |
| 12:50:37 | × | AlexNoo quits (~AlexNoo@178.34.151.138) (Quit: Leaving) |
| 12:55:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 13:02:44 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 13:07:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:11:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 13:15:13 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 276 seconds) |
| 13:16:28 | → | anselmschueler joins (~Thunderbi@user/schuelermine) |
| 13:20:24 | → | AlexNoo joins (~AlexNoo@178.34.151.138) |
| 13:22:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:24:56 | → | AlexZenon joins (~alzenon@178.34.151.138) |
| 13:24:57 | × | Rembane quits (~Rembane@user/Rembane) (Ping timeout: 248 seconds) |
| 13:25:05 | → | danz69579 joins (~danza@user/danza) |
| 13:26:08 | × | danza quits (~danza@user/danza) (Read error: Connection reset by peer) |
| 13:27:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 13:34:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:39:34 | × | Catty quits (~catties@user/meow/catties) (Remote host closed the connection) |
| 13:39:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 13:41:12 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 13:41:13 | → | Alex_delenda_est joins (~al_test@178.34.151.138) |
| 13:46:13 | × | Alex_delenda_est quits (~al_test@178.34.151.138) (Ping timeout: 268 seconds) |
| 13:46:22 | → | catties joins (~catties@user/meow/catties) |
| 13:50:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:50:41 | catties | is now known as Catty |
| 13:54:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 13:55:12 | → | arandombit joins (~arandombi@user/arandombit) |
| 13:58:02 | → | Guest62t joins (~Guest62t@p200300ca8f11210081af2badae2f0f42.dip0.t-ipconnect.de) |
| 14:01:56 | → | puke joins (~puke@user/puke) |
| 14:05:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:06:15 | × | Freakie quits (~Freakie@37.96.11.80) (Quit: Client closed) |
| 14:06:49 | × | CiaoSen quits (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 14:07:25 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 14:07:36 | × | traxex quits (traxex@user/traxex) (Ping timeout: 264 seconds) |
| 14:09:02 | × | _d0t quits (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 269 seconds) |
| 14:09:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 14:13:23 | → | _d0t joins (~{-d0t-}@user/-d0t-/x-7915216) |
| 14:17:43 | → | akegalj joins (~akegalj@141-136-131-38.dsl.iskon.hr) |
| 14:20:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:26:04 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 14:28:25 | × | hakutaku quits (~textual@user/hakutaku) (Ping timeout: 248 seconds) |
| 14:32:19 | × | puke quits (~puke@user/puke) (Remote host closed the connection) |
| 14:34:50 | → | CiaoSen joins (~Jura@p549cb690.dip0.t-ipconnect.de) |
| 14:35:42 | → | merijn joins (~merijn@62.45.136.136) |
| 14:35:51 | → | edwtjo joins (~edwtjo@fsf/member/edwtjo) |
| 14:42:52 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 265 seconds) |
| 14:53:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:58:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 15:00:18 | → | Alex_delenda_est joins (~al_test@178.34.151.138) |
| 15:05:39 | → | v0id_7 joins (~v0id_7@user/v0id-7:62772) |
| 15:09:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:10:33 | → | machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net) |
| 15:14:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 15:33:24 | × | CiaoSen quits (~Jura@p549cb690.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 15:34:59 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 15:35:17 | → | califax joins (~califax@user/califx) |
| 15:36:45 | → | merijn joins (~merijn@62.45.136.136) |
| 15:37:19 | <chromoblob> | > length (undefined :: (a, b)) |
| 15:37:20 | <lambdabot> | 1 |
| 15:40:20 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 15:41:12 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 264 seconds) |
| 15:52:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:53:35 | → | haritzondo joins (~hrtz@140.228.70.141) |
| 15:53:55 | × | haritz quits (~hrtz@user/haritz) (Ping timeout: 245 seconds) |
| 15:54:29 | × | hsw_ quits (~hsw@106.104.102.45) (Quit: Leaving) |
| 15:56:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 16:00:13 | <mikko> | tuples being foldable is weird |
| 16:00:24 | <mikko> | > minimum(1,2) |
| 16:00:26 | <lambdabot> | 2 |
| 16:01:12 | <geekosaur> | there are reasons for it, but the instance is also a fertile source of silent errors |
| 16:01:33 | → | Tuplanolla joins (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) |
| 16:02:36 | <mikko> | i'd like to hear more about the reasons |
| 16:03:48 | <__monty__> | Does draw a nice parallel between AssocLists and Maps. |
| 16:04:35 | <geekosaur> | largely related to the fact that tuples have a meaningful and useful `Functor` instance IIRC, which means they're like 90% there already |
| 16:05:19 | × | Googulator quits (~Googulato@team.broadbit.hu) (Quit: Client closed) |
| 16:05:33 | → | Googulator joins (~Googulato@team.broadbit.hu) |
| 16:06:27 | <geekosaur> | and that makes them useful with `Traversable`, but you need `Foldable` for `Traversable` |
| 16:06:37 | × | Googulator quits (~Googulato@team.broadbit.hu) (Client Quit) |
| 16:06:58 | → | Googulator joins (~Googulato@team.broadbit.hu) |
| 16:07:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:07:47 | <geekosaur> | so you get this footgunny `Foldable` |
| 16:12:08 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 16:22:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:29:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 16:30:58 | × | Googulator quits (~Googulato@team.broadbit.hu) (Ping timeout: 240 seconds) |
| 16:37:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:41:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 16:50:33 | × | danz69579 quits (~danza@user/danza) (Remote host closed the connection) |
| 16:53:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:57:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 16:58:21 | × | madresch quits (~Thunderbi@user/madresch) (Ping timeout: 255 seconds) |
| 17:05:06 | × | kuribas` quits (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 255 seconds) |
| 17:08:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:13:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 17:19:44 | × | akegalj quits (~akegalj@141-136-131-38.dsl.iskon.hr) (Quit: leaving) |
| 17:21:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:22:03 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 17:24:14 | × | bggd quits (~bgg@user/bggd) (Remote host closed the connection) |
| 17:26:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 17:36:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:42:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 17:46:06 | × | anselmschueler quits (~Thunderbi@user/schuelermine) (Ping timeout: 268 seconds) |
| 17:53:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:57:53 | → | poscat0x04 joins (~poscat@user/poscat) |
| 17:59:26 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 18:01:02 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 18:01:50 | × | Guest62t quits (~Guest62t@p200300ca8f11210081af2badae2f0f42.dip0.t-ipconnect.de) (Quit: Client closed) |
| 18:04:41 | <probie> | :t uncurry (bool <$> (const Right) <*> (const . Left) <*> null) . partitionEithers |
| 18:04:42 | <lambdabot> | [Either a b] -> Either [a] [b] |
| 18:05:45 | <probie> | > map (uncurry (bool <$> (const Right) <*> (const . Left) <*> null) . partitionEithers) [[Left 1, Right 2, Left 3], [], [Right 1, Right 2, Right 3]] |
| 18:05:46 | <lambdabot> | [Right [2],Left [],Left []] |
| 18:06:24 | <probie> | > map (uncurry (bool <$> (const . Left) <*> (const Right) <*> null) . partitionEithers) [[Left 1, Right 2, Left 3], [], [Right 1, Right 2, Right 3]] |
| 18:06:25 | <lambdabot> | [Left [1,3],Right [],Right [1,2,3]] |
| 18:09:43 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 18:11:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:16:36 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 18:27:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:31:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 18:33:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:35:04 | × | machinedgod quits (~machinedg@d172-219-48-230.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 18:36:02 | <probie> | mikko: I don't think it's much weirder than `(->) r` being a monad. People are happy with the reader monad, but it looks a bit strange when the newtype is stripped away |
| 18:37:33 | <probie> | I don't think it'd seem too weird to have `Foldable` and `Traversable` for `data Env env a = Env env a` |
| 18:38:03 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 18:46:09 | → | anselmschueler joins (~Thunderbi@user/schuelermine) |
| 18:46:14 | × | anselmschueler quits (~Thunderbi@user/schuelermine) (Client Quit) |
| 18:47:44 | <probie> | and since `Env` is equivalent to `(,)` and there's only one (assuming functional extensionality) reasonable valid definition for `Foldable` and `Traversable` for `Env a`/ `(,) a`. Having those instances seems no less reasonable than having a monad instance for `(->) r` |
| 18:54:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:58:44 | × | somemathguy quits (~somemathg@user/somemathguy) (Ping timeout: 244 seconds) |
| 18:59:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 19:00:20 | → | anselmschueler joins (~Thunderbi@user/schuelermine) |
| 19:06:01 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 19:10:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:10:37 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 19:14:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 19:25:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:28:31 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 19:29:36 | → | tusko joins (~uwu@user/tusko) |
| 19:29:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 19:40:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:45:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 19:51:50 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 19:52:08 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 19:52:49 | → | Rembane joins (~Rembane@user/Rembane) |
| 19:54:41 | Lord_of_Life_ | is now known as Lord_of_Life |
| 19:56:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:57:38 | → | emmanuelux joins (~em@user/emmanuelux) |
| 20:00:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 20:06:34 | × | emmanuelux quits (~em@user/emmanuelux) (Ping timeout: 245 seconds) |
| 20:11:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:14:37 | × | anselmschueler quits (~Thunderbi@user/schuelermine) (Quit: anselmschueler) |
| 20:15:04 | → | anselmschueler joins (~Thunderbi@user/schuelermine) |
| 20:15:56 | × | anselmschueler quits (~Thunderbi@user/schuelermine) (Client Quit) |
| 20:16:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 20:16:23 | → | anselmschueler joins (~Thunderbi@user/schuelermine) |
| 20:17:13 | → | arandombit joins (~arandombi@user/arandombit) |
| 20:19:11 | × | anselmschueler quits (~Thunderbi@user/schuelermine) (Client Quit) |
| 20:27:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:27:21 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 20:28:29 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:941d:5a00:e7:3ad0) |
| 20:28:29 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:941d:5a00:e7:3ad0) (Changing host) |
| 20:28:29 | → | arandombit joins (~arandombi@user/arandombit) |
| 20:31:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 20:34:31 | × | somemathguy quits (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 20:36:27 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 20:42:19 | → | KindFoxo joins (~KindFoxo@user/KindoFoxo) |
| 20:42:39 | → | merijn joins (~merijn@62.45.136.136) |
| 20:46:59 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 245 seconds) |
| 20:58:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:02:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 21:13:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:18:11 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 21:28:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:32:59 | → | Digitteknohippie joins (~user@user/digit) |
| 21:33:24 | × | Digit quits (~user@user/digit) (Ping timeout: 264 seconds) |
| 21:33:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 21:35:33 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 21:41:16 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 21:41:36 | → | EvanR joins (~EvanR@user/evanr) |
| 21:44:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:45:29 | Digitteknohippie | is now known as Digit |
| 21:51:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 21:58:11 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 22:02:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:06:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 22:08:41 | → | bggd joins (~bgg@user/bggd) |
| 22:17:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:21:44 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:22:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 22:26:45 | → | arandombit joins (~arandombi@user/arandombit) |
| 22:32:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:37:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 22:37:45 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 22:38:01 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 22:47:32 | × | oskarw quits (~user@user/oskarw) (Remote host closed the connection) |
| 22:48:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:48:31 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 22:53:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 22:59:08 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 23:03:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:04:14 | × | KindFoxo quits (~KindFoxo@user/KindoFoxo) (Remote host closed the connection) |
| 23:08:32 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:19:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:21:48 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 258 seconds) |
| 23:25:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 23:30:20 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 23:33:36 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Ping timeout: 244 seconds) |
| 23:33:40 | → | gabiruh_ joins (~gabiruh@vps19177.publiccloud.com.br) |
| 23:34:07 | × | nitrix quits (~nitrix@user/meow/nitrix) (Ping timeout: 244 seconds) |
| 23:34:07 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 244 seconds) |
| 23:35:31 | → | nitrix joins (~nitrix@user/meow/nitrix) |
| 23:36:16 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 23:37:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:41:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 23:50:26 | × | Tuplanolla quits (~Tuplanoll@88-114-89-88.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:52:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:55:44 | → | machinedgod joins (~machinedg@d172-219-48-230.abhsia.telus.net) |
| 23:56:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:58:44 | → | gorignak joins (~gorignak@user/gorignak) |
All times are in UTC on 2026-03-20.