Logs: liberachat/#haskell
| 2026-04-23 19:53:05 | × | ggb quits (a62ffbaf4f@2a03:6000:1812:100::3ac) (Ping timeout: 245 seconds) |
| 2026-04-23 19:53:05 | × | jakzale quits (6291399afa@user/jakzale) (Ping timeout: 245 seconds) |
| 2026-04-23 19:53:17 | → | aniketd joins (32aa4844cd@2a03:6000:1812:100::dcb) |
| 2026-04-23 19:53:27 | × | samhh__ quits (7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 244 seconds) |
| 2026-04-23 19:53:27 | → | ggb joins (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 2026-04-23 19:53:29 | → | bheesham joins (3aa22d8375@2a03:6000:1812:100::e40) |
| 2026-04-23 19:53:35 | → | pmk joins (6afe4476a1@2a03:6000:1812:100::26d) |
| 2026-04-23 19:53:42 | → | probie joins (cc0b34050a@user/probie) |
| 2026-04-23 19:53:42 | → | jakzale joins (6291399afa@user/jakzale) |
| 2026-04-23 19:54:04 | × | whereiseveryone quits (206ba86c98@2a03:6000:1812:100::2e4) (Ping timeout: 245 seconds) |
| 2026-04-23 19:54:29 | × | b0o quits (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Ping timeout: 244 seconds) |
| 2026-04-23 19:54:29 | × | rselim quits (ce261f06ff@user/milesrout) (Ping timeout: 244 seconds) |
| 2026-04-23 19:54:29 | × | bgtdsword quits (b968c1779f@user/titibandit) (Ping timeout: 244 seconds) |
| 2026-04-23 19:55:45 | → | caz joins (866183745f@2a03:6000:1812:100::15d4) |
| 2026-04-23 19:55:51 | → | smiesner joins (b0cf5acf8c@user/smiesner) |
| 2026-04-23 19:56:49 | → | whereiseveryone joins (206ba86c98@2a03:6000:1812:100::2e4) |
| 2026-04-23 19:56:59 | → | alethkit joins (23bd17ddc6@sourcehut/user/alethkit) |
| 2026-04-23 19:57:00 | → | samhh_ joins (7569f027cf@2a03:6000:1812:100::e4) |
| 2026-04-23 19:57:01 | → | rselim joins (ce261f06ff@user/milesrout) |
| 2026-04-23 19:57:03 | → | bgtdsword joins (b968c1779f@user/titibandit) |
| 2026-04-23 19:57:09 | → | b0o joins (0e4a0bf4c9@2a03:6000:1812:100::1bf) |
| 2026-04-23 19:58:10 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2026-04-23 19:58:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 19:59:07 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 2026-04-23 20:01:04 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2026-04-23 20:03:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-23 20:07:09 | → | jkoshy joins (99b9359beb@user/jkoshy) |
| 2026-04-23 20:14:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 20:14:02 | → | CiaoSen joins (~Jura@p549cbfb1.dip0.t-ipconnect.de) |
| 2026-04-23 20:16:52 | × | accountant quits (~accountan@2600:1702:5b61:8b40:955:b655:442f:e301) (Ping timeout: 245 seconds) |
| 2026-04-23 20:19:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-23 20:29:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 20:34:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-23 20:35:14 | × | polykernel quits (~polykerne@user/polykernel) (Remote host closed the connection) |
| 2026-04-23 20:35:59 | → | polykernel joins (~polykerne@user/polykernel) |
| 2026-04-23 20:45:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 20:47:02 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 265 seconds) |
| 2026-04-23 20:52:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-23 20:56:48 | × | michalz quits (~michalz@185.246.207.197) (Remote host closed the connection) |
| 2026-04-23 20:59:04 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2026-04-23 21:03:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 21:08:06 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-23 21:09:25 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2026-04-23 21:11:53 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-04-23 21:18:43 | → | misterfish joins (~misterfis@84.53.85.146) |
| 2026-04-23 21:19:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 21:20:20 | <haskellbridge> | <yin> i'm always reminded of this https://www.youtube.com/watch?v=jFk1qpr1ytk |
| 2026-04-23 21:22:29 | Pixi` | is now known as Pixi |
| 2026-04-23 21:23:39 | <monochrom> | "we find ourselves in need of a successor" hahaha |
| 2026-04-23 21:24:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-23 21:24:39 | <monochrom> | "natural numbers retain all of the positive aspects of the integers" hahaha they really had a field day didn't they |
| 2026-04-23 21:27:35 | → | pavonia joins (~user@user/siracusa) |
| 2026-04-23 21:29:04 | × | rncwnd quits (~quassel@2a01:4f8:221:27c6::1) (Quit: Later) |
| 2026-04-23 21:29:40 | → | rncwnd joins (~quassel@2a01:4f8:221:27c6::1) |
| 2026-04-23 21:34:22 | × | dtman34 quits (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2026-04-23 21:34:44 | → | dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 2026-04-23 21:34:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 21:39:29 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 21:41:08 | <dolio> | monochrom: You might enjoy this guy: https://www.pédrot.fr/publications.html |
| 2026-04-23 21:42:40 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2026-04-23 21:50:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 21:51:11 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2026-04-23 21:55:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-04-23 21:55:42 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2026-04-23 22:04:31 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 264 seconds) |
| 2026-04-23 22:04:41 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2026-04-23 22:06:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 22:10:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-23 22:14:15 | × | tok quits (~user@user/tok) (Remote host closed the connection) |
| 2026-04-23 22:22:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 22:24:19 | × | chymera quits (~chymera@ns1000526.ip-51-81-46.us) (Remote host closed the connection) |
| 2026-04-23 22:28:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-23 22:31:50 | <monochrom> | hahaha "The Next 700 Syntactical Models of Type Theory" |
| 2026-04-23 22:33:34 | → | chymera joins (~chymera@ns1000526.ip-51-81-46.us) |
| 2026-04-23 22:34:36 | × | asd quits (~asd@2a02:587:4550:b400:874e:c79f:8e8f:2a67) (Quit: Client closed) |
| 2026-04-23 22:37:31 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2026-04-23 22:38:11 | → | williu5 joins (~williu5@user/williu5) |
| 2026-04-23 22:40:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 22:44:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-04-23 22:52:02 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:3480:d5d:7dfc:8fb4) |
| 2026-04-23 22:52:02 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:3480:d5d:7dfc:8fb4) (Changing host) |
| 2026-04-23 22:52:02 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-23 22:52:05 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 2026-04-23 22:55:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 23:00:11 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-04-23 23:04:23 | × | craunts795335385 quits (~craunts@152.32.100.66) (Quit: The Lounge - https://thelounge.chat) |
| 2026-04-23 23:10:58 | → | arandombit joins (~arandombi@2a02:2455:8656:7100:b192:7d6d:2547:30d4) |
| 2026-04-23 23:10:58 | × | arandombit quits (~arandombi@2a02:2455:8656:7100:b192:7d6d:2547:30d4) (Changing host) |
| 2026-04-23 23:10:58 | → | arandombit joins (~arandombi@user/arandombit) |
| 2026-04-23 23:11:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-04-23 23:16:02 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
All times are in UTC.