Newest at the top
| 2026-03-09 17:16:00 +0100 | vgtw | (~vgtw@user/vgtw) (Ping timeout: 246 seconds) |
| 2026-03-09 17:15:44 +0100 | Digit | (~user@user/digit) Digit |
| 2026-03-09 17:14:52 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2026-03-09 17:14:12 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 264 seconds) |
| 2026-03-09 17:11:35 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) () |
| 2026-03-09 17:10:03 +0100 | <lambdabot> | Foldable t => t a -> [a] |
| 2026-03-09 17:10:02 +0100 | <mesaoptimizer> | :t toList |
| 2026-03-09 17:09:37 +0100 | <[exa]> | (somewhat stupidly I assumeth and debuggeth) |
| 2026-03-09 17:08:04 +0100 | <[exa]> | is there any reason why `toList` could not serve as a sufficient minimal definition of Foldable? |
| 2026-03-09 17:03:04 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 276 seconds) |
| 2026-03-09 16:58:32 +0100 | jmcantrell_ | (~weechat@user/jmcantrell) jmcantrell |
| 2026-03-09 16:53:51 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2026-03-09 16:52:12 +0100 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 255 seconds) |
| 2026-03-09 16:48:14 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 2026-03-09 16:40:18 +0100 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 246 seconds) |
| 2026-03-09 16:37:00 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) Fischmiep |
| 2026-03-09 16:27:35 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2026-03-09 16:24:20 +0100 | Digitteknohippie | (~user@user/digit) (Ping timeout: 268 seconds) |
| 2026-03-09 16:23:35 +0100 | systemhalted | (~systemhal@108.147.100.161) (Remote host closed the connection) |
| 2026-03-09 16:22:54 +0100 | peterbecich | (~Thunderbi@71.84.33.135) peterbecich |
| 2026-03-09 16:22:13 +0100 | systemhalted | (~systemhal@108.147.100.161) systemhalted |
| 2026-03-09 16:18:22 +0100 | loonycyborg | (~loonycybo@wesnoth/developer/loonycyborg) (Quit: ZNC - http://znc.sourceforge.net) |
| 2026-03-09 16:10:24 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 244 seconds) |
| 2026-03-09 16:02:12 +0100 | machinedgod | (~machinedg@d172-219-48-230.abhsia.telus.net) machinedgod |
| 2026-03-09 15:57:44 +0100 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2026-03-09 15:48:53 +0100 | Digitteknohippie | (~user@user/digit) Digit |
| 2026-03-09 15:48:30 +0100 | Digit | (~user@user/digit) (Ping timeout: 245 seconds) |
| 2026-03-09 15:27:48 +0100 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-03-09 15:27:48 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:2149:c35e:cd23:4e9a) (Changing host) |
| 2026-03-09 15:27:48 +0100 | arandombit | (~arandombi@2a02:2455:8656:7100:2149:c35e:cd23:4e9a) |
| 2026-03-09 15:26:12 +0100 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 264 seconds) |
| 2026-03-09 15:11:56 +0100 | danza | (~danza@user/danza) danza |
| 2026-03-09 15:10:10 +0100 | aka_dude | (~aka_dude@2a03:f80:30:f490::1) |
| 2026-03-09 15:09:00 +0100 | aka_dude | (~aka_dude@2a03:f80:30:f490::1) (Quit: Gateway shutdown) |
| 2026-03-09 15:01:49 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) ezzieyguywuf |
| 2026-03-09 14:57:00 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 2026-03-09 14:54:05 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2026-03-09 14:35:59 +0100 | st_aldini | (~Betterbir@136.48.46.187) (Quit: st_aldini) |
| 2026-03-09 14:26:07 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-03-09 14:16:17 +0100 | Fischmiep | (~Fischmiep@user/Fischmiep) (Remote host closed the connection) |
| 2026-03-09 14:13:34 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-03-09 13:58:29 +0100 | prdak1 | prdak |
| 2026-03-09 13:54:17 +0100 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2026-03-09 13:54:06 +0100 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
| 2026-03-09 13:46:32 +0100 | Square2 | (~Square4@user/square) Square |
| 2026-03-09 13:32:41 +0100 | YoungFrog | (~youngfrog@2a02:a03f:ca07:f900:1032:66d2:1281:f541) youngfrog |
| 2026-03-09 13:31:24 +0100 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2026-03-09 13:25:46 +0100 | <ski> | EvanR : yea, the point of that respone was to provide perhaps a more mathematical/logical aspect to the FD semantics. but yes, neither of the mentioned two effects have anything to do with actually selecting an instance, but rather to constrain the usage (merging used instances (demanded constraints)) and definition (disallowing instances violating the FD) of instances |
| 2026-03-09 13:24:29 +0100 | xff0x | (~xff0x@2405:6580:b080:900:3f2f:c15f:718f:76d4) |
| 2026-03-09 13:09:56 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |