Newest at the top
2025-04-22 17:42:17 +0200 | <EvanR> | which might mean you can't observe the bug because it would cause bad performance but leave all the answers right |
2025-04-22 17:41:41 +0200 | <EvanR> | all interesting possibilities. I implicitly imagined 95% means, there's a bug in the code, or there isn't. And the probability is 95% no there isn't |
2025-04-22 17:41:41 +0200 | euleritian | (~euleritia@dynamic-176-000-197-007.176.0.pool.telefonica.de) |
2025-04-22 17:41:31 +0200 | <int-e> | EvanR: Actually it's not only underspecified; it's also ambiguous. does that probability correspond to the function per input or in total (i.e. there's a 95% chance that it's implemented correctly, working for all inputs)? |
2025-04-22 17:41:00 +0200 | euleritian | (~euleritia@dynamic-176-000-009-048.176.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
2025-04-22 17:39:06 +0200 | <int-e> | EvanR: I like using optimistic assumptions :P |
2025-04-22 17:38:44 +0200 | Catty___________ | Catty |
2025-04-22 17:38:02 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
2025-04-22 17:37:47 +0200 | Catty | Catty___________ |
2025-04-22 17:36:26 +0200 | <merijn> | And is there a chance the error in f2 corrects the error in f1? |
2025-04-22 17:34:52 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) |
2025-04-22 17:34:30 +0200 | euleritian | (~euleritia@dynamic-176-000-009-048.176.0.pool.telefonica.de) |
2025-04-22 17:33:18 +0200 | tromp | (~textual@2001:1c00:3487:1b00:81b9:54c7:add1:2ebe) |
2025-04-22 17:31:39 +0200 | inca | (~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
2025-04-22 17:31:33 +0200 | euleritian | (~euleritia@dynamic-176-000-060-044.176.0.pool.telefonica.de) (Ping timeout: 268 seconds) |
2025-04-22 17:30:49 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-04-22 17:30:09 +0200 | <ski> | "95% chance of being correct" -- given a random input ? or given `f1' being chosen from a stochastic distribution, with 95% chance of being correct on all inputs ? |
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) |