Logs: liberachat/#haskell
| 2026-01-16 02:30:46 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 2026-01-16 02:30:47 | ChanServ | sets mode +v haskellbridge |
| 2026-01-16 02:30:59 | × | acidjnk quits (~acidjnk@p200300d6e7171948e4551533bd5d7598.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2026-01-16 02:36:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-16 02:41:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-16 02:41:20 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 240 seconds) |
| 2026-01-16 02:43:19 | × | trickard_ quits (~trickard@cpe-84-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-16 02:43:33 | → | trickard_ joins (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 2026-01-16 02:44:44 | × | Googulator69 quits (~Googulato@2a01-036d-0106-29ac-fd48-b0ea-63d3-602a.pool6.digikabel.hu) (Quit: Client closed) |
| 2026-01-16 02:44:59 | → | Googulator69 joins (~Googulato@2a01-036d-0106-29ac-fd48-b0ea-63d3-602a.pool6.digikabel.hu) |
| 2026-01-16 02:47:56 | × | omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 2026-01-16 02:51:14 | → | omidmash joins (~omidmash@user/omidmash) |
| 2026-01-16 02:51:25 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 2026-01-16 02:52:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-16 02:55:56 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 2026-01-16 02:56:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-16 03:08:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-16 03:13:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-16 03:16:22 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-01-16 03:16:35 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-01-16 03:17:12 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2026-01-16 03:23:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-16 03:30:27 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-16 03:34:56 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-16 03:35:38 | catties | is now known as Catty |
| 2026-01-16 03:36:47 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-01-16 03:36:53 | → | Zemy joins (~Zemy@2600:100c:b000:db1:e431:70ff:fe61:4d09) |
| 2026-01-16 03:38:55 | × | Zemy_ quits (~Zemy@72.178.108.235) (Ping timeout: 240 seconds) |
| 2026-01-16 03:39:43 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2026-01-16 03:40:55 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 240 seconds) |
| 2026-01-16 03:41:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-16 03:42:34 | → | jle` joins (~jle`@2603:8001:3b00:11:930a:850f:3a65:f2e0) |
| 2026-01-16 03:43:10 | × | Zemy quits (~Zemy@2600:100c:b000:db1:e431:70ff:fe61:4d09) (Ping timeout: 246 seconds) |
| 2026-01-16 03:46:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-16 03:48:15 | × | trickard_ quits (~trickard@cpe-84-98-47-163.wireline.com.au) (Ping timeout: 240 seconds) |
| 2026-01-16 03:51:18 | → | trickard_ joins (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 2026-01-16 03:57:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-16 03:58:31 | → | CloneOfNone_ joins (~CloneOfNo@user/CloneOfNone) |
| 2026-01-16 04:01:31 | × | CloneOfNone quits (~CloneOfNo@user/CloneOfNone) (Ping timeout: 264 seconds) |
| 2026-01-16 04:01:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-16 04:02:03 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2026-01-16 04:06:58 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 2026-01-16 04:07:33 | × | ryanbooker quits (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2026-01-16 04:09:13 | → | pipsquak-bird joins (~g@c-71-235-170-34.hsd1.ma.comcast.net) |
| 2026-01-16 04:11:23 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-01-16 04:12:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-16 04:13:01 | × | trickard_ quits (~trickard@cpe-84-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-16 04:13:14 | → | trickard_ joins (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 2026-01-16 04:16:46 | → | weary-traveler joins (~user@user/user363627) |
| 2026-01-16 04:16:58 | × | She quits (haveident@libera/staff/she/her) (Quit: Either upgrades, or the world's ending.) |
| 2026-01-16 04:17:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2026-01-16 04:18:30 | → | She joins (haveident@libera/staff/she/her) |
| 2026-01-16 04:25:21 | × | comonad quits (~comonad@p200300d02722ae00dce4ce9451b59974.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2026-01-16 04:28:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-16 04:28:58 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2026-01-16 04:29:51 | × | trickard_ quits (~trickard@cpe-84-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-16 04:30:05 | → | trickard_ joins (~trickard@cpe-84-98-47-163.wireline.com.au) |
| 2026-01-16 04:32:52 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 2026-01-16 04:33:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-16 04:34:55 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 2026-01-16 04:39:23 | → | Zemy joins (~Zemy@2600:100c:b000:db1:d457:8cff:fed5:dff0) |
| 2026-01-16 04:39:23 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-16 04:40:06 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2026-01-16 04:43:59 | × | Zemy quits (~Zemy@2600:100c:b000:db1:d457:8cff:fed5:dff0) (Ping timeout: 260 seconds) |
| 2026-01-16 04:44:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-16 04:45:27 | → | Zemy joins (~Zemy@2600:100c:b000:db1:c051:aeff:fe7a:2412) |
| 2026-01-16 04:45:28 | × | Zemy_ quits (~Zemy@72.178.108.235) (Read error: Connection reset by peer) |
| 2026-01-16 04:46:05 | → | Zemy_ joins (~Zemy@72.178.108.235) |
| 2026-01-16 04:47:54 | → | trickard__ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-16 04:48:17 | trickard__ | is now known as trickard |
| 2026-01-16 04:48:34 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 244 seconds) |
| 2026-01-16 04:49:13 | × | trickard_ quits (~trickard@cpe-84-98-47-163.wireline.com.au) (Ping timeout: 264 seconds) |
| 2026-01-16 04:49:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-16 04:49:49 | × | Zemy quits (~Zemy@2600:100c:b000:db1:c051:aeff:fe7a:2412) (Ping timeout: 260 seconds) |
| 2026-01-16 04:59:53 | → | tessier joins (~tessier@ip68-8-117-219.sd.sd.cox.net) |
| 2026-01-16 04:59:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-16 05:01:22 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2026-01-16 05:01:56 | <jreicher> | monochrom: do you also have lecture notes that deal with countability? (I don't want to restart the topic here; asking only this question) |
| 2026-01-16 05:04:59 | × | jle` quits (~jle`@2603:8001:3b00:11:930a:850f:3a65:f2e0) (Ping timeout: 250 seconds) |
| 2026-01-16 05:06:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 2026-01-16 05:06:48 | → | jle` joins (~jle`@2603:8001:3b00:11:de64:4c9b:8263:d4ce) |
| 2026-01-16 05:15:09 | → | bggd_ joins (~bgg@2a01:e0a:fd5:f510:8d9:51ba:2d0b:e2a0) |
| 2026-01-16 05:18:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-16 05:21:19 | × | jle` quits (~jle`@2603:8001:3b00:11:de64:4c9b:8263:d4ce) (Quit: WeeChat 4.7.1) |
| 2026-01-16 05:22:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2026-01-16 05:23:34 | × | trickard quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-16 05:23:48 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-16 05:26:13 | → | jle` joins (~jle`@2603:8001:3b00:11:a778:c925:9c27:688d) |
| 2026-01-16 05:29:49 | → | michalz joins (~michalz@185.246.207.201) |
| 2026-01-16 05:30:22 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2026-01-16 05:31:29 | → | karenw joins (~karenw@user/karenw) |
| 2026-01-16 05:33:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-16 05:38:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-01-16 05:38:27 | × | mange quits (~mange@user/mange) (Quit: Quittin' time!) |
| 2026-01-16 05:44:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 2026-01-16 05:46:38 | × | trickard_ quits (~trickard@cpe-82-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-01-16 05:46:52 | → | trickard_ joins (~trickard@cpe-82-98-47-163.wireline.com.au) |
| 2026-01-16 05:48:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2026-01-16 05:53:07 | trickard_ | is now known as trickard |
| 2026-01-16 05:55:12 | × | jreicher quits (~joelr@user/jreicher) (Quit: In transit) |
All times are in UTC.