Logs: liberachat/#haskell
| 2025-09-17 10:18:24 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-09-17 10:18:25 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 248 seconds) |
| 2025-09-17 10:26:19 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
| 2025-09-17 10:31:22 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-17 10:40:10 | → | mreh joins (~matthew@host86-146-25-35.range86-146.btcentralplus.com) |
| 2025-09-17 10:41:42 | × | inline quits (~inline@ip-005-146-196-014.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 2025-09-17 10:42:36 | → | inline joins (~inline@2a02:908:1246:c0c0:4c88:22b9:c265:a39e) |
| 2025-09-17 10:49:26 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-09-17 10:50:15 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-17 10:50:21 | <mreh> | finding which queue families to use for my Vulkan queues feels like a `ListT State` thing |
| 2025-09-17 10:51:47 | <mreh> | each queue has requirements and each queue family has capabilities and a limited number of slots. I guess I'll need `list-t`'s version of ListT too |
| 2025-09-17 10:53:57 | × | petrichor quits (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-09-17 10:54:50 | → | petrichor joins (~jez@user/petrichor) |
| 2025-09-17 10:55:17 | × | petrichor quits (~jez@user/petrichor) (Client Quit) |
| 2025-09-17 10:55:56 | → | petrichor joins (~jez@user/petrichor) |
| 2025-09-17 10:56:59 | × | rembo10_ quits (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-09-17 10:58:48 | × | petrichor quits (~jez@user/petrichor) (Client Quit) |
| 2025-09-17 11:00:20 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-09-17 11:00:26 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 2025-09-17 11:00:42 | × | phm quits (~peter@user/phm) (Quit: leaving) |
| 2025-09-17 11:01:32 | → | inline_ joins (~inline@2a02:908:1246:c0c0:4c88:22b9:c265:a39e) |
| 2025-09-17 11:01:33 | → | phm joins (~peter@user/phm) |
| 2025-09-17 11:02:36 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-17 11:07:15 | × | inline quits (~inline@2a02:908:1246:c0c0:4c88:22b9:c265:a39e) (Remote host closed the connection) |
| 2025-09-17 11:08:07 | → | petrichor joins (~jez@user/petrichor) |
| 2025-09-17 11:09:57 | → | vanishing joins (~vanishing@user/vanishingideal) |
| 2025-09-17 11:10:01 | → | ubert1 joins (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) |
| 2025-09-17 11:10:44 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-09-17 11:10:46 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-17 11:13:14 | × | ubert quits (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2025-09-17 11:13:14 | ubert1 | is now known as ubert |
| 2025-09-17 11:13:14 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 2025-09-17 11:18:22 | → | xff0x joins (~xff0x@2405:6580:b080:900:9dd4:63dc:1bdb:5b8) |
| 2025-09-17 11:20:10 | → | Square joins (~Square4@user/square) |
| 2025-09-17 11:21:28 | × | mari73827 quits (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2025-09-17 11:28:06 | × | fp quits (~Thunderbi@dhcp-87-72.eduroam.aalto.fi) (Ping timeout: 256 seconds) |
| 2025-09-17 11:29:40 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-09-17 11:30:38 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2025-09-17 11:31:00 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2025-09-17 11:31:06 | × | APic quits (apic@apic.name) (Ping timeout: 248 seconds) |
| 2025-09-17 11:34:44 | → | EPic_ joins (~apic@apic.name) |
| 2025-09-17 11:41:07 | → | APic joins (apic@apic.name) |
| 2025-09-17 11:41:46 | × | EPic_ quits (~apic@apic.name) (*.net *.split) |
| 2025-09-17 11:45:23 | → | yegor joins (~yegor@user/yegor) |
| 2025-09-17 11:51:05 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
| 2025-09-17 11:51:32 | → | rvalue joins (~rvalue@about/hackers/rvalue) |
| 2025-09-17 11:52:29 | trickard_ | is now known as trickard |
| 2025-09-17 11:52:46 | inline_ | is now known as inline |
| 2025-09-17 12:05:26 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-17 12:08:01 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-09-17 12:08:54 | × | mreh quits (~matthew@host86-146-25-35.range86-146.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2025-09-17 12:15:08 | trickard_ | is now known as trickard |
| 2025-09-17 12:19:31 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-17 12:24:46 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-17 12:26:39 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 2025-09-17 12:32:28 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2025-09-17 12:34:53 | → | mreh joins (~matthew@host86-146-25-35.range86-146.btcentralplus.com) |
| 2025-09-17 12:34:56 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-09-17 12:36:11 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-09-17 12:37:28 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-09-17 12:40:41 | → | karenw_ joins (~karenw@user/karenw) |
| 2025-09-17 12:46:33 | × | karenw_ quits (~karenw@user/karenw) (Remote host closed the connection) |
| 2025-09-17 12:47:00 | → | karenw joins (~karenw@user/karenw) |
| 2025-09-17 12:48:39 | → | Axma31701 joins (~Axman6@user/axman6) |
| 2025-09-17 12:50:59 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 2025-09-17 12:55:13 | → | Guest9181 joins (~ds@ip-037-049-102-199.um09.pools.vodafone-ip.de) |
| 2025-09-17 12:55:43 | × | rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-09-17 12:56:56 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 2025-09-17 12:58:51 | × | Guest9181 quits (~ds@ip-037-049-102-199.um09.pools.vodafone-ip.de) (Changing host) |
| 2025-09-17 12:58:51 | → | Guest9181 joins (~ds@user/ds7832) |
| 2025-09-17 13:01:50 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-17 13:02:41 | × | petrichor quits (~jez@user/petrichor) (Ping timeout: 248 seconds) |
| 2025-09-17 13:03:31 | → | petrichor joins (~jez@user/petrichor) |
| 2025-09-17 13:03:47 | → | fp joins (~Thunderbi@2001:708:20:1406::1370) |
| 2025-09-17 13:07:07 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-09-17 13:08:35 | → | opqdonut_ joins (~opqdonut@static.154.72.180.157.clients.your-server.de) |
| 2025-09-17 13:13:14 | → | jcarpenter2 joins (~lol@2603:3016:1e01:b980:1d20:3fd8:263d:54c5) |
| 2025-09-17 13:13:30 | × | trickard quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Ping timeout: 256 seconds) |
| 2025-09-17 13:13:30 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-09-17 13:13:46 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-09-17 13:20:33 | × | trickard_ quits (~trickard@cpe-86-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-17 13:23:37 | → | merijn joins (~merijn@77.242.116.146) |
| 2025-09-17 13:23:48 | → | trickard_ joins (~trickard@cpe-86-98-47-163.wireline.com.au) |
| 2025-09-17 13:33:28 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:e5e7:511:ab1f:5368) |
| 2025-09-17 13:33:28 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:e5e7:511:ab1f:5368) (Changing host) |
| 2025-09-17 13:33:28 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-17 13:34:45 | → | ystael joins (~ystael@user/ystael) |
| 2025-09-17 13:43:33 | → | lambdap237175 joins (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2025-09-17 13:43:35 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-09-17 13:43:37 | → | kaankeskin1 joins (~kaankeski@user/kaankeskin) |
| 2025-09-17 13:44:49 | → | Hecate_ joins (~mariposa@user/hecate) |
| 2025-09-17 13:45:13 | → | pikajude- joins (~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) |
| 2025-09-17 13:45:14 | → | dtman34_ joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 2025-09-17 13:45:16 | → | energizer_ joins (~energizer@user/energizer) |
| 2025-09-17 13:45:40 | → | stefan-_- joins (~cri@42dots.de) |
| 2025-09-17 13:45:48 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 256 seconds) |
| 2025-09-17 13:46:23 | → | Ikosit4 joins (~Ikosit@user/ikosit) |
| 2025-09-17 13:46:39 | → | tjbc joins (~tjbc@user/fliife) |
| 2025-09-17 13:46:40 | × | user363627 quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-09-17 13:46:51 | → | meejah_ joins (~meejah@rutas.meejah.ca) |
All times are in UTC.