Logs: liberachat/#haskell
| 2026-01-17 09:27:00 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-17 09:28:52 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 09:31:08 | → | ZLima12 joins (~zlima12@user/meow/ZLima12) |
| 2026-01-17 09:38:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 09:40:18 | → | Tuplanolla joins (~Tuplanoll@85-156-32-207.elisa-laajakaista.fi) |
| 2026-01-17 09:42:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 09:48:20 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 2026-01-17 09:49:30 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-01-17 09:49:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 09:53:09 | → | anpad joins (~pandeyan@user/anpad) |
| 2026-01-17 09:55:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-17 09:59:49 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 260 seconds) |
| 2026-01-17 10:05:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 10:10:53 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-17 10:12:28 | → | acidjnk joins (~acidjnk@p200300d6e7171955902046af4b3b27fd.dip0.t-ipconnect.de) |
| 2026-01-17 10:13:39 | → | __monty__ joins (~toonn@user/toonn) |
| 2026-01-17 10:16:38 | × | trickard_ quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 10:16:52 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 10:19:04 | × | Hardyhardhard quits (~Hardyhard@user/hardyhardhard) (Quit: Client closed) |
| 2026-01-17 10:19:19 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2026-01-17 10:21:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 10:26:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 10:28:13 | × | Inline quits (~User@2001-4dd6-dd24-0-8769-cf17-85e6-2644.ipv6dyn.netcologne.de) (Ping timeout: 250 seconds) |
| 2026-01-17 10:37:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 10:38:54 | × | Square2 quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 2026-01-17 10:42:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-17 10:43:19 | → | sp1ff` joins (~user@2601:1c2:4701:900::32d4) |
| 2026-01-17 10:44:15 | × | sp1ff quits (~user@2601:1c2:4701:900::327f) (Ping timeout: 250 seconds) |
| 2026-01-17 10:44:40 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2026-01-17 10:50:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 10:56:55 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 2026-01-17 10:57:57 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-01-17 10:59:09 | × | trickard_ quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 10:59:22 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 11:06:59 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-17 11:09:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 11:09:48 | × | trickard_ quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 11:10:02 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 11:13:10 | → | Inline joins (~User@2001-4dd6-dd24-0-886a-5b51-ee9-3d0b.ipv6dyn.netcologne.de) |
| 2026-01-17 11:13:57 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-17 11:14:12 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2026-01-17 11:15:42 | → | Brumaire joins (~no@94.140.114.73) |
| 2026-01-17 11:24:47 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 11:28:36 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2026-01-17 11:29:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 11:29:26 | → | tcard_ joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2026-01-17 11:29:35 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Read error: Connection reset by peer) |
| 2026-01-17 11:40:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 11:43:32 | × | Miroboru quits (~myrvoll@188.113.115.67) (Quit: Lost terminal) |
| 2026-01-17 11:45:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 11:51:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 11:57:04 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2026-01-17 12:07:45 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 12:13:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-17 12:17:24 | trickard_ | is now known as trickard |
| 2026-01-17 12:23:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 12:26:17 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2026-01-17 12:27:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-17 12:31:19 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 240 seconds) |
| 2026-01-17 12:38:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 12:43:05 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2026-01-17 12:45:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 12:47:18 | AlexNoo__ | is now known as AlexNoo |
| 2026-01-17 12:47:26 | × | bggd_ quits (~bgg@2a01:e0a:fd5:f510:3a79:510c:fa70:be22) (Remote host closed the connection) |
| 2026-01-17 12:52:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 12:53:13 | → | fp joins (~Thunderbi@2001-14bb-11b-8862-cedf-8b9b-bf14-e748.rev.dnainternet.fi) |
| 2026-01-17 12:54:14 | × | fp quits (~Thunderbi@2001-14bb-11b-8862-cedf-8b9b-bf14-e748.rev.dnainternet.fi) (Client Quit) |
| 2026-01-17 12:54:25 | → | fp1 joins (~Thunderbi@84-253-204-168.bb.dnainternet.fi) |
| 2026-01-17 12:54:31 | × | fp1 quits (~Thunderbi@84-253-204-168.bb.dnainternet.fi) (Client Quit) |
| 2026-01-17 12:58:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-01-17 13:02:55 | → | gmg joins (~user@user/gehmehgeh) |
| 2026-01-17 13:08:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 13:11:45 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 244 seconds) |
| 2026-01-17 13:12:14 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-01-17 13:13:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2026-01-17 13:23:26 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-01-17 13:23:32 | → | Everything joins (~Everythin@172-232-54-192.ip.linodeusercontent.com) |
| 2026-01-17 13:24:15 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-01-17 13:24:36 | → | merijn joins (~merijn@62.45.136.136) |
| 2026-01-17 13:27:15 | × | trickard quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 13:27:28 | → | trickard joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 13:28:55 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 240 seconds) |
| 2026-01-17 13:31:56 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2026-01-17 13:34:27 | → | Zemy joins (~Zemy@2600:100c:b0a9:6e2b:f808:90ff:fe12:ad2) |
| 2026-01-17 13:34:59 | × | trickard quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-17 13:37:38 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-17 13:38:07 | × | Zemy_ quits (~Zemy@72.178.108.235) (Ping timeout: 240 seconds) |
| 2026-01-17 13:40:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 13:43:06 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 2026-01-17 13:43:47 | trickard_ | is now known as trickard |
| 2026-01-17 13:44:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-17 13:49:49 | <haskellbridge> | <Man of Letters (Mikolaj)> hi! how can I get around this type error (disregarding if this snippet has any sense or not --- it's an experiment) |
| 2026-01-17 13:49:51 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/CPJSrwrMyneClYpVQHFTIqOi/Uki16-TNNYA (16 lines) |
| 2026-01-17 13:50:01 | Alex_test_ | is now known as Alex_delenda_est |
| 2026-01-17 13:50:08 | AlexZenon_2 | is now known as AlexZenon |
| 2026-01-17 13:50:22 | <haskellbridge> | <Man of Letters (Mikolaj)> or is SomeTypeRep defined on purpose to be unusable? if so, why? |
| 2026-01-17 13:50:37 | <haskellbridge> | <Man of Letters (Mikolaj)> I hope it's something trivial I'm missing |
| 2026-01-17 13:53:37 | <[exa]> | can you please pastebin the error? for IRC folks the code looks somehow unusably shortened (see topic for a good pastebin) |
| 2026-01-17 13:53:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-17 13:55:45 | <[exa]> | oh well it works with curl... :D |
All times are in UTC.