Logs: liberachat/#haskell
| 2025-12-21 05:04:08 | → | AlexZenon joins (~alzenon@178.34.160.91) |
| 2025-12-21 05:04:55 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2025-12-21 05:05:30 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2025-12-21 05:05:51 | × | trickard quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 05:06:00 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-12-21 05:06:04 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 05:09:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 05:09:55 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 252 seconds) |
| 2025-12-21 05:11:50 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-12-21 05:15:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 05:25:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 05:30:04 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-21 05:40:40 | → | Googulator55 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 05:40:42 | × | Googulator7 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 05:41:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 05:47:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 05:54:19 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 264 seconds) |
| 2025-12-21 06:01:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 06:05:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-21 06:10:23 | × | trickard_ quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 06:13:13 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 06:16:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 06:21:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-21 06:25:54 | trickard_ | is now known as trickard |
| 2025-12-21 06:31:43 | × | trickard quits (~trickard@cpe-81-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-12-21 06:32:13 | → | finsternis joins (~X@23.226.237.192) |
| 2025-12-21 06:34:26 | → | trickard_ joins (~trickard@cpe-81-98-47-163.wireline.com.au) |
| 2025-12-21 06:40:53 | → | Googulator19 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 06:41:17 | × | Googulator55 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 06:45:28 | → | karenw joins (~karenw@user/karenw) |
| 2025-12-21 06:48:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 06:52:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 07:04:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 07:08:35 | trickard_ | is now known as trickard |
| 2025-12-21 07:09:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-21 07:10:45 | → | Googulator8 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 07:10:45 | × | Googulator19 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 07:10:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 07:15:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-21 07:26:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 07:31:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 07:34:18 | × | annamalai quits (~annamalai@2409:4042:d13:652a::9eca:d20b) (Remote host closed the connection) |
| 2025-12-21 07:39:15 | × | xff0x quits (~xff0x@2405:6580:b080:900:2d2a:a485:c072:ffd2) (Ping timeout: 250 seconds) |
| 2025-12-21 07:40:41 | → | Googulator58 joins (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) |
| 2025-12-21 07:41:23 | × | Googulator8 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 07:42:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 07:43:01 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-12-21 07:46:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 07:47:29 | → | annamalai joins (~annamalai@157.33.254.173) |
| 2025-12-21 07:48:17 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-12-21 07:56:14 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-12-21 07:57:28 | → | img joins (~img@user/img) |
| 2025-12-21 07:58:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 08:00:12 | × | tt1231607 quits (~tt1231@75.185.104.199) (Quit: The Lounge - https://thelounge.chat) |
| 2025-12-21 08:01:12 | → | milan2 joins (~milan@88.212.61.169) |
| 2025-12-21 08:03:06 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-12-21 08:05:37 | → | tt1231607 joins (~tt1231@75.185.104.199) |
| 2025-12-21 08:06:51 | → | FirefoxDeHuk joins (~FirefoxDe@user/FirefoxDeHuk) |
| 2025-12-21 08:11:00 | ← | orizuru parts (~orizuru@user/orizuru) (The Lounge - https://thelounge.chat) |
| 2025-12-21 08:11:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 08:16:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2025-12-21 08:20:42 | → | Googulator97 joins (~Googulato@80-95-87-105.pool.digikabel.hu) |
| 2025-12-21 08:21:17 | × | Googulator58 quits (~Googulato@2a01-036d-0106-48e4-3c18-a4bd-1bda-7c8b.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-12-21 08:22:23 | → | xff0x joins (~xff0x@2405:6580:b080:900:ae34:f81a:c4c2:4c9b) |
| 2025-12-21 08:27:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 08:34:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-12-21 08:40:15 | × | FirefoxDeHuk quits (~FirefoxDe@user/FirefoxDeHuk) (Quit: Client closed) |
| 2025-12-21 08:41:03 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-12-21 08:44:11 | → | FirefoxDeHuk joins (~FirefoxDe@user/FirefoxDeHuk) |
| 2025-12-21 08:45:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 08:45:33 | × | synchromesh quits (~john@2406:5a00:2412:2c00:40e6:aa97:4307:9d7) (Read error: Connection reset by peer) |
| 2025-12-21 08:46:45 | × | Cyclic27 quits (~Cyclic@c-73-202-24-148.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2025-12-21 08:47:01 | → | synchromesh joins (~john@2406:5a00:2412:2c00:40e6:aa97:4307:9d7) |
| 2025-12-21 08:48:13 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 2025-12-21 08:48:24 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 2025-12-21 08:49:55 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 2025-12-21 08:50:10 | → | califax joins (~califax@user/califx) |
| 2025-12-21 08:50:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-12-21 08:55:53 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2025-12-21 09:00:15 | × | Square2 quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 2025-12-21 09:01:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 09:06:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2025-12-21 09:12:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 09:17:48 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-12-21 09:20:13 | <tomsmeding> | hololeap: not with a guarantee that you get the actual default `compare`, because GHC only produces that when you `deriving (Ord)`; you'd have to find a library |
| 2025-12-21 09:21:24 | <[exa]> | hololeap: can you derive it for some wrapper/related newtype or so and then coerce? (or maybe the other way) |
| 2025-12-21 09:21:58 | <[exa]> | good mornin' btw |
| 2025-12-21 09:22:30 | <hololeap> | good morning |
| 2025-12-21 09:23:01 | × | neuromute quits (~neuromute@173.44.56.66) (Remote host closed the connection) |
| 2025-12-21 09:33:37 | × | FirefoxDeHuk quits (~FirefoxDe@user/FirefoxDeHuk) (Ping timeout: 272 seconds) |
| 2025-12-21 09:37:56 | → | FirefoxDeHuk joins (~FirefoxDe@user/FirefoxDeHuk) |
| 2025-12-21 09:37:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 09:42:31 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 2025-12-21 09:42:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-12-21 09:48:13 | × | pfc quits (~pfc@user/pfc) (Remote host closed the connection) |
| 2025-12-21 09:50:57 | → | pfc joins (~pfc@user/pfc) |
| 2025-12-21 09:53:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2025-12-21 09:54:48 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-12-21 09:56:20 | × | pfc quits (~pfc@user/pfc) (Remote host closed the connection) |
| 2025-12-21 09:58:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
All times are in UTC.