Logs: liberachat/#haskell
| 2021-07-06 10:09:50 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Ping timeout: 252 seconds) |
| 2021-07-06 10:10:57 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-07-06 10:12:58 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:cdb:cabc:a7c7:75c9) (Ping timeout: 240 seconds) |
| 2021-07-06 10:15:27 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Ping timeout: 252 seconds) |
| 2021-07-06 10:16:54 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-07-06 10:18:32 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-06 10:23:27 | → | dunkeln_ joins (~dunkeln@188.71.194.238) |
| 2021-07-06 10:28:10 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Ping timeout: 240 seconds) |
| 2021-07-06 10:31:50 | → | ubert joins (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) |
| 2021-07-06 10:33:51 | → | Guest36 joins (~Guest36@ip4d16f8fb.dynamic.kabel-deutschland.de) |
| 2021-07-06 10:39:09 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-07-06 10:39:32 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 252 seconds) |
| 2021-07-06 10:41:34 | × | Guest36 quits (~Guest36@ip4d16f8fb.dynamic.kabel-deutschland.de) (Quit: Client closed) |
| 2021-07-06 10:42:34 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-07-06 10:42:58 | × | jonathanx quits (~jonathan@94.234.34.169) (Ping timeout: 272 seconds) |
| 2021-07-06 10:43:11 | × | xkuru quits (~xkuru@user/xkuru) (Remote host closed the connection) |
| 2021-07-06 10:48:19 | × | Codaraxis_ quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 246 seconds) |
| 2021-07-06 10:50:14 | → | smichel17 joins (~smichel17@2601:193:8201:330::1) |
| 2021-07-06 10:51:05 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Ping timeout: 252 seconds) |
| 2021-07-06 10:55:40 | → | boxscape_ joins (~boxscape_@p4ff0ba7a.dip0.t-ipconnect.de) |
| 2021-07-06 10:56:31 | → | henninb joins (~henninb@63.226.174.157) |
| 2021-07-06 11:00:02 | × | AWizzArd quits (~code@user/awizzard) (Ping timeout: 268 seconds) |
| 2021-07-06 11:00:38 | → | AWizzArd joins (~code@gehrels.uberspace.de) |
| 2021-07-06 11:01:29 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-07-06 11:03:11 | × | tcard quits (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (Read error: Connection reset by peer) |
| 2021-07-06 11:03:18 | → | tcard joins (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) |
| 2021-07-06 11:03:39 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-07-06 11:05:12 | → | merijn joins (~merijn@145.100.116.221) |
| 2021-07-06 11:05:25 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-06 11:28:36 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Ping timeout: 252 seconds) |
| 2021-07-06 11:28:55 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 246 seconds) |
| 2021-07-06 11:29:12 | × | dunkeln_ quits (~dunkeln@188.71.194.238) (Ping timeout: 272 seconds) |
| 2021-07-06 11:31:37 | × | phma_ quits (phma@2001:5b0:211f:db18:f7ba:96c6:928a:2ba9) (Read error: Connection reset by peer) |
| 2021-07-06 11:32:32 | → | phma_ joins (phma@2001:5b0:210b:a0c8:76df:2981:6329:1c09) |
| 2021-07-06 11:32:50 | <Gurkenglas> | What was the name of that automatic generator of quickcheck properties? |
| 2021-07-06 11:35:38 | <adamse> | Quick spec maybe? |
| 2021-07-06 11:36:11 | × | jippiedoe quits (~david@2a02-a44c-e14e-1-a821-12d7-2af3-286c.fixed6.kpn.net) (Ping timeout: 252 seconds) |
| 2021-07-06 11:36:37 | → | dunkeln joins (~dunkeln@188.71.194.238) |
| 2021-07-06 11:44:36 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 2021-07-06 11:48:56 | → | chomwitt joins (~Pitsikoko@athedsl-16082.home.otenet.gr) |
| 2021-07-06 12:01:59 | <nshepperd2> | dminuoso: precedent is that training an ML model on copyrighted data is transformative and thus fair use. however, this might not apply if it memorizes and reproduces the input verbatim (which you usually don't want it to do anyway) |
| 2021-07-06 12:02:28 | <merijn> | eh |
| 2021-07-06 12:02:47 | <merijn> | And that precedent is globally and accepted by all judiciary systems? |
| 2021-07-06 12:03:07 | <nshepperd2> | you have a different precedent? |
| 2021-07-06 12:03:36 | <merijn> | nshepperd2: No, but just because judges in one country decided ML models are transformative means squat in "every other country" |
| 2021-07-06 12:04:39 | → | lortabac joins (~lortabac@95.138.56.124) |
| 2021-07-06 12:05:10 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-07-06 12:06:17 | → | yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) |
| 2021-07-06 12:09:39 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-07-06 12:09:58 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:cdb:cabc:a7c7:75c9) |
| 2021-07-06 12:10:10 | × | dunkeln quits (~dunkeln@188.71.194.238) (Ping timeout: 240 seconds) |
| 2021-07-06 12:10:33 | → | Schrostfutz joins (~Schrostfu@schettlerdck.tkn.tu-berlin.de) |
| 2021-07-06 12:14:10 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:cdb:cabc:a7c7:75c9) (Ping timeout: 240 seconds) |
| 2021-07-06 12:15:59 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-06 12:17:11 | <dminuoso> | nshepperd2: Except you will have to prove that the generated code comes from that path. |
| 2021-07-06 12:17:15 | <dminuoso> | Which is virtually impossible |
| 2021-07-06 12:17:29 | → | dunkeln joins (~dunkeln@188.71.194.238) |
| 2021-07-06 12:17:46 | <boxscape_> | Just stream all your coding on twitch from now on |
| 2021-07-06 12:17:55 | <boxscape_> | (and keep the vods) |
| 2021-07-06 12:20:46 | <nshepperd2> | dminuoso: as opposed to what? |
| 2021-07-06 12:21:35 | <nshepperd2> | if what you wrote isn't recognizable as a specific input, then there's no copyright case |
| 2021-07-06 12:21:46 | → | GIANTWORLDKEEPER joins (~pjetcetal@128-71-13-182.broadband.corbina.ru) |
| 2021-07-06 12:22:09 | <nshepperd2> | if it is, then you can argue in court about whether the similarity is necessary and non-creative |
| 2021-07-06 12:24:20 | <nshepperd2> | iirc the burden of proof is generally on the plaintiff to demonstrate that a specific work was copied |
| 2021-07-06 12:26:08 | <dminuoso> | oh wait |
| 2021-07-06 12:26:10 | <dminuoso> | hold on |
| 2021-07-06 12:26:12 | <dminuoso> | nshepperd2: Miscommunication |
| 2021-07-06 12:26:24 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Read error: Connection reset by peer) |
| 2021-07-06 12:27:08 | <Lycurgus> | just avoid the jurisdiction (nl/eu) forbid distribution of your product to it |
| 2021-07-06 12:27:50 | → | undecidedundecid joins (~pjetcetal@128-71-13-182.broadband.corbina.ru) |
| 2021-07-06 12:27:55 | <Lycurgus> | it's a significant but still < 10% share of the global market |
| 2021-07-06 12:28:15 | <Lycurgus> | (population wise) |
| 2021-07-06 12:28:24 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-07-06 12:28:26 | × | chomwitt quits (~Pitsikoko@athedsl-16082.home.otenet.gr) (Ping timeout: 252 seconds) |
| 2021-07-06 12:28:31 | <merijn> | Lycurgus: What makes you so sure things will go differently in the rest of the world? |
| 2021-07-06 12:29:12 | × | GIANTWORLDKEEPR_ quits (~pjetcetal@128-71-13-182.broadband.corbina.ru) (Quit: EXIT) |
| 2021-07-06 12:29:35 | <Lycurgus> | inertia, the lack of actual global government |
| 2021-07-06 12:29:45 | → | timCF joins (~timCF@m91-129-99-121.cust.tele2.ee) |
| 2021-07-06 12:30:09 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 2021-07-06 12:30:12 | <Lycurgus> | language barriers, etc. The same factors that apply generally to global distribution. |
| 2021-07-06 12:30:45 | × | maf654321 quits (~maf654321@user/maf654321) (Ping timeout: 252 seconds) |
| 2021-07-06 12:31:04 | <Lycurgus> | maintaining a shit list is easier than jumping somebody's interminable hoop course |
| 2021-07-06 12:31:09 | × | undecidedundecid quits (~pjetcetal@128-71-13-182.broadband.corbina.ru) (Read error: Connection reset by peer) |
| 2021-07-06 12:31:26 | <Lycurgus> | or a plethora of them |
| 2021-07-06 12:31:42 | <merijn> | Personally I'd just recommend listening to Jeff Goldblum instead |
| 2021-07-06 12:32:09 | <Lycurgus> | the actor? what did he say in this context? |
| 2021-07-06 12:32:22 | <merijn> | https://meyerweb.com/pix/2017/wf-boxes-malcolm.jpg :p |
| 2021-07-06 12:32:28 | <Lycurgus> | i see |
| 2021-07-06 12:32:36 | <Lycurgus> | jurassic park i presume |
| 2021-07-06 12:32:37 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 246 seconds) |
| 2021-07-06 12:32:52 | → | yoneda joins (~mike@193.206.102.122) |
| 2021-07-06 12:33:06 | <timCF> | Hello! Does anybody know any user-friendly debug tool for Haskell runtime similar to "observer" for Erlang? Some tool where you can see list/tree of processes with some basic information (memory, cpu consumptoin)? |
| 2021-07-06 12:33:24 | <dminuoso> | nshepperd2: I dont think it matters whether its verbatim or not. |
| 2021-07-06 12:33:54 | <Lycurgus> | timCF: the os tools for that |
| 2021-07-06 12:34:12 | <merijn> | timCF: ekg? |
| 2021-07-06 12:34:15 | <merijn> | @hackage ekg |
| 2021-07-06 12:34:15 | <lambdabot> | https://hackage.haskell.org/package/ekg |
| 2021-07-06 12:34:20 | <merijn> | There's also ThreadScope |
| 2021-07-06 12:34:28 | → | maf654321 joins (~maf654321@user/maf654321) |
| 2021-07-06 12:34:32 | <Rembane> | timCF: Do you need that it works in realtime? |
All times are in UTC.