Logs: liberachat/#haskell
| 2021-07-19 21:30:03 | <davean> | So whats the point of running this code at all? You know as much before it runs as after |
| 2021-07-19 21:30:08 | <hseg> | as long as I'm still having recognizable true negatives, I'm not worried about it |
| 2021-07-19 21:31:02 | <hseg> | I'm testing a hypothesis that an invariant I have in mind is fine enough to predict the value of a function |
| 2021-07-19 21:31:29 | <hseg> | so as long as my samplings show it isn't, I don't care that I haven't sampled the entire space |
| 2021-07-19 21:31:34 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-07-19 21:31:35 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-07-19 21:31:42 | <EvanR> | maybe this is a probabalistic application |
| 2021-07-19 21:31:53 | <hseg> | not probabilistic. hypothesis testing |
| 2021-07-19 21:32:08 | <EvanR> | counterexample finding? |
| 2021-07-19 21:32:16 | <hseg> | exactly |
| 2021-07-19 21:32:20 | <EvanR> | cool |
| 2021-07-19 21:32:28 | <EvanR> | it only takes 1 xD |
| 2021-07-19 21:32:34 | <hseg> | exactly |
| 2021-07-19 21:32:46 | <hseg> | and unfortunately, I have >>>1 |
| 2021-07-19 21:33:37 | <hseg> | so I need to refine the invariant I'm using |
| 2021-07-19 21:33:52 | <hseg> | not clear how, though |
| 2021-07-19 21:34:29 | <hseg> | welp. that's what research is for, ig |
| 2021-07-19 21:34:31 | <EvanR> | eventually you will not find any counterexamples |
| 2021-07-19 21:34:54 | <hseg> | yeah. am hoping that by then, will have actual proof that my invariant works |
| 2021-07-19 21:36:12 | <hseg> | especially considering this is trying to give a closed form for a recursive formula, have high hopes it is possible |
| 2021-07-19 21:39:48 | × | Matthias1 quits (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) (Remote host closed the connection) |
| 2021-07-19 21:39:53 | → | cuz joins (~user@38.140.58.234) |
| 2021-07-19 21:40:06 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-19 21:40:50 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-109-140.dsl.telepac.pt) |
| 2021-07-19 21:41:52 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-19 21:42:57 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 258 seconds) |
| 2021-07-19 21:43:11 | × | fendor quits (~fendor@77.119.223.215.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 2021-07-19 21:44:16 | → | jmorris joins (uid433911@id-433911.stonehaven.irccloud.com) |
| 2021-07-19 21:44:46 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-19 21:45:01 | → | Matthias1 joins (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) |
| 2021-07-19 21:45:32 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-109-140.dsl.telepac.pt) (Ping timeout: 265 seconds) |
| 2021-07-19 21:45:32 | × | cuz quits (~user@38.140.58.234) (Ping timeout: 265 seconds) |
| 2021-07-19 21:45:57 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-19 21:46:28 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-19 21:46:29 | × | ubert quits (~Thunderbi@91.141.42.221.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-07-19 21:50:33 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 255 seconds) |
| 2021-07-19 21:51:06 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 2021-07-19 21:53:52 | → | pesada joins (~agua@2804:18:70:635e:1:0:3619:5a18) |
| 2021-07-19 21:54:45 | × | Matthias1 quits (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) (Remote host closed the connection) |
| 2021-07-19 21:55:58 | × | agua quits (~agua@2804:14c:8793:8e2f:642c:be4c:c775:de87) (Ping timeout: 256 seconds) |
| 2021-07-19 21:57:09 | → | agua joins (~agua@2804:14c:8793:8e2f:3988:44e0:45e5:bd04) |
| 2021-07-19 21:57:36 | → | bpv joins (~bryce@207.73.178.205) |
| 2021-07-19 21:58:23 | → | burnsidesLlama joins (~burnsides@client-8-87.eduroam.oxuni.org.uk) |
| 2021-07-19 21:59:00 | <bpv> | How is it going? |
| 2021-07-19 22:00:05 | × | bpv quits (~bryce@207.73.178.205) (Quit: WeeChat 3.2) |
| 2021-07-19 22:00:18 | × | hseg quits (~gesh@185.120.126.10) (Quit: WeeChat 3.2) |
| 2021-07-19 22:00:27 | × | pesada quits (~agua@2804:18:70:635e:1:0:3619:5a18) (Ping timeout: 255 seconds) |
| 2021-07-19 22:01:25 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-07-19 22:02:42 | × | burnsidesLlama quits (~burnsides@client-8-87.eduroam.oxuni.org.uk) (Ping timeout: 255 seconds) |
| 2021-07-19 22:04:32 | → | aegon joins (~mike@174.127.249.180) |
| 2021-07-19 22:05:04 | vemek1 | is now known as vemek |
| 2021-07-19 22:07:21 | → | elf_fortrez joins (~elf_fortr@adsl-72-50-4-119.prtc.net) |
| 2021-07-19 22:07:31 | → | Topsi joins (~Tobias@dyndsl-095-033-024-196.ewe-ip-backbone.de) |
| 2021-07-19 22:07:41 | × | elf_fortrez quits (~elf_fortr@adsl-72-50-4-119.prtc.net) (Client Quit) |
| 2021-07-19 22:08:29 | → | benin0369 joins (~benin@183.82.177.8) |
| 2021-07-19 22:09:31 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-07-19 22:09:43 | → | cheater joins (~Username@user/cheater) |
| 2021-07-19 22:11:38 | × | aegon quits (~mike@174.127.249.180) (Killed (NickServ (GHOST command used by aegon_))) |
| 2021-07-19 22:12:04 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Ping timeout: 268 seconds) |
| 2021-07-19 22:12:17 | → | Vajb joins (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-07-19 22:12:36 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-07-19 22:14:51 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-19 22:17:36 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-19 22:23:21 | → | dre joins (~dre@2001:8003:c932:c301:117d:15f9:de03:4d49) |
| 2021-07-19 22:24:45 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 255 seconds) |
| 2021-07-19 22:30:25 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 246 seconds) |
| 2021-07-19 22:31:56 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-19 22:33:51 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-07-19 22:34:16 | × | Ranhir quits (~Ranhir@157.97.53.139) (Ping timeout: 268 seconds) |
| 2021-07-19 22:35:57 | × | argento quits (~argent0@168-227-96-26.ptr.westnet.com.ar) (Quit: leaving) |
| 2021-07-19 22:43:02 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-07-19 22:45:14 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 252 seconds) |
| 2021-07-19 22:47:08 | → | zebrag joins (~chris@user/zebrag) |
| 2021-07-19 22:48:11 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-19 22:48:38 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-19 22:49:30 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-19 22:49:48 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-19 22:52:30 | → | Matthias1 joins (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) |
| 2021-07-19 22:52:43 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-07-19 22:57:29 | × | Topsi quits (~Tobias@dyndsl-095-033-024-196.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-07-19 22:58:26 | × | Vajb quits (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer) |
| 2021-07-19 22:58:57 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-19 22:59:35 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 255 seconds) |
| 2021-07-19 22:59:38 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-19 23:00:34 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-19 23:00:37 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.2) |
| 2021-07-19 23:02:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-19 23:05:06 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-07-19 23:08:29 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-07-19 23:11:08 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@69.4.234.87) |
| 2021-07-19 23:11:51 | → | cjb joins (~cjb@user/cjb) |
| 2021-07-19 23:12:43 | × | phma quits (phma@2001:5b0:211f:1178:dd66:934e:c06f:5919) (Read error: Connection reset by peer) |
| 2021-07-19 23:13:38 | → | phma joins (~phma@host-67-44-208-230.hnremote.net) |
| 2021-07-19 23:18:02 | × | myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 255 seconds) |
| 2021-07-19 23:20:14 | × | vysn quits (~vysn@user/vysn) (Remote host closed the connection) |
| 2021-07-19 23:21:29 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-19 23:23:27 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9588f8c9d06c34eef88c.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-07-19 23:27:44 | → | Codaraxis_ joins (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2021-07-19 23:28:04 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-19 23:28:57 | → | o1lo01ol1o joins (~o1lo01ol1@bl11-109-140.dsl.telepac.pt) |
All times are in UTC.