Newest at the top
| 2025-04-22 17:29:11 +0200 | <EvanR> | yes the more information you get the close the probability gets to 100% or 0% |
| 2025-04-22 17:27:51 +0200 | <int-e> | EvanR: what if f2 is incorrect on all outputs of f1 |
| 2025-04-22 17:26:43 +0200 | euleritian | (~euleritia@dynamic-176-000-060-044.176.0.pool.telefonica.de) |
| 2025-04-22 17:23:02 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-22 17:20:20 +0200 | euleritian | (~euleritia@dynamic-176-000-005-049.176.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2025-04-22 17:15:42 +0200 | amadaluzia | (~amadaluzi@2a00:23c7:ed8b:6701:6e86:b77b:c1b:7762) |
| 2025-04-22 17:15:13 +0200 | ii8 | (~ii8@45.63.97.131) ii8 |
| 2025-04-22 17:10:40 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2025-04-22 17:09:25 +0200 | euleritian | (~euleritia@dynamic-176-000-005-049.176.0.pool.telefonica.de) |
| 2025-04-22 17:08:27 +0200 | euleritian | (~euleritia@dynamic-176-006-136-195.176.6.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2025-04-22 17:04:32 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-22 16:59:06 +0200 | euleritian | (~euleritia@dynamic-176-006-136-195.176.6.pool.telefonica.de) |
| 2025-04-22 16:58:26 +0200 | tromp | (~textual@2001:1c00:3487:1b00:81b9:54c7:add1:2ebe) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-22 16:57:57 +0200 | euleritian | (~euleritia@77.23.248.47) (Ping timeout: 248 seconds) |
| 2025-04-22 16:54:05 +0200 | <EvanR> | is it 90.25% |
| 2025-04-22 16:51:58 +0200 | <EvanR> | (watching a talk where this notion comes up as a side remark) |
| 2025-04-22 16:51:09 +0200 | <EvanR> | say you have f1 and f2 which can compose. And someone says they both have a 95% chance of being correct. What's the chance that f2 . f1 is correct xD |
| 2025-04-22 16:42:41 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-04-22 16:34:42 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-22 16:21:56 +0200 | eron | (~eron@179.118.250.144) lidenbrock |
| 2025-04-22 16:18:58 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) |
| 2025-04-22 16:02:03 +0200 | roqueando | (~textual@179-125-157-72.dynamic.desktop.com.br) (Client Quit) |
| 2025-04-22 15:59:08 +0200 | roqueando | (~textual@179-125-157-72.dynamic.desktop.com.br) |
| 2025-04-22 15:53:30 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 2025-04-22 15:48:04 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-04-22 15:46:32 +0200 | down200 | (~down200@shell.lug.mtu.edu) down200 |
| 2025-04-22 15:45:14 +0200 | fp | (~Thunderbi@2001:708:20:1406::1370) fp |
| 2025-04-22 15:43:07 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-22 15:39:12 +0200 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-04-22 15:37:47 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2025-04-22 15:30:24 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2025-04-22 15:28:39 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2025-04-22 15:27:55 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 2025-04-22 15:24:58 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2025-04-22 15:20:11 +0200 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 2025-04-22 15:17:22 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-22 15:13:06 +0200 | tromp | (~textual@2001:1c00:3487:1b00:81b9:54c7:add1:2ebe) |
| 2025-04-22 15:08:05 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2025-04-22 15:05:29 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
| 2025-04-22 15:04:02 +0200 | alexherbo2 | (~alexherbo@2a02-8440-250c-9766-75f6-ecd5-5f50-4067.rev.sfr.net) (Remote host closed the connection) |
| 2025-04-22 15:02:07 +0200 | alexherbo2 | (~alexherbo@2a02-8440-250c-9766-75f6-ecd5-5f50-4067.rev.sfr.net) alexherbo2 |
| 2025-04-22 14:57:08 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-04-22 14:54:04 +0200 | sixfourtwelve | (~ethanmorg@82.18.82.103) () |
| 2025-04-22 14:52:52 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-22 14:51:51 +0200 | sprotte24 | (~sprotte24@p200300d16f2aeb0085c5313dace495b4.dip0.t-ipconnect.de) |
| 2025-04-22 14:49:58 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2025-04-22 14:42:30 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-04-22 14:41:54 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
| 2025-04-22 14:31:55 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2025-04-22 14:29:45 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |