2025/04/22

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 +0200euleritian(~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 +0200euleritian(~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 +0200Catty___________Catty
2025-04-22 17:38:02 +0200gorignak(~gorignak@user/gorignak) gorignak
2025-04-22 17:37:47 +0200CattyCatty___________
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 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net)
2025-04-22 17:34:30 +0200euleritian(~euleritia@dynamic-176-000-009-048.176.0.pool.telefonica.de)
2025-04-22 17:33:18 +0200tromp(~textual@2001:1c00:3487:1b00:81b9:54c7:add1:2ebe)
2025-04-22 17:31:39 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 245 seconds)
2025-04-22 17:31:33 +0200euleritian(~euleritia@dynamic-176-000-060-044.176.0.pool.telefonica.de) (Ping timeout: 268 seconds)
2025-04-22 17:30:49 +0200Unicorn_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 +0200euleritian(~euleritia@dynamic-176-000-060-044.176.0.pool.telefonica.de)
2025-04-22 17:23:02 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net)
2025-04-22 17:20:20 +0200euleritian(~euleritia@dynamic-176-000-005-049.176.0.pool.telefonica.de) (Ping timeout: 244 seconds)
2025-04-22 17:15:42 +0200amadaluzia(~amadaluzi@2a00:23c7:ed8b:6701:6e86:b77b:c1b:7762)
2025-04-22 17:15:13 +0200ii8(~ii8@45.63.97.131) ii8
2025-04-22 17:10:40 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 265 seconds)
2025-04-22 17:09:25 +0200euleritian(~euleritia@dynamic-176-000-005-049.176.0.pool.telefonica.de)
2025-04-22 17:08:27 +0200euleritian(~euleritia@dynamic-176-006-136-195.176.6.pool.telefonica.de) (Ping timeout: 244 seconds)
2025-04-22 17:04:32 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net)
2025-04-22 16:59:06 +0200euleritian(~euleritia@dynamic-176-006-136-195.176.6.pool.telefonica.de)
2025-04-22 16:58:26 +0200tromp(~textual@2001:1c00:3487:1b00:81b9:54c7:add1:2ebe) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-04-22 16:57:57 +0200euleritian(~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 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
2025-04-22 16:34:42 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net)
2025-04-22 16:21:56 +0200eron(~eron@179.118.250.144) lidenbrock
2025-04-22 16:18:58 +0200harveypwca(~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c)
2025-04-22 16:02:03 +0200roqueando(~textual@179-125-157-72.dynamic.desktop.com.br) (Client Quit)
2025-04-22 15:59:08 +0200roqueando(~textual@179-125-157-72.dynamic.desktop.com.br)
2025-04-22 15:53:30 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds)
2025-04-22 15:48:04 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
2025-04-22 15:46:32 +0200down200(~down200@shell.lug.mtu.edu) down200
2025-04-22 15:45:14 +0200fp(~Thunderbi@2001:708:20:1406::1370) fp
2025-04-22 15:43:07 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net)
2025-04-22 15:39:12 +0200EvanR(~EvanR@user/evanr) EvanR
2025-04-22 15:37:47 +0200EvanR(~EvanR@user/evanr) (Quit: Leaving)
2025-04-22 15:30:24 +0200inca(~inca@pool-96-255-212-224.washdc.fios.verizon.net) (Ping timeout: 245 seconds)
2025-04-22 15:28:39 +0200merijn(~merijn@77.242.116.146) merijn
2025-04-22 15:27:55 +0200comerijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)