Logs: liberachat/#haskell
| 2025-11-01 13:39:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-11-01 13:43:25 | <mreh> | tomsmeding: I just watched Richard Eisenberg's videos about deriving mechanisms and got a bit excited when I thought I could use some of that knowledge |
| 2025-11-01 13:45:36 | × | Googulator28 quits (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-01 13:45:43 | → | Googulator16 joins (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-01 13:46:51 | → | Zemy joins (~Zemy@2600:100c:b0a4:2639:ec28:69ff:feb1:91bf) |
| 2025-11-01 13:46:51 | × | Zemy_ quits (~Zemy@12.50.228.210) (Read error: Connection reset by peer) |
| 2025-11-01 13:46:57 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-11-01 13:48:28 | → | Zemy_ joins (~Zemy@syn-192-198-252-043.biz.spectrum.com) |
| 2025-11-01 13:48:47 | → | Pozyomka joins (~pyon@user/pyon) |
| 2025-11-01 13:49:42 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-11-01 13:51:26 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-11-01 13:51:30 | × | Zemy quits (~Zemy@2600:100c:b0a4:2639:ec28:69ff:feb1:91bf) (Ping timeout: 256 seconds) |
| 2025-11-01 13:54:33 | → | Zemy joins (~Zemy@2600:100c:b0a4:2639:b0f4:e3ff:fe2c:c5eb) |
| 2025-11-01 13:54:33 | × | Zemy_ quits (~Zemy@syn-192-198-252-043.biz.spectrum.com) (Read error: Connection reset by peer) |
| 2025-11-01 13:55:13 | → | Zemy_ joins (~Zemy@syn-192-198-252-043.biz.spectrum.com) |
| 2025-11-01 13:55:42 | → | Googulator84 joins (~Googulato@84-236-65-182.pool.digikabel.hu) |
| 2025-11-01 13:55:48 | × | Googulator16 quits (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-01 13:58:52 | × | Zemy quits (~Zemy@2600:100c:b0a4:2639:b0f4:e3ff:fe2c:c5eb) (Ping timeout: 256 seconds) |
| 2025-11-01 14:00:05 | × | Square quits (~Square@user/square) (Ping timeout: 250 seconds) |
| 2025-11-01 14:06:14 | × | Zemy_ quits (~Zemy@syn-192-198-252-043.biz.spectrum.com) (Read error: Connection reset by peer) |
| 2025-11-01 14:06:16 | → | Zemy joins (~Zemy@2600:100c:b0a4:2639:c8ec:2eff:fe15:3fc9) |
| 2025-11-01 14:06:48 | → | Zemy_ joins (~Zemy@12.50.228.210) |
| 2025-11-01 14:06:48 | × | Zemy quits (~Zemy@2600:100c:b0a4:2639:c8ec:2eff:fe15:3fc9) (Read error: Connection reset by peer) |
| 2025-11-01 14:09:39 | × | deptype quits (~deptype@2406:b400:3a:73c2:1eab:f9cf:6f5b:fc2) (Remote host closed the connection) |
| 2025-11-01 14:09:57 | → | deptype joins (~deptype@2406:b400:3a:73c2:384:8985:1e9d:1575) |
| 2025-11-01 14:09:58 | × | Zemy_ quits (~Zemy@12.50.228.210) (Read error: Connection reset by peer) |
| 2025-11-01 14:10:04 | → | Zemy joins (~Zemy@2600:100c:b0a4:2639:644a:10ff:febe:261) |
| 2025-11-01 14:10:35 | → | Zemy_ joins (~Zemy@12.50.228.210) |
| 2025-11-01 14:10:39 | → | Googulator99 joins (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-01 14:10:42 | × | Googulator84 quits (~Googulato@84-236-65-182.pool.digikabel.hu) (Quit: Client closed) |
| 2025-11-01 14:14:44 | × | Zemy quits (~Zemy@2600:100c:b0a4:2639:644a:10ff:febe:261) (Ping timeout: 256 seconds) |
| 2025-11-01 14:15:43 | × | Googulator99 quits (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-01 14:15:50 | → | Googulator83 joins (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-01 14:16:09 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 2025-11-01 14:16:35 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-11-01 14:29:43 | × | deptype quits (~deptype@2406:b400:3a:73c2:384:8985:1e9d:1575) (Remote host closed the connection) |
| 2025-11-01 14:30:01 | → | deptype joins (~deptype@2406:b400:3a:73c2:a079:8026:2314:603e) |
| 2025-11-01 14:30:42 | × | Googulator83 quits (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-01 14:30:43 | → | Googulator2 joins (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-01 14:31:58 | Zemy_ | is now known as Zemy |
| 2025-11-01 14:38:06 | → | Zemy_ joins (~Zemy@2600:100c:b0a4:2639:f8e9:1eff:febe:143e) |
| 2025-11-01 14:38:06 | × | Zemy quits (~Zemy@12.50.228.210) (Read error: Connection reset by peer) |
| 2025-11-01 14:38:38 | → | Zemy joins (~Zemy@12.50.228.210) |
| 2025-11-01 14:40:55 | × | synchromesh quits (~john@2406:5a00:2412:2c00:10d9:ceb6:778c:2519) (Read error: Connection reset by peer) |
| 2025-11-01 14:41:12 | × | Zemy_ quits (~Zemy@2600:100c:b0a4:2639:f8e9:1eff:febe:143e) (Read error: Connection reset by peer) |
| 2025-11-01 14:42:01 | → | synchromesh joins (~john@2406:5a00:2412:2c00:4d5d:3496:2082:9f88) |
| 2025-11-01 14:43:04 | × | Zemy quits (~Zemy@12.50.228.210) (Read error: Connection reset by peer) |
| 2025-11-01 14:43:12 | → | Zemy joins (~Zemy@2600:100c:b0a4:2639:78ca:fcff:fe49:668b) |
| 2025-11-01 14:43:44 | → | aureness joins (~hello@109.174.77.94) |
| 2025-11-01 14:43:44 | × | aureness quits (~hello@109.174.77.94) (Changing host) |
| 2025-11-01 14:43:44 | → | aureness joins (~hello@user/aureness) |
| 2025-11-01 14:43:58 | → | Zemy_ joins (~Zemy@syn-192-198-252-043.biz.spectrum.com) |
| 2025-11-01 14:45:07 | × | craunts795335385 quits (~craunts@136.158.7.194) (Read error: Connection reset by peer) |
| 2025-11-01 14:45:20 | × | Zemy quits (~Zemy@2600:100c:b0a4:2639:78ca:fcff:fe49:668b) (Read error: Connection reset by peer) |
| 2025-11-01 14:45:41 | → | Googulator68 joins (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-01 14:45:46 | × | Googulator2 quits (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-01 14:46:36 | → | Zemy joins (~Zemy@2600:100c:b0a4:2639:a8d8:24ff:fead:cc4f) |
| 2025-11-01 14:46:36 | × | Zemy_ quits (~Zemy@syn-192-198-252-043.biz.spectrum.com) (Read error: Connection reset by peer) |
| 2025-11-01 14:47:46 | → | Zemy_ joins (~Zemy@12.50.228.210) |
| 2025-11-01 14:49:01 | × | Zemy quits (~Zemy@2600:100c:b0a4:2639:a8d8:24ff:fead:cc4f) (Read error: Connection reset by peer) |
| 2025-11-01 14:49:20 | → | Zemy joins (~Zemy@2600:100c:b0a4:2639:3009:a7ff:feb9:d772) |
| 2025-11-01 14:49:22 | × | Zemy_ quits (~Zemy@12.50.228.210) (Read error: Connection reset by peer) |
| 2025-11-01 14:49:45 | × | deptype quits (~deptype@2406:b400:3a:73c2:a079:8026:2314:603e) (Remote host closed the connection) |
| 2025-11-01 14:50:06 | → | Zemy_ joins (~Zemy@syn-192-198-252-043.biz.spectrum.com) |
| 2025-11-01 14:50:06 | → | deptype joins (~deptype@2406:b400:3a:73c2:a5e:2cba:453:d47e) |
| 2025-11-01 14:50:28 | × | Fijxu_ quits (~Fijxu@user/fijxu) (Ping timeout: 255 seconds) |
| 2025-11-01 14:50:50 | × | Zemy quits (~Zemy@2600:100c:b0a4:2639:3009:a7ff:feb9:d772) (Read error: Connection reset by peer) |
| 2025-11-01 14:50:56 | → | Zemy joins (~Zemy@2600:100c:b0a4:2639:f4de:cdff:fec1:f567) |
| 2025-11-01 14:51:36 | → | Core8690 joins (~Zemy@mobile-107-80-206-16.mycingular.net) |
| 2025-11-01 14:54:24 | × | Zemy_ quits (~Zemy@syn-192-198-252-043.biz.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-11-01 14:55:32 | × | Zemy quits (~Zemy@2600:100c:b0a4:2639:f4de:cdff:fec1:f567) (Ping timeout: 256 seconds) |
| 2025-11-01 15:00:27 | → | Zemy joins (~Zemy@2600:100c:b0a4:2639:f841:46ff:fe41:6016) |
| 2025-11-01 15:00:54 | × | tromp quits (~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-11-01 15:01:16 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 2025-11-01 15:02:22 | → | Zemy_ joins (~Zemy@syn-192-154-181-091.biz.spectrum.com) |
| 2025-11-01 15:02:54 | × | Core8690 quits (~Zemy@mobile-107-80-206-16.mycingular.net) (Ping timeout: 256 seconds) |
| 2025-11-01 15:02:54 | × | trickard quits (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-11-01 15:02:55 | → | tromp joins (~textual@2001:1c00:3487:1b00:dc25:ce25:d6de:4df2) |
| 2025-11-01 15:03:49 | Shelob | is now known as She |
| 2025-11-01 15:05:10 | × | Zemy quits (~Zemy@2600:100c:b0a4:2639:f841:46ff:fe41:6016) (Ping timeout: 256 seconds) |
| 2025-11-01 15:06:51 | → | trickard_ joins (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-11-01 15:07:39 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 2025-11-01 15:09:50 | → | Zemy joins (~Zemy@2600:100c:b0a4:2639:819:7fff:fe84:5617) |
| 2025-11-01 15:10:17 | × | deptype quits (~deptype@2406:b400:3a:73c2:a5e:2cba:453:d47e) (Remote host closed the connection) |
| 2025-11-01 15:10:31 | → | Core9032 joins (~Zemy@mobile-107-80-206-60.mycingular.net) |
| 2025-11-01 15:10:35 | → | deptype joins (~deptype@2406:b400:3a:73c2:f0d0:b80d:370d:eb38) |
| 2025-11-01 15:11:07 | × | Zemy quits (~Zemy@2600:100c:b0a4:2639:819:7fff:fe84:5617) (Read error: Connection reset by peer) |
| 2025-11-01 15:11:23 | → | Zemy joins (~Zemy@2600:100c:b0a4:2639:b0a2:c3ff:fefd:cbf) |
| 2025-11-01 15:13:39 | × | Zemy_ quits (~Zemy@syn-192-154-181-091.biz.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-11-01 15:14:48 | × | Core9032 quits (~Zemy@mobile-107-80-206-60.mycingular.net) (Ping timeout: 256 seconds) |
| 2025-11-01 15:15:52 | → | Googulator89 joins (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) |
| 2025-11-01 15:15:52 | × | Googulator68 quits (~Googulato@2a01-036d-0106-03fa-d858-cbac-c845-1acf.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-11-01 15:21:46 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2025-11-01 15:25:00 | × | Zemy quits (~Zemy@2600:100c:b0a4:2639:b0a2:c3ff:fefd:cbf) (Ping timeout: 256 seconds) |
| 2025-11-01 15:25:57 | → | Zemyla joins (~Zemyla@72.178.108.235) |
| 2025-11-01 15:26:14 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-11-01 15:27:40 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-11-01 15:28:03 | → | nerdychip joins (~nerdychip@212.129.84.13) |
| 2025-11-01 15:28:03 | × | nerdychip quits (~nerdychip@212.129.84.13) (Changing host) |
| 2025-11-01 15:28:03 | → | nerdychip joins (~nerdychip@user/nerdychip) |
All times are in UTC.