Logs: liberachat/#haskell
| 2021-06-16 21:35:33 | × | obs\ quits (~obscur1ty@user/obs/x-5924898) (Ping timeout: 272 seconds) |
| 2021-06-16 21:36:11 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2021-06-16 21:37:12 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 268 seconds) |
| 2021-06-16 21:38:22 | × | nilof quits (~olofs@185.226.144.141) (Ping timeout: 244 seconds) |
| 2021-06-16 21:38:42 | × | warnz quits (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Ping timeout: 264 seconds) |
| 2021-06-16 21:39:29 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-06-16 21:39:33 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 268 seconds) |
| 2021-06-16 21:42:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-16 21:43:27 | → | chisui joins (~chisui@200116b866aa810011dbc50701903cdb.dip.versatel-1u1.de) |
| 2021-06-16 21:43:47 | × | sbmsr quits (~pi@104-6-130-18.lightspeed.miamfl.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-06-16 21:43:49 | <monochrom> | This could be an interesting slippery slope question. You can start with a computer-aided design system whose feature set and possible creations are such that people are OK "yeah those creations are AGPL'ed". |
| 2021-06-16 21:44:39 | <monochrom> | Now, if you posit that no such thing is possible, sure, I can see that. But I can also imagine that such a thing may be possible and acceptable. |
| 2021-06-16 21:45:12 | <Franciman> | it would be extremely hard, monochrom |
| 2021-06-16 21:45:15 | <Franciman> | imagine fpcomplete |
| 2021-06-16 21:45:16 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Read error: Connection reset by peer) |
| 2021-06-16 21:45:24 | <Franciman> | or google |
| 2021-06-16 21:45:25 | <monochrom> | In the latter case, there is a continuous transformation from that feature set to the feature set of what we think of as "programming language". So now where do you draw the line? >:) |
| 2021-06-16 21:45:38 | × | qwin quits (~yaaic@ip-96-43-230-90.dsl.netrevolution.com) (Ping timeout: 272 seconds) |
| 2021-06-16 21:45:49 | → | v01d4lph4 joins (~v01d4lph4@122.160.65.250) |
| 2021-06-16 21:45:49 | × | v01d4lph4 quits (~v01d4lph4@122.160.65.250) (Changing host) |
| 2021-06-16 21:45:49 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 2021-06-16 21:45:49 | <Franciman> | they would copy the ideas of your production system |
| 2021-06-16 21:45:51 | <chisui> | Hello, I'm using parseExp from haskell-src-meta in a QuasiQuoter. How do I get the resulting expression to resolve names in ne context of the calling Module instead of the one that defines the QuasiQuoter? |
| 2021-06-16 21:45:55 | <monochrom> | (btw \∩/ homotopy!) |
| 2021-06-16 21:47:04 | → | slice joins (~slice@user/slice) |
| 2021-06-16 21:48:31 | <monochrom> | Another scenerio is a certain GPL fan made a kickass Markov chain and now wants to impose "all outputs are AGPL'ed" or something before allowing you to use the Markov chain program. |
| 2021-06-16 21:48:39 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-06-16 21:49:25 | × | crazazy quits (~user@130.89.171.203) (Ping timeout: 268 seconds) |
| 2021-06-16 21:49:32 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-16 21:50:02 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Ping timeout: 252 seconds) |
| 2021-06-16 21:53:53 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 252 seconds) |
| 2021-06-16 21:54:03 | → | haltux joins (~haltux@a89-154-181-47.cpe.netcabo.pt) |
| 2021-06-16 21:54:15 | × | Scotty_Trees quits (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Quit: Leaving) |
| 2021-06-16 21:54:49 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:e4f6:1a3d:3782:7bbb) (Quit: Leaving) |
| 2021-06-16 21:54:51 | → | sbmsr joins (~pi@2600:1700:63d0:4830:7dbf:92d8:fd42:235d) |
| 2021-06-16 21:55:02 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-06-16 21:56:40 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-06-16 21:56:50 | → | Scotty_Trees joins (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) |
| 2021-06-16 22:00:57 | → | warnz joins (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) |
| 2021-06-16 22:01:00 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-16 22:04:06 | × | haltux quits (~haltux@a89-154-181-47.cpe.netcabo.pt) (Read error: Connection reset by peer) |
| 2021-06-16 22:04:29 | × | Nixkernal quits (~Nixkernal@2a02:1205:34ed:fa00:a5f7:ad7:30d5:9688) (Quit: Leaving) |
| 2021-06-16 22:04:34 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-16 22:05:03 | × | tremon quits (~tremon@217-63-61-89.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2021-06-16 22:05:34 | × | warnz quits (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Ping timeout: 268 seconds) |
| 2021-06-16 22:05:37 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-16 22:06:02 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-06-16 22:07:05 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:cded:c7cb:4d63:a64a) (Remote host closed the connection) |
| 2021-06-16 22:09:53 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 244 seconds) |
| 2021-06-16 22:10:33 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-06-16 22:12:53 | × | slice quits (~slice@user/slice) (Quit: zzz) |
| 2021-06-16 22:13:06 | → | Lycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-06-16 22:14:07 | → | slice joins (~slice@user/slice) |
| 2021-06-16 22:14:56 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:cded:c7cb:4d63:a64a) |
| 2021-06-16 22:16:05 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-06-16 22:17:14 | × | fluffyballoon quits (~fluffybal@pat-verona-l.epic.com) (Ping timeout: 250 seconds) |
| 2021-06-16 22:17:51 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-16 22:17:58 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-16 22:18:15 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-06-16 22:22:30 | × | MQ-17J quits (~MQ-17J@8.21.10.64) (Ping timeout: 264 seconds) |
| 2021-06-16 22:22:43 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-06-16 22:23:31 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-16 22:23:59 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-06-16 22:27:00 | × | chkno quits (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-06-16 22:27:15 | → | chkno joins (~chkno@75-7-2-127.lightspeed.sntcca.sbcglobal.net) |
| 2021-06-16 22:28:16 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 268 seconds) |
| 2021-06-16 22:28:27 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-06-16 22:29:35 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-16 22:34:43 | × | slice quits (~slice@user/slice) (Quit: zzz) |
| 2021-06-16 22:35:47 | × | sbmsr quits (~pi@2600:1700:63d0:4830:7dbf:92d8:fd42:235d) (Ping timeout: 268 seconds) |
| 2021-06-16 22:37:03 | → | slice joins (~slice@user/slice) |
| 2021-06-16 22:39:52 | → | kayprish joins (~kayprish@46.240.143.86) |
| 2021-06-16 22:40:51 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-16 22:41:41 | × | o1lo01ol1o quits (~o1lo01ol1@bl7-89-228.dsl.telepac.pt) (Remote host closed the connection) |
| 2021-06-16 22:42:04 | → | o1lo01ol1o joins (~o1lo01ol1@bl7-89-228.dsl.telepac.pt) |
| 2021-06-16 22:44:13 | × | o1lo01ol1o quits (~o1lo01ol1@bl7-89-228.dsl.telepac.pt) (Remote host closed the connection) |
| 2021-06-16 22:45:39 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 268 seconds) |
| 2021-06-16 23:00:22 | → | warnz joins (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) |
| 2021-06-16 23:00:38 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2021-06-16 23:00:50 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2021-06-16 23:02:07 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Client Quit) |
| 2021-06-16 23:02:19 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2021-06-16 23:04:39 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 268 seconds) |
| 2021-06-16 23:05:06 | × | warnz quits (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Ping timeout: 264 seconds) |
| 2021-06-16 23:06:46 | → | safinaskar joins (~safinaska@109.252.90.89) |
| 2021-06-16 23:06:54 | ← | safinaskar parts (~safinaska@109.252.90.89) () |
| 2021-06-16 23:07:11 | × | kayprish quits (~kayprish@46.240.143.86) (Remote host closed the connection) |
| 2021-06-16 23:09:48 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
| 2021-06-16 23:10:31 | × | hgolden quits (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Remote host closed the connection) |
| 2021-06-16 23:10:49 | → | trent1 joins (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-06-16 23:11:18 | → | sbmsr joins (~pi@104-6-130-18.lightspeed.miamfl.sbcglobal.net) |
| 2021-06-16 23:14:31 | × | spirgel quits (spirgel@gateway/vpn/protonvpn/spirgel) (Ping timeout: 268 seconds) |
| 2021-06-16 23:14:31 | → | safinaskar joins (~safinaska@109.252.90.89) |
| 2021-06-16 23:14:32 | × | safinaskar quits (~safinaska@109.252.90.89) (Client Quit) |
| 2021-06-16 23:14:40 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:cded:c7cb:4d63:a64a) (Remote host closed the connection) |
| 2021-06-16 23:17:57 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-16 23:22:42 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-06-16 23:24:05 | × | benin036 quits (~benin@183.82.207.180) (Ping timeout: 252 seconds) |
| 2021-06-16 23:24:07 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-06-16 23:25:52 | → | spirgel joins (spirgel@gateway/vpn/protonvpn/spirgel) |
All times are in UTC.