Logs: liberachat/#haskell
| 2025-10-20 22:26:25 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2025-10-20 22:30:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-10-20 22:38:45 | × | jreicher quits (~user@user/jreicher) (Ping timeout: 252 seconds) |
| 2025-10-20 22:42:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-20 22:44:55 | → | pavonia joins (~user@user/siracusa) |
| 2025-10-20 22:46:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-20 22:57:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-20 23:02:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-20 23:06:21 | → | weary-traveler joins (~user@user/user363627) |
| 2025-10-20 23:08:07 | × | mreh quits (~matthew@host86-146-25-125.range86-146.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2025-10-20 23:09:13 | → | jreicher joins (~user@user/jreicher) |
| 2025-10-20 23:13:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-20 23:15:38 | → | Googulator98 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-20 23:15:42 | × | Googulator80 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-20 23:18:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-20 23:28:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-20 23:30:37 | <Leary> | doc: `data Foo a = ... deriving Num via Ap Foo a` |
| 2025-10-20 23:34:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-10-20 23:37:17 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 2025-10-20 23:39:17 | <Leary> | @tell mastarija You might want to use 'generics-sop' instead of plain `GHC.Generics`; it more-or-less already does what you want to do. |
| 2025-10-20 23:39:17 | <lambdabot> | Consider it noted. |
| 2025-10-20 23:44:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-20 23:45:45 | <monochrom> | EvanR: I haven't thought of that. Thanks. |
| 2025-10-20 23:46:00 | → | straybits joins (~straybits@user/straybits) |
| 2025-10-20 23:46:52 | <monochrom> | But we get to say things like "we were only allowed 3, and it was uphill both ways" :) |
| 2025-10-20 23:49:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-10-21 00:00:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-21 00:00:45 | → | Googulator72 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-21 00:01:12 | × | Googulator98 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-21 00:07:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-21 00:10:37 | × | Googulator72 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-21 00:10:38 | → | Googulator98 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-21 00:14:26 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-21 00:14:29 | → | peterbecich joins (~Thunderbi@172.222.148.214) |
| 2025-10-21 00:15:38 | × | Googulator98 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-21 00:15:46 | → | Googulator98 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-21 00:23:14 | → | halloy9957 joins (~halloy995@ip72-208-127-103.ph.ph.cox.net) |
| 2025-10-21 00:24:27 | × | gustrb quits (~gustrb@191.243.134.87) (Ping timeout: 260 seconds) |
| 2025-10-21 00:24:40 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-10-21 00:24:58 | → | gustrb joins (~gustrb@191.243.134.87) |
| 2025-10-21 00:25:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-21 00:25:51 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-21 00:30:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-10-21 00:32:27 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-10-21 00:33:35 | → | califax joins (~califax@user/califx) |
| 2025-10-21 00:41:25 | × | otto_s quits (~user@p5b044609.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2025-10-21 00:43:01 | → | otto_s joins (~user@p5b0442c1.dip0.t-ipconnect.de) |
| 2025-10-21 00:52:16 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 2025-10-21 00:58:40 | × | halloy9957 quits (~halloy995@ip72-208-127-103.ph.ph.cox.net) (Read error: Connection reset by peer) |
| 2025-10-21 01:00:37 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-21 01:07:02 | × | xff0x quits (~xff0x@2405:6580:b080:900:6316:ba02:9166:40eb) (Ping timeout: 260 seconds) |
| 2025-10-21 01:07:49 | × | SlackCoder quits (~SlackCode@208.26.91.234) (Ping timeout: 264 seconds) |
| 2025-10-21 01:08:42 | × | cheater quits (~fuck@84-115-208-145.cable.dynamic.surfer.at) (Remote host closed the connection) |
| 2025-10-21 01:09:06 | → | craunts795335385 joins (~craunts@136.158.7.194) |
| 2025-10-21 01:12:07 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-21 01:15:04 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 246 seconds) |
| 2025-10-21 01:19:57 | × | acidjnk quits (~acidjnk@p200300d6e7171945c42b348415052731.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-10-21 01:24:07 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-10-21 01:24:10 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2025-10-21 01:33:11 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-21 01:38:13 | × | jzargo quits (~jzargo@user/jzargo) (Quit: Leaving) |
| 2025-10-21 01:38:37 | → | jzargo joins (~jzargo@user/jzargo) |
| 2025-10-21 01:40:16 | × | peterbecich quits (~Thunderbi@172.222.148.214) (Ping timeout: 246 seconds) |
| 2025-10-21 01:43:49 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2025-10-21 01:50:49 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-10-21 01:54:16 | → | halloy9957 joins (~halloy995@ip72-208-127-103.ph.ph.cox.net) |
| 2025-10-21 01:54:41 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-21 01:59:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-10-21 02:00:43 | × | Googulator98 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-21 02:00:46 | → | Googulator68 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-21 02:02:17 | → | werneta joins (~werneta@71.83.160.242) |
| 2025-10-21 02:06:14 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-10-21 02:06:58 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2025-10-21 02:08:11 | → | trickard___ joins (~trickard@cpe-58-98-47-163.wireline.com.au) |
| 2025-10-21 02:08:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-21 02:09:01 | × | trickard quits (~trickard@cpe-53-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2025-10-21 02:13:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-21 02:14:10 | trickard___ | is now known as trickard |
| 2025-10-21 02:24:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-21 02:25:13 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 256 seconds) |
| 2025-10-21 02:28:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-10-21 02:31:15 | × | td_ quits (~td@2001:9e8:19d3:4b00:581b:6633:814:8863) (Ping timeout: 244 seconds) |
| 2025-10-21 02:33:06 | → | td_ joins (~td@i5387091D.versanet.de) |
| 2025-10-21 02:37:01 | → | SlackCoder joins (~SlackCode@208.26.91.234) |
| 2025-10-21 02:40:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-21 02:40:39 | × | Googulator68 quits (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-10-21 02:40:41 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-10-21 02:40:48 | → | Googulator68 joins (~Googulato@2a01-036d-0106-03fa-0485-6a66-0733-0e38.pool6.digikabel.hu) |
| 2025-10-21 02:44:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-10-21 02:52:40 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 2025-10-21 02:53:25 | × | SlackCoder quits (~SlackCode@208.26.91.234) (Ping timeout: 264 seconds) |
| 2025-10-21 02:55:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-21 03:03:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-21 03:10:02 | → | gorignak joins (~gorignak@user/gorignak) |
| 2025-10-21 03:11:33 | × | synchromesh quits (~john@2406:5a00:2412:2c00:75ff:6dec:5332:48f7) (Read error: Connection reset by peer) |
| 2025-10-21 03:12:22 | → | synchromesh joins (~john@2406:5a00:2412:2c00:5031:98de:1fb1:99bf) |
| 2025-10-21 03:14:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-21 03:19:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-10-21 03:29:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-10-21 03:34:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
All times are in UTC.