Logs on 2026-01-01 (liberachat/#haskell)
| 00:03:55 | × | traxex quits (traxex@user/traxex) (Ping timeout: 264 seconds) |
| 00:05:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:06:47 | <janus> | [exa]: is it really just MPTC that would require type-level computation interleaved with previous typechecking? or is it about fundeps? |
| 00:07:51 | <janus> | if i understand correctly, fundeps only make sense with MPTC, and since fundeps are so prevalent with mtl, i wonder whether that is why you said MPTC instead of saying fundeps. since for all practical typecheckers, they will need to support both |
| 00:09:24 | <geekosaur> | my understanding is that MPTCs are really only usable with either fundeps or TFs |
| 00:09:38 | <geekosaur> | inference isn't possible otherwise |
| 00:10:04 | <janus> | right. so it's not strictly MPTC that require interleaving |
| 00:10:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 00:10:36 | <janus> | i still can't imagine a program that would require something like that |
| 00:13:17 | <janus> | maybe the easiest example should be something that uses mtl, and somehow has polymorphic types in both the 'input' and the 'output' type of a fundep. now, the surrounding program somehow determines one of these, and the typechecker should be able to run enough of 'regular' constraints to find out that there is this constraint on input and output |
| 00:13:38 | <janus> | then, it should evaluate the fundep and that should give it enough info to find the 'principal' type |
| 00:15:02 | <janus> | such a program, without interleaving, would have ambiguous types and compilation would fail. since it wouldn't be able to take the 'output' and propagate it to other constraints |
| 00:19:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:23:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 00:30:16 | Tuplanolla1 | is now known as Tuplanolla |
| 00:32:33 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 00:37:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:41:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 00:48:20 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 00:48:51 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 00:54:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:57:37 | × | simplystuart quits (~simplystu@c-75-75-152-164.hsd1.pa.comcast.net) (Ping timeout: 250 seconds) |
| 01:00:52 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 01:02:55 | × | Square3 quits (~Square@user/square) (Ping timeout: 240 seconds) |
| 01:10:34 | → | omidmash8 joins (~omidmash@user/omidmash) |
| 01:13:07 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 265 seconds) |
| 01:13:07 | omidmash8 | is now known as omidmash |
| 01:15:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:19:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 01:24:43 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 01:24:56 | → | divlamir joins (~divlamir@user/divlamir) |
| 01:30:56 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 01:37:59 | → | rainbyte_ joins (~rainbyte@186.22.19.214) |
| 01:38:09 | × | rainbyte quits (~rainbyte@186.22.19.214) (Ping timeout: 244 seconds) |
| 01:43:41 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 01:44:35 | × | rainbyte_ quits (~rainbyte@186.22.19.214) (Ping timeout: 240 seconds) |
| 01:50:44 | × | Tuplanolla quits (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:53:30 | → | aman joins (~aman@user/aman) |
| 02:00:01 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 02:00:26 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 02:00:55 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 02:01:36 | → | jmcantrell joins (~weechat@user/jmcantrell) |
| 02:02:11 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 02:04:13 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 02:06:39 | → | bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex) |
| 02:10:37 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 02:43:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:48:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:54:55 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 03:00:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:05:28 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 03:17:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:19:19 | × | driib3180 quits (~driib@vmi931078.contaboserver.net) (Ping timeout: 244 seconds) |
| 03:20:58 | → | synchromesh joins (~john@115.69.186.131) |
| 03:21:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 03:22:00 | × | Digit quits (~Digit@user/digit) (Ping timeout: 245 seconds) |
| 03:22:07 | → | Digitteknohippie joins (~Digit@user/digit) |
| 03:33:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:38:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 03:48:04 | × | bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 03:50:01 | → | driib3180 joins (~driib@vmi931078.contaboserver.net) |
| 03:51:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:56:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 03:56:29 | × | omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 04:01:03 | → | omidmash joins (~omidmash@user/omidmash) |
| 04:06:35 | × | driib3180 quits (~driib@vmi931078.contaboserver.net) (Ping timeout: 240 seconds) |
| 04:14:25 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 04:18:11 | → | driib3180 joins (~driib@vmi931078.contaboserver.net) |
| 04:37:31 | × | driib3180 quits (~driib@vmi931078.contaboserver.net) (Ping timeout: 246 seconds) |
| 04:41:51 | → | driib3180 joins (~driib@vmi931078.contaboserver.net) |
| 04:45:55 | × | driib3180 quits (~driib@vmi931078.contaboserver.net) (Ping timeout: 240 seconds) |
| 04:57:52 | → | driib3180 joins (~driib@vmi931078.contaboserver.net) |
| 05:01:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:01:55 | × | driib3180 quits (~driib@vmi931078.contaboserver.net) (Ping timeout: 240 seconds) |
| 05:07:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 05:10:39 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 05:13:06 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 05:17:08 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 05:19:31 | × | elarks quits (~elarks@user/yerrii) (Ping timeout: 246 seconds) |
| 05:21:21 | <[exa]> | janus: yeah I believe the fundeps kinda trigger the computation issue there, but i have no actual proof in hand other than "yeah this is what you do with relations in set theory to turn them to functions" |
| 05:49:58 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 05:54:31 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 246 seconds) |
| 06:03:50 | × | Vajb quits (~Vajb@n70u4zvz328004ovt20-1.v6.elisa-mobile.fi) (Ping timeout: 256 seconds) |
| 06:32:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:37:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 06:48:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:52:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 06:58:48 | → | mmohammadi9812 joins (~mohammad@141.148.239.148) |
| 07:02:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:05:30 | × | mmohammadi9812 quits (~mohammad@141.148.239.148) (Remote host closed the connection) |
| 07:06:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 07:11:12 | × | fgarcia quits (~lei@user/fgarcia) (Read error: Connection reset by peer) |
| 07:16:59 | → | fgarcia joins (~lei@user/fgarcia) |
| 07:18:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:22:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 07:28:29 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: ZNC 1.9.1+deb2+b3 - https://znc.in) |
| 07:30:21 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 07:34:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:38:28 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 07:52:26 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 07:52:46 | → | debayan joins (~debayan@user/debayan) |
| 07:53:40 | × | debayan quits (~debayan@user/debayan) (Client Quit) |
| 07:59:26 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 07:59:42 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 08:03:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:07:52 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 08:18:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:23:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 08:29:55 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 08:36:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:36:58 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 08:42:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 09:01:40 | × | Inline quits (~User@cgn-195-14-221-74.nc.de) (Remote host closed the connection) |
| 09:04:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:09:06 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 09:28:56 | → | aetepe joins (~aetepe@212.125.9.97) |
| 09:32:30 | → | Inline joins (~User@cgn-195-14-221-74.nc.de) |
| 09:40:08 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 09:43:59 | → | wickedjargon joins (~user@64.114.24.74) |
| 09:59:10 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 09:59:53 | → | Square3 joins (~Square@user/square) |
| 10:00:26 | × | wickedjargon quits (~user@64.114.24.74) (Remote host closed the connection) |
| 10:02:00 | → | robobub joins (uid248673@id-248673.uxbridge.irccloud.com) |
| 10:04:12 | → | wickedjargon joins (~user@64.114.24.74) |
| 10:05:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:09:44 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 10:10:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 10:15:35 | × | wickedjargon quits (~user@64.114.24.74) (Remote host closed the connection) |
| 10:16:29 | → | zlqrvx joins (~zlqrvx@user/zlqrvx) |
| 10:17:36 | → | wickedjargon joins (~user@64.114.24.74) |
| 10:23:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:27:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 10:27:58 | Digitteknohippie | is now known as Digit |
| 10:39:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:41:58 | × | zlqrvx quits (~zlqrvx@user/zlqrvx) (Quit: connection reset by purr) |
| 10:42:10 | → | zlqrvx joins (~zlqrvx@user/zlqrvx) |
| 10:44:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 10:45:16 | → | Tuplanolla joins (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) |
| 10:56:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:58:00 | × | wickedjargon quits (~user@64.114.24.74) (Remote host closed the connection) |
| 10:58:55 | × | jreicher quits (~user@user/jreicher) (Ping timeout: 240 seconds) |
| 11:00:09 | → | jreicher joins (~user@user/jreicher) |
| 11:00:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 11:04:47 | → | itaipu joins (~itaipu@168.121.98.37) |
| 11:06:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:10:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 11:17:07 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 264 seconds) |
| 11:20:01 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 11:20:37 | × | housemate quits (~housemate@202.7.247.155) (Quit: I am over the moon, although it is day time so I am probably on the other side of the world, and upside down which would make me the right way up.) |
| 11:23:43 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 11:25:24 | → | housemate joins (~housemate@202.7.247.155) |
| 11:38:09 | × | itaipu quits (~itaipu@168.121.98.37) (Read error: Connection reset by peer) |
| 11:55:57 | → | itaipu joins (~itaipu@168.121.98.37) |
| 11:56:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:09:29 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 12:10:41 | arthurvl | is now known as earthy |
| 12:22:42 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 12:22:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 12:32:15 | × | Jackneill quits (~Jackneill@178-164-245-16.pool.digikabel.hu) (Ping timeout: 244 seconds) |
| 12:32:49 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 12:34:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:40:52 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 12:52:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:56:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 13:03:35 | × | Digit quits (~Digit@user/digit) (Ping timeout: 240 seconds) |
| 13:03:53 | → | Digitteknohippie joins (~Digit@user/digit) |
| 13:04:12 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 13:08:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:18:01 | × | Digitteknohippie quits (~Digit@user/digit) (Ping timeout: 264 seconds) |
| 13:22:43 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Ping timeout: 252 seconds) |
| 13:23:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 13:24:49 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 13:35:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:35:56 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 13:36:04 | → | elarks joins (~elarks@user/yerrii) |
| 13:37:55 | × | yotic quits (~yotic@user/yotic) (Remote host closed the connection) |
| 13:42:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 13:44:05 | × | annamalai quits (~annamalai@157.33.228.123) (Read error: Connection reset by peer) |
| 13:44:20 | → | annamalai joins (~annamalai@2409:4042:e8b:e457::9eca:af04) |
| 13:53:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:57:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 14:09:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:10:13 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 14:13:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 14:15:18 | × | somemathguy quits (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 14:20:09 | × | aetepe quits (~aetepe@212.125.9.97) (Ping timeout: 250 seconds) |
| 14:20:19 | → | aetepe joins (~aetepe@188.119.58.52) |
| 14:22:56 | → | karenw joins (~karenw@user/karenw) |
| 14:24:59 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:29:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 14:37:48 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 14:37:54 | × | ringo_ quits (~ringo@157.230.117.128) (Ping timeout: 252 seconds) |
| 14:40:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:44:02 | → | ringo_ joins (~ringo@157.230.117.128) |
| 14:45:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 14:56:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:00:57 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 15:12:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:16:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 15:21:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:24:21 | × | karenw quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 15:25:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 15:27:38 | → | d34db33f joins (~d34db33f@user/d34db33f) |
| 15:30:53 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 15:36:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:37:54 | → | spew joins (~spew@user/spew) |
| 15:41:28 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 15:50:02 | <oats> | are there any mutable ST sets impls out there? |
| 15:52:33 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:57:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 16:02:35 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 16:02:54 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 16:08:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:10:17 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 16:12:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 16:12:50 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 16:22:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:22:24 | × | d34db33f quits (~d34db33f@user/d34db33f) (Ping timeout: 252 seconds) |
| 16:22:45 | → | d34db33f joins (~d34db33f@user/d34db33f) |
| 16:28:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 16:30:36 | → | weary-traveler joins (~user@user/user363627) |
| 16:31:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:32:43 | × | haskellbridge quits (~hackager@96.28.224.214) (Ping timeout: 264 seconds) |
| 16:34:48 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 16:34:48 | ChanServ | sets mode +v haskellbridge |
| 16:35:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 16:39:10 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 16:40:55 | × | d34db33f quits (~d34db33f@user/d34db33f) (Ping timeout: 240 seconds) |
| 16:41:11 | → | d34db33f joins (~d34db33f@user/d34db33f) |
| 16:45:04 | × | annamalai quits (~annamalai@2409:4042:e8b:e457::9eca:af04) (Remote host closed the connection) |
| 16:46:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:48:34 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 16:49:47 | → | img joins (~img@user/img) |
| 16:51:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 16:54:55 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 16:56:55 | → | califax joins (~califax@user/califx) |
| 16:57:02 | × | kaskal quits (~kaskal@2a02:8388:1a8b:7d00:5666:a937:cb77:6c3b) (Quit: ZNC - https://znc.in) |
| 16:57:21 | → | kaskal joins (~kaskal@84-115-235-223.cable.dynamic.surfer.at) |
| 16:59:45 | AntiRembane | is now known as Rembane |
| 17:02:20 | → | karenw joins (~karenw@user/karenw) |
| 17:02:25 | × | karenw quits (~karenw@user/karenw) (Remote host closed the connection) |
| 17:02:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:02:51 | → | karenw joins (~karenw@user/karenw) |
| 17:07:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 17:09:00 | × | d34db33f quits (~d34db33f@user/d34db33f) (Read error: Connection reset by peer) |
| 17:09:21 | → | d34db33f joins (~d34db33f@user/d34db33f) |
| 17:10:22 | <monochrom> | There are mutable hash tables on hackage IIRC. |
| 17:14:27 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 17:16:15 | → | Digit joins (~user@user/digit) |
| 17:18:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:22:15 | → | annamalai joins (~annamalai@157.33.249.234) |
| 17:22:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 17:23:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:26:03 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 17:27:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 17:34:42 | × | d34db33f quits (~d34db33f@user/d34db33f) (Remote host closed the connection) |
| 17:39:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:43:36 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 17:43:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 17:47:39 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 17:54:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:56:03 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 17:56:46 | × | Inline quits (~User@cgn-195-14-221-74.nc.de) (Remote host closed the connection) |
| 17:57:20 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 17:57:21 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 17:59:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 18:02:59 | → | gmg joins (~user@user/gehmehgeh) |
| 18:08:08 | × | aman quits (~aman@user/aman) (Ping timeout: 260 seconds) |
| 18:10:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:15:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 18:18:17 | → | Inline joins (~User@cgn-195-14-221-74.nc.de) |
| 18:24:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:29:27 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 18:35:55 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 18:40:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:43:00 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 18:44:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 18:50:08 | × | barrucadu quits (~barrucadu@carcosa.barrucadu.co.uk) (Quit: Lost terminal) |
| 18:55:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:00:16 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 19:09:01 | → | barrucadu joins (~barrucadu@carcosa.barrucadu.co.uk) |
| 19:11:22 | → | merijn joins (~merijn@62.45.136.136) |
| 19:15:15 | × | ringo_ quits (~ringo@157.230.117.128) (Ping timeout: 244 seconds) |
| 19:16:44 | → | ringo_ joins (~ringo@157.230.117.128) |
| 19:18:19 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 256 seconds) |
| 19:18:19 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 19:22:45 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:25:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:29:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 19:35:17 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 19:36:29 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 19:37:24 | → | mmohammadi9812 joins (~mohammad@85.185.35.4) |
| 19:38:05 | Lord_of_Life_ | is now known as Lord_of_Life |
| 19:40:33 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 19:45:19 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 19:53:44 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 20:15:53 | → | Everything joins (~Everythin@217.147.163.184) |
| 20:18:57 | → | pavonia joins (~user@user/siracusa) |
| 20:19:43 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 20:21:48 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 20:24:37 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Ping timeout: 264 seconds) |
| 20:25:58 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 20:26:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:30:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 20:33:29 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 20:42:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:46:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 20:47:30 | → | gmg joins (~user@user/gehmehgeh) |
| 20:51:17 | → | traxex joins (traxex@user/traxex) |
| 20:53:19 | × | mmohammadi9812 quits (~mohammad@85.185.35.4) (Ping timeout: 246 seconds) |
| 20:53:52 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 20:57:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:58:28 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 21:02:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 21:07:30 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 21:11:17 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 21:11:51 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 21:16:15 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 21:21:55 | × | jmcantrell_ quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 21:27:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:28:54 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 21:29:14 | × | Pozyomka quits (~pyon@user/pyon) (Quit: WeeChat 4.8.1) |
| 21:31:02 | <geekosaur> | taking my computer down for a bit to rearrange the mess of power cords under it. bridge will be down |
| 21:31:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 21:32:46 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 21:33:52 | × | haskellbridge quits (~hackager@96.28.224.214) (Remote host closed the connection) |
| 21:34:48 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 21:38:49 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 21:40:10 | jmcantrell_ | is now known as jmcantrell |
| 21:41:00 | → | gmg joins (~user@user/gehmehgeh) |
| 21:43:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:44:55 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 240 seconds) |
| 21:48:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 21:50:09 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 244 seconds) |
| 21:53:43 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 21:54:03 | → | haskellbridge joins (~hackager@96.28.224.214) |
| 21:54:03 | ChanServ | sets mode +v haskellbridge |
| 21:55:33 | <geekosaur> | bridge back up |
| 21:56:25 | <Rembane> | \o/ |
| 21:57:08 | <int-e> | \ꙮ/ |
| 21:58:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:03:04 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 22:08:42 | × | forell quits (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 22:11:26 | → | forell joins (~forell@user/forell) |
| 22:11:35 | × | aetepe quits (~aetepe@188.119.58.52) (Ping timeout: 240 seconds) |
| 22:14:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:18:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 22:28:19 | → | merijn joins (~merijn@62.45.136.136) |
| 22:34:55 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 240 seconds) |
| 22:37:10 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 22:38:31 | × | Digit quits (~user@user/digit) (Ping timeout: 240 seconds) |
| 22:38:33 | → | Digitteknohippie joins (~user@user/digit) |
| 22:41:15 | × | Everything quits (~Everythin@217.147.163.184) (Quit: leaving) |
| 22:42:38 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 22:45:07 | × | forell quits (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 22:45:14 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 22:46:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:48:11 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 22:49:33 | × | Fijxu quits (~Fijxu@user/fijxu) (Quit: XD!!) |
| 22:50:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 22:51:12 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 22:52:15 | × | Digitteknohippie quits (~user@user/digit) (Ping timeout: 240 seconds) |
| 22:54:22 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 22:56:10 | × | itaipu quits (~itaipu@168.121.98.37) (Ping timeout: 246 seconds) |
| 22:57:14 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Client Quit) |
| 22:58:41 | × | dostoyevsky2 quits (~sck@user/dostoyevsky2) (Quit: leaving) |
| 22:59:05 | → | dostoyevsky2 joins (~sck@user/dostoyevsky2) |
| 23:01:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:04:00 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 23:06:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:17:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:20:39 | → | Digit joins (~user@user/digit) |
| 23:22:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 23:29:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:31:31 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 23:33:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 23:34:41 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 23:35:49 | × | Digit quits (~user@user/digit) (Remote host closed the connection) |
| 23:38:13 | → | Digit joins (~user@user/digit) |
| 23:45:02 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:45:48 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 23:49:22 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 23:49:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 23:50:40 | × | ttybitnik quits (~ttybitnik@user/wolper) (Quit: Fading out...) |
| 23:51:35 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 23:55:11 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 23:57:46 | × | Tuplanolla quits (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Ping timeout: 244 seconds) |
All times are in UTC on 2026-01-01.